GCC编译器是否会优化循环中的自否定条件？

首先来看你给出的这段代码：

int b = 0; // more stuff here
for ( int i = 0; i < 100; ++i ) {
    if ( !b ) {
        b = 1;
    } else {
        // do some other stuff
    }
}

你观察得很准确：不管首次循环的条件是否成立，后续所有循环里!b的结果都是固定的——要么第一次把b设为1后永远走else分支，要么初始b就非0且后续没被修改，全程走else分支。

针对这个场景，GCC（包括Clang、MSVC这类主流优化编译器）在开启-O2及以上优化等级时，完全能自动完成你设想的优化：

• 它会通过数据流分析追踪b的状态变化，发现这个变量在首次循环后就进入了不可变的状态；
• 编译器会把首次循环的逻辑单独提取到循环前执行，剩下的循环从i=1开始，并且直接移除内部的条件判断，只保留else分支的逻辑。

关于手动优化的建议： #

你完全不需要手动做这个优化，原因有两点：

1. 现代编译器的数据流分析能力已经非常成熟，这种简单的状态固定模式属于基础优化范畴，编译器处理得比手动修改更可靠，不会引入人为失误的bug；
2. 手动拆分循环反而会让代码可读性下降，维护成本变高——毕竟原始代码的逻辑更直观，编译器会帮你处理性能层面的优化。

如果实在想验证这个优化是否生效，可以用gcc -O2 -S your_code.c命令生成汇编代码，查看输出就能看到循环内已经没有条件跳转指令，首次逻辑被单独提取出来了。

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