CとC++における未定義動作・未指定動作・実装定義動作の違いとは？

C++の標準規格では、プログラムの動作が必ずしも一意に定まるとは限りません。規格上、動作は「未定義動作（Undefined Behavior）」「実装定義動作（Implementation-defined Behavior）」「未指定動作（Unspecified Behavior）」の3つに分類されます。これらの違いを正しく理解することは、安全で移植性の高いコードを書く上で非常に重要です。

未定義動作（Undefined Behavior）とは

未定義動作とは、C++の仕様上まったく定義されていない動作のことです。典型的な例として、1つの式の中に複数のインクリメント・デクリメント演算を含むケースが挙げられます。

i = i++ + ++i;  // 未定義動作
u = (u++);      // これも未定義動作

これらの構文は文法的には正しいにもかかわらず、実際にコードを実行したときにどのような結果になるかを予測できません。コンパイラによって結果が異なるだけでなく、プログラムのクラッシュや予期しない副作用が発生する可能性もあります。C++11以降はシーケンス規則の導入により一部のケースが改善されましたが、未定義動作への注意は依然として必要です。

実装定義動作（Implementation-defined Behavior）とは

実装定義動作とは、標準規格では動作が定められておらず、その処理系（コンパイラや実行環境）の実装者に判断が委ねられている動作です。ただし、実装者はどの動作を選択したかを必ずドキュメントに明記しなければなりません。

重要なのは、選択された動作が保証されるという点です。つまり、その処理系では必ずドキュメント通りの動作になります。代表的な例としては、int型のビット幅や符号付き整数の右シフトの挙動などが挙げられます。

未指定動作（Unspecified Behavior）とは

未指定動作とは、標準規格が複数の可能性のある動作を認めているものの、どれが選ばれるかを規定していない動作です。この場合、処理系には動作をドキュメント化する義務も、特定の動作を保証する義務もありません。

典型的な例として、関数の引数の評価順序が挙げられます。例えば f(g(), h()) のような式では、g() と h() のどちらが先に評価されるかは未指定です（C++17で一部のケースは厳格化されました）。

3つの動作の比較まとめ

まとめ

未定義動作はバグの温床であり、コンパイラの最適化によって予測不能な結果をもたらします。実装定義動作と未指定動作は規格上許容されていますが、移植性を考慮するなら、実装定義動作については処理系のドキュメントを確認し、未指定動作に依存しないコードを書くことが推奨されます。安全で移植性の高いC/C++プログラムを書くためには、これら3つの違いをしっかりと理解しておきましょう。