未定義の動作 | Programming Place Plus　用語集

名称 🔗

• 未定義の動作　【undefined behavior】

解説 🔗

Ｃ言語や C++ において、正しくないプログラムや正しくないデータを使用したときに起こる動作で、処理系がどのような結果を生んだとしても、標準規格として関知しないとされている動作のことです。

未定義の動作を含んだプログラムは、コンパイルで検出されてエラーメッセージとして報告される可能性はありますが、されないこともあり得ます。また、コンパイルが成功したとしても、そのプログラムを実行した結果はまったく予測不可能なものになっているかもしれません。

未定義の動作を “含んでいる” だけで、そのプログラムの動作は予測不可能であることに注意が必要です。たとえ、そのコードが実行されないとしても、もはやプログラムの動作は予測不可能です。ですから、未定義の動作が含まれているプログラムは避けなければなりません。

未定義の動作となる例としては、初期化されていない「変数にアクセスする」「ゼロ除算」「配列の範囲外を参照する」といったものがあります。

参考リンク 🔗

• JIS X 3010:2003
  • JIS規格。プログラム言語Ｃ（C99規格に相当）
  • 日本産業標準調査会：データベース検索-JIS検索 で「X3010」を検索
  • 簡易閲覧 (kikakurui.com)
• JIS X 3014:2003
  • JIS規格。プログラム言語 C++（C++03規格に相当）
  • 日本産業標準調査会：データベース検索-JIS検索 で「X3014」を検索

更新履歴 🔗

• ’2020/4/13
  • 新規作成

用語集のトップページへ

Programming Place Plus のトップページへ