g++开启与关闭优化标志时行为差异的原因探究

本质是编译器优化会基于「未定义行为不存在」的假设来重排或修改代码逻辑，而非优化编译时，代码基本按编写顺序执行，恰好避开了未定义行为的恶劣影响。

具体到这段代码：
当t = 1 << 122时，低64位全为0，所以count_lo = __builtin_ctzll(0ull)触发未定义行为。

• 非优化编译（-O0）：编译器几乎不做代码变换，__builtin_ctzll(0ull)在当前环境里碰巧返回了64，后续的三元判断count_lo == 64成立，于是计算64 + count_hi（此时count_hi是高64位中尾零的数量，即122-64=58，64+58=122），得到正确结果。这完全是环境巧合，并非代码逻辑正确。

• 优化编译（如-O2）：编译器会做数据流分析，发现先调用了__builtin_ctzll(0ull)（未定义行为），随后用count_lo == 64做判断。由于编译器假设未定义行为不会发生，它会直接认定count_lo == 64这个条件永远不成立——毕竟如果count_lo是__builtin_ctzll的合法返回值，范围只会是0到63。基于这个假设，编译器会把三元表达式直接简化为return count_lo，而count_lo是未定义行为的结果，在当前环境里恰好是64，所以最终输出64。

至于添加打印语句后优化编译能得到正确值，是因为打印操作会强制编译器保留count_lo和count_hi的计算顺序与原始逻辑，破坏了之前的优化假设，让编译器无法再简化三元表达式，于是碰巧又得到了正确结果，但这依然是依赖未定义行为的巧合，不能作为可靠解决方案。

内容的提问来源于stack exchange，提问作者dsa