Matt Godbolt's blog16 hours agohttp://xania.org/202512/12-loop-unswitching?utm_source=feed&utm_medium=rss编译器通过为不同条件复制循环来优化循环，这被称为“循环分离”。在较低的优化级别（如 -O2）下，编译器可能会使用像乘加运算这样的条件指令来避免循环内的分支。循环分离将不变性检查移到循环外部，并创建专门化的循环副本，以代码大小换取性能。更高的优化级别启用循环分离，当条件保持不变时消除不必要的操作（例如乘法）。信任编译器的优化决策，但要理解其中的权衡，可以通过像 Compiler Explorer 这样的工具进行验证。