未定义行为是C++中最令人畏惧的概念之一。标准中对它的定义令人不寒而栗：“本规范对行为没有任何要求”。这意味着当程序触发未定义行为时，任何事情都可能发生：程序可能崩溃、可能产生错误的结果、可能看似正常运行、可能格式化你的硬盘、可能通过网络发送恶意请求，或者——按照编译器的解释——可能让时间倒流。未定义行为是C++高性能的代价，也是无数难以追踪的bug的根源。
参考：https://oqmyh.cn/category/meirong-zhishi.html
未定义行为的产生有多种原因。有些是历史的——C++继承了C的许多未定义行为，如有符号整数溢出、使用未初始化的变量、解引用空指针。有些是性能优化的结果——C++标准委员会选择将某些情况标记为未定义，以便编译器可以假设这些情况不会发生，从而进行激进优化。还有些是语言限制的后果——在某些硬件或环境下无法合理定义的行为，标准选择不做规定。
有符号整数溢出是经典的未定义行为。在C++中，int x = INT_MAX; x++的结果是未定义的。表面上，这似乎不合理——为什么不是简单的环绕到INT_MIN？原因在于历史上不同的硬件使用不同的整数表示法（符号-大小、反码、补码），C++标准不想规定某一种。但更实际的原因是：允许编译器假设整数不会溢出，可以生成更高效的代码。例如，优化if (x+1 > x)时，编译器可以直接判定为永远为真（因为溢出不会发生），从而消除整个检查。
使用未初始化的变量是另一个常见的未定义行为来源。int x; int y = x + 1;中的y是什么值？标准说：不知道。编译器可能会假设未初始化的变量永远不会被读取，并据此进行优化。一个著名的案例是Linux内核中的一次bug：一个未初始化的变量导致了安全检查被绕过，因为编译器优化掉了检查代码，假设该变量不可能包含危险值。
解引用空指针在大多数平台上会导致段错误（崩溃），但从C++标准的角度看，这是未定义行为，不保证一定会崩溃。某些嵌入式平台可能允许访问地址0，某些编译器优化可能假设空指针永远不会被解引用，并移除相关的检查代码。因此，依赖空指针崩溃作为安全检查是错误的——崩溃可能不会发生，或者可能在检查被优化后发生。
违反严格别名规则是更隐蔽的未定义行为。该规则规定：不能通过不同类型的指针访问同一内存位置（char类型例外）。例如，不能将一个float转换为int然后通过它访问数据。这是因为编译器假定不同类型的指针不会指向同一内存，从而可以进行更激进的别名分析优化。如果违反此规则，编译器可能将两次访问视为访问不同位置，导致代码重排后产生错误结果。
竞争条件在多线程程序中是未定义行为。当两个线程在没有同步的情况下访问同一内存位置，且至少有一个是写操作时，程序的行为是未定义的。这不同于Java等语言——后者定义了数据竞争的特定行为（如可能看到过时的值）。C++的内存模型选择未定义行为，是为了允许编译器进行更激进的优化，并让开发者使用原子操作来明确同步需求。
未定义行为的危险在于其非确定性。一个看似无害的未定义行为可能在当前编译器和硬件上正常运行，但升级编译器、改变优化级别或移植到不同平台后，突然开始崩溃或产生错误结果。这类bug难以复现，难以诊断，而且通常只在最不合适的时机出现。
编译器可以将其优化为return 1（永远为真），因为它假设x+1不会溢出。如果x恰好是INT_MAX，这个假设被违反，但标准认为错误在开发者而非编译器。这种优化是合法的，但导致的结果是程序可能在某些输入下产生完全错误的行为。
如何避免未定义行为？第一条规则是：启用编译器的所有警告，并将警告视为错误。现代编译器可以检测许多常见的未定义行为，如未初始化变量、有符号溢出、空指针解引用。第二条规则是：使用静态分析工具。Clang Static Analyzer、PVS-Studio等工具能够发现编译器警告无法覆盖的更深层的未定义行为。第三条规则是：使用动态分析工具。地址消毒剂（AddressSanitizer）和未定义行为消毒剂（UndefinedBehaviorSanitizer）在运行时检测未定义行为，是测试阶段的必备工具。
参考：https://oqmyh.cn/category/hufu-jiqiao.html
对于某些有争议的未定义行为，编译器提供了行为定义的扩展。例如，GCC和Clang的-fwrapv标志将有符号整数溢出定义为二进制补码环绕；-fno-strict-aliasing禁用严格别名规则。这些标志可以让遗留代码安全运行，但会牺牲一些优化机会。对于新代码，更好的做法是遵守标准，避免依赖这些扩展。
C++核心指南包含大量关于避免未定义行为的条目。例如，永远不要使用未初始化的变量，永远不要解引用空指针，永远不要使用悬垂引用，永远不要在释放内存后使用它。这些规则看似繁琐，但它们是编写可靠C++代码的基础。
标准委员会正在尝试减少未定义行为的数量。C++20定义了有符号整数的补码表示（虽然溢出仍然是未定义行为），C++23定义了更多的实现定义行为以取代未定义行为。但在性能敏感领域，完全的“定义行为”可能永远无法实现，因为某些未定义行为带来的优化机会太有价值了。
理解和尊重未定义行为是区分专业C++开发者与业余爱好者的标志之一。初学者可能会认为“我的代码在测试时正常运行，所以没问题”。而专业开发者知道，未定义行为就像一颗定时炸弹——可能永远不会爆炸，也可能在你最不期望的时候摧毁一切。
参考：https://oqmyh.cn
