Undefined Behavior

释义 Definition

（编程）未定义行为：在某种编程语言的标准中，对某类操作的结果不作任何保证；程序一旦触发，可能表现为正常运行、输出异常、崩溃，甚至在不同编译器/优化级别下出现完全不同的结果。

发音 Pronunciation (IPA)

/ˌʌndɪˈfaɪnd bɪˈheɪvjər/

例句 Examples

Writing past the end of an array is undefined behavior in C.
在 C 语言中，向数组末尾之后写入属于未定义行为。

Because the code relies on undefined behavior, it may pass tests today but fail after a compiler update or optimization change.
由于这段代码依赖未定义行为，它今天可能通过测试，但在编译器更新或优化选项改变后就会失败。

词源 Etymology

由 undefined（“未被定义的”）+ behavior（“行为/表现”）组成。该术语在计算机语言标准语境中用于强调：标准刻意不规定某些错误或边界情况的结果，以便实现（编译器/硬件）进行优化或保留自由度，但代价是触发时程序不可靠。

相关词 Related Words

• Compiler
• Optimization
• Side Effect
• Unspecified
• Implementation-Defined
• Memory Safety
• Race Condition
• Segmentation Fault
• Standard
• Undefined

文献与作品 Notable Works

• ISO/IEC 9899（C 语言标准）：大量条目用 undefined behavior 标注越界访问、无效指针解引用等情形。
• ISO/IEC 14882（C++ 标准）：在对象生命周期、别名规则、未初始化读取等主题中频繁出现该术语。
• 《The C Programming Language》（Kernighan & Ritchie）：讨论 C 的边界与陷阱时会引出未定义行为相关概念。
• 《CERT C Coding Standard》：以避免未定义行为为重要目标，给出规则与安全建议。
• 《Effective C++ / Effective Modern C++》（Scott Meyers）：在讲优化、对象模型与陷阱时多次提及 UB 的风险。