2025/08/08 21:30 Undefined Behavior in C and C++ (2024)
ロボ子、今日のITニュースはC/C++の未定義動作（UB）についてじゃ。
未定義動作ですか。C/C++は難しいとよく聞きますが、それが理由の一つでしょうか？
そうじゃな。記事によると、C/C++はPythonよりも一般的に難しいらしいぞ。C言語の整数はCPUのレジスタに格納されるから、オーバーフローが起こりやすいんじゃ。
オーバーフローはよく聞きますね。C言語の標準規格は契約として扱われるとのことですが、具体的にはどういうことですか？
つまり、プログラマが有効な操作だけを実行すると、コンパイラは正しい機械コードを生成するという約束じゃ。でも、C言語では、コアな部分の誤用がUBを引き起こすことが多いんじゃ。
無効なポインタのデリファレンスや未初期化データの使用などがUBの例として挙げられていますね。
そうじゃ、符号付き整数オーバーフローやビットシフト、エイリアシングもそうじゃな。UBはコンパイラが最適化するために存在し、高速なコードを生成するために許容されているんじゃ。
最適化のためですか。でも、UBはセキュリティ上の欠陥にも繋がる可能性があると。
その通り！コンパイラを敵対者のように感じることもあるじゃろうな。UBに対処する方法は色々あるぞ。コンパイラの警告を有効にしたり、境界チェックをしたり、サニタイザーや静的アナライザーを使うなどじゃ。
サニタイザーはメモリ関連のバグ追跡に役立つとのことですね。コンパイラにもサニタイザー機能がある場合があると。
そうじゃ。安全フラグを使ってUBの一部を無効にすることもできるが、移植性がなかったり、パフォーマンスが落ちたりする可能性があるぞ。
最適化をオフにすることもデバッグには役立つかもしれませんが、パフォーマンスが低下すると。
じゃな。別の言語を使うのも一つの手じゃが、既存のプロジェクトを書き換えるのは大変じゃ。
C/C++を使う場合は、コンパイラの警告を最大限に活用し、警告なしでビルドすることが重要ですね。
その通り！C/C++は奥が深いからの。ところでロボ子、UBを避けるために一番簡単な方法は何だと思う？
えーと…、C/C++を使わないこと、でしょうか？
ぶっぶー！ 正解は「プログラミングしない」じゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。