1. 導入
C++での開発において、関数の戻り値を確認し忘れることは、深刻なバグの温床となります。特に「エラーコードを返す関数」や「状態を更新して結果を通知する関数」の戻り値を無視してしまうと、プログラムが予期せぬ動作をしたり、メモリリークや不正な状態遷移を引き起こしたりします。C++17で導入された [[nodiscard]] 属性は、こうした「戻り値の無視」をコンパイル時に検出し、警告を出してくれる非常に強力なツールです。本記事では、この属性を実務でどのように活用すべきかを解説します。
2. 基礎知識
[[nodiscard]] は「属性（Attribute）」の一種です。これはコンパイラに対して「この関数の戻り値を呼び出し側が無視した場合、警告を発してください」という指示を与えるものです。
戻り値を無視するとは、関数の戻り値を変数に代入したり、他の関数に渡したりせず、単に呼び出し文だけで終わらせてしまうことを指します。特に、計算結果を返す関数や、リソース確保の結果を返す関数において、この属性を付与することで、呼び出し側のミスをコンパイラに指摘させることが可能になります。
3. 実装/解決策
使い方は非常にシンプルです。関数の宣言の前に [[nodiscard]] を記述するだけです。C++20以降では、コンストラクタやクラス定義にも付与できるようになり、より柔軟な設計が可能になりました。
実務においては、以下のような関数に付与することを推奨します。
・成功・失敗を示す bool 値やエラーコードを返す関数
・新しいオブジェクトを生成して返す関数（メモリリーク防止）
・純粋関数（引数を元に結果を計算するだけで、副作用がないもの）
4. サンプルプログラム
以下のコードは、[[nodiscard]] を使用した実用的な例です。コンパイル時に意図的に無視された戻り値を検出できるか試してみてください。
include
// 戻り値の確認が必須の関数
[[nodiscard]] bool connect_to_server() {
// 実際には接続処理を行う
return true;
}
// 戻り値を無視すると警告が出る関数
[[nodiscard]] int calculate_value(int n) {
return n 2;
}
int main() {
// 正しい使い方
if (connect_to_server()) {
std::cout << "接続成功" << std::endl;
}
// 誤った使い方（コンパイラが警告を出します）
// calculate_value(10); // ここで「戻り値が無視されています」という警告が出る
// 警告を回避したい場合（意図的な無視）
// どうしても結果を使わない場合は、キャストして明示的に無視する
(void)calculate_value(10);
return 0;
}
5. 応用・注意点
実務で運用する際の重要なポイントが2点あります。
1つ目は「意図的な無視」の扱い方です。テストコードなどで意図的に戻り値を無視したい場合は、上記のサンプルにあるように (void) キャストを行うことで、コンパイラの警告を抑制できます。これにより、「うっかりミス」と「意図的な無視」を明確に区別できます。
2つ目は「過剰な付与」への注意です。全ての関数に付与すると、コードが煩雑になり、本当に重要なエラーチェックがおろそかになる可能性があります。APIの設計者として、「この戻り値を無視することが、呼び出し側にとって不利益になるか？」という基準で付与を検討してください。特に、ライブラリや共有クラスのメソッドには積極的に付与することで、チーム全体のコード品質向上に寄与します。
コメント