undefined behavior

/ʌndɪˈfaɪnd bɪˈheɪvjər/ アンディファインド ビヘイビア

1. プログラミング言語において、言語規格がその動作を保証しない、予測不能な状態。

CやC++などのプログラミング言語の標準規格において、特定の操作（例：ヌルポインタの逆参照、配列の範囲外アクセス、符号付き整数のオーバーフローなど）が行われた際に、その動作結果が明確に定義されていない状態を指します。このような状況が発生すると、コンパイラはどのようなコードを生成してもよく、プログラムの実行結果はクラッシュ、誤った計算、データ破損、または一見正常な動作など、あらゆる形を取りうるため、予測が非常に困難になります。これにより、セキュリティ上の脆弱性や、異なるコンパイラ・環境間での非互換性の原因となることがあります。

Accessing memory through a null pointer is a classic example of undefined behavior. (ヌルポインタを介したメモリへのアクセスは、未定義動作の典型的な例です。)

• Accessing memory: メモリにアクセスすること
• through a null pointer: ヌルポインタを介して
• is: ～である
• a classic example of: ～の典型的な例
• undefined behavior: 未定義動作

Programmers must be careful to avoid undefined behavior, as it can lead to security vulnerabilities. (未定義動作はセキュリティ上の脆弱性につながる可能性があるため、プログラマはそれを避けるように注意しなければなりません。)

• Programmers: プログラマは
• must be careful: 注意しなければならない
• to avoid: 避けるために
• undefined behavior: 未定義動作を
• as it can lead to: それが〜につながる可能性があるため
• security vulnerabilities: セキュリティ上の脆弱性

When an operation results in undefined behavior, the compiler is allowed to do anything. (ある操作が未定義動作を引き起こす場合、コンパイラは何をしても許されます。)

• When an operation: ある操作が〜する時
• results in: 〜という結果になる
• undefined behavior: 未定義動作に
• the compiler: コンパイラは
• is allowed to do: 〜することが許されている
• anything: 何でも

関連

• undefined
• behavior
• compiler
• C standard
• C++ standard
• implementation-defined behavior
• unspecified behavior