为何GCC5.4中&=写法比直接赋值/断言式写法生成的汇编更少？

首先还原你提到的几种代码写法：

原始&=风格代码 #

bool func() {
    bool ret = true;
    ret &= test1();
    homemade_assert_like_function(ret == true);
    ret &= test2();
    homemade_assert_like_function(ret == true);
    return ret;
}

你尝试的简化写法 #

bool func() {
    homemade_assert_like_function(test1());
    homemade_assert_like_function(test2());
    return true; // 仅为保持接口一致
}

修改为直接赋值的写法 #

bool func() {
    bool ret = true;
    ret = test1();
    homemade_assert_like_function(ret == true);
    ret = test2();
    homemade_assert_like_function(ret == true);
    return ret;
}

为什么GCC 5.4会出现汇编行数差异？ #

你观察到的现象核心原因是旧版GCC优化器的数据流分析能力限制：

• 对于ret &= testX()+断言的模式，GCC 5.4的优化器能精准跟踪ret的状态：每次断言ret == true成功后，ret必然是true，所以下一次的ret &= testX()等价于ret = testX()，但优化器可以复用ret的存储位置，减少冗余的寄存器操作或临时变量生成，最终生成更紧凑的汇编。
• 而直接调用断言或用ret = testX()的写法，旧版优化器没有识别到“断言成功意味着test返回值为true”这一隐含逻辑，因此会生成更多的返回值检查、临时变量处理指令，导致汇编行数增加。

新版编译器为什么没有差异？ #

当使用支持C++14的新版GCC编译时，三者汇编一致，这是因为新版优化器的全局数据流分析能力大幅提升：它能识别出这三种写法在断言不触发的场景下逻辑完全等价（所有test必须返回true，函数最终返回true），因此会生成相同的最优汇编代码。

修复断言逻辑后的残留差异 #

你修复断言逻辑后，汇编差异大幅缩小但&=写法仍有优势，这说明旧版GCC对连续的&=累积操作有专门的优化路径——它能更高效地跟踪变量的状态变化，减少不必要的指令开销。

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