未定义行为指C++标准未规定操作结果的情形，编译器可任意处理。常见原因包括数组越界、解引用空指针、有符号整数溢出、修改const对象、表达式中无序修改同一变量等。例如：arr[5]访问长度为3的数组、*p写入空指针、int溢出、i = i++ + ++i均触发UB。C++允许UB以提升性能，使编译器能激进优化，如假设有符号运算不溢出。但UB导致程序可能崩溃、输出错误或行为不可预测。避免方法包括使用std::array::at()、智能指针、容器类，启用-Wall -Wextra及UBSan工具检测。理解UB有助于编写安全可靠的C++代码。
在C++中，未定义行为（Undefined Behavior，简称UB）是指程序执行了标准中没有规定结果的操作。一旦出现未定义行为，编译器可以做任何事情——程序可能崩溃、输出错误结果、看似正常运行，甚至在不同编译器或平台上表现完全不同。C++标准不强制要求对这类情况做检查，因此编译器可以自由优化，但也带来了潜在风险。
未定义行为的常见原因
以下是一些典型的引发未定义行为的情况：
- 访问越界数组元素：例如，读写数组索引超出其大小范围。
- 解引用空指针或野指笔：使用未初始化或已释放的指针访问内存。
- 有符号整数溢出：例如，int类型加到超过INT_MAX。
- 修改被const修饰的对象：通过非法手段绕过const限制进行写操作。
- 在表达式中多次修改同一变量而无序：如i = i++ + ++i;
- 调用未定义的函数或跳转到不存在的标签。
典型示例说明
下面是一些代码片段，展示常见的未定义行为：
立即学习“C++免费学习笔记（深入）”；
// 示例1：数组越界
int arr[3] = {1, 2, 3};
arr[5] = 10; // UB：索引5超出范围
立即学习“C++免费学习笔记（深入）”；
// 示例2：解引用空指针 int* p = nullptr; *p = 42; // UB：不能向空指针写入
立即学习“C++免费学习笔记（深入）”；
// 示例3：有符号整数溢出 int x = INT_MAX; x++; // UB：有符号整数溢出
立即学习“C++免费学习笔记（深入）”；
// 示例4：序列点问题（C++17前尤其严重） int i = 0; i = i++ + ++i; // UB：同一变量多次修改无明确顺序
为什么允许未定义行为？
C++设计强调性能和灵活性。通过将某些操作定义为“未定义”，编译器可以假设这些情况不会发生，从而进行更激进的优化。例如，编译器可以假设有符号整数不会溢出，进而简化条件判断。但这要求程序员自己确保代码不触碰这些边界。
需要注意的是，未定义行为在编译时不一定能被发现，有些会在运行时报错，有些则悄悄破坏数据，极难调试。
如何避免未定义行为
- 使用现代C++特性，如std::array代替原生数组，配合at()方法可捕获越界。
- 启用编译器警告（如-g -Wall -Wextra）并配合 sanitizer 工具（如ASan、UBSan）检测。
- 避免直接操作裸指针，优先使用智能指针和容器类。
- 熟悉语言规则，尤其是表达式求值顺序和生命周期管理。
基本上就这些。未定义行为是C++强大但危险的一部分，理解它有助于写出更安全、可靠的代码。
