Undefined Behavior: What Every Programmer Should Know and Fear

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

The document explores the concept of Undefined Behavior (UB) in programming, particularly in C++. It distinguishes UB from other types of behavior such as implementation-defined and unspecified behavior. The document highlights the risks and implications of UB, emphasizing that any occurrence of UB can render the entire program's result undefined. It also discusses how to avoid UB and how to potentially leverage it in programming, while cautioning against both overstating and understating its dangers.

AI总结

### 文档总结：《Undefined Behavior: What Every Programmer Should Know and Fear》

#### 1. **什么是未定义行为（Undefined Behavior, UB）？**
- UB是指程序运行在设计条件之外时的行为，通常发生在输入超出预期范围或程序违反某些假设时。
- UB与已定义行为（Defined Behavior）和未指定行为（Unspecified Behavior）不同：
- **已定义行为**：结果明确且一致。
- **未指定行为**：结果在多个可能选项中，但程序仍需有效。
- **未定义行为**：标准不规定结果，可能导致程序崩溃、错误或其他不可预测的行为。

#### 2. **为什么存在未定义行为？**
- 未定义行为的存在通常是为了简化语言标准，允许编译器进行优化。
- 例如：
- `delete p; p->foo();`：删除指针后访问会导致UB。
- `int x = -42; x << 7;`：整数溢出可能是UB。

#### 3. **UB与性能的关系**
- UB允许编译器进行激进优化，从而提升性能。
- 示例：某些操作（如数组越界访问）可能被编译器假设不会发生，从而优化代码。

#### 4. **UB在C++中的表现**
- C++标准对某些操作的 UB 有明确规定，例如：
- `int f(int k) { return k + 10; }`：若 `k > INT_MAX - 10`，结果未定义。
- `delete p; p->foo();`：导致 UB。

#### 5. **如何避免UB？**
- 验证输入和操作是否在预期范围内。
- 使用调试工具（如 sanitizer）检测潜在的UB。

#### 6. **如何利用UB？**
- 在某些情况下，UB可以被利用进行优化，但需谨慎，因为 UB 可能导致严重后果。

#### 7. **UB的真正危险**
- 一旦程序中出现UB，整个程序的结果都可能未定义，而不仅仅是涉及 UB 的操作。
- 未定义行为不赋予程序特殊能力，也不保证结果正确。

#### 8. **总结**
- UB 是编程中不可忽视的问题，既不应被过度夸大，也不应被低估。
- 理解 UB 的本质和影响，能够帮助程序员编写更安全、可靠的代码，并在必要时合理利用其特性。