为何C++中后置自增运算符比前置自增更快？测试结果相悖

嘿，我完全懂你的困惑——很多人刚开始接触循环优化时，都会本能觉得“外层小循环、内层大循环”才更合理，但实际跑代码却得到反结果，核心原因其实是循环开销、缓存局部性和CPU分支预测这几个家伙在起作用！

首先先把你没写完的代码补全（方便复现问题）：

#include <cstdlib>
#include <cstdio>
#include <iostream>
#include <chrono>
using namespace std;

int main(int argc, char* argv[]) {
    int x = 0, y = 0;
    double z;
    chrono::steady_clock::time_point start_point;

    // 测试外层i循环（10万次），内层j循环（10万次）
    start_point = chrono::steady_clock::now();
    for(int i = 0; i < 100000; x = ++i)
        for(int j = 0; j < 100000; y = ++j)
            z = static_cast<double>(x * y);
    
    auto duration1 = chrono::duration_cast<chrono::milliseconds>(chrono::steady_clock::now() - start_point);
    cout << "外层大循环版本耗时：" << duration1.count() << "ms" << endl;

    // 反过来，外层j循环（10万次），内层i循环（10万次）
    x = 0; y = 0;
    start_point = chrono::steady_clock::now();
    for(int j = 0; j < 100000; y = ++j)
        for(int i = 0; i < 100000; x = ++i)
            z = static_cast<double>(x * y);
    
    auto duration2 = chrono::duration_cast<chrono::milliseconds>(chrono::steady_clock::now() - start_point);
    cout << "反向循环版本耗时：" << duration2.count() << "ms" << endl;

    // 注意：如果编译器开了O2/O3优化，可能会把循环直接优化掉，因为z没被使用
    // 可以加一句cout << z << endl;来避免这个问题
    return 0;
}

核心原因解析 #

1. 循环启动的开销

每次外层循环执行时，都要初始化内层循环的变量、设置循环条件、执行分支判断。如果外层循环的次数越少，这种“启动内层循环”的总开销就越小。举个更直观的例子：

• 外层循环100次，内层100000次：总共只需要启动100次内层循环
• 外层循环100000次，内层100次：需要启动100000次内层循环
  后者的循环启动开销会累积成明显的性能差距。

2. 寄存器与缓存的复用效率

CPU会把频繁使用的变量放到寄存器里（比内存快N倍）。当内层循环迭代次数多的时候，外层的变量（比如第一个版本里的x）会被长期存在寄存器中，内层循环可以反复复用这个值，不用每次都去内存读取；而如果反过来，外层变量频繁切换，寄存器需要不断重新加载新值，复用效率大幅降低。

3. CPU分支预测的准确率

CPU的分支预测器会学习循环的分支模式，内层循环迭代次数越多，分支模式越稳定（大部分时候都是“继续循环”，只有最后一次是“退出循环”），预测器的准确率接近100%，不会打断CPU的指令流水线；如果内层循环次数少，分支预测器还没学习到稳定模式就切换到下一次外层循环，容易出现预测失败，导致流水线停顿。

额外提醒 #

如果你的编译器开了较高优化等级（比如-O2或-O3），可能会直接把整个循环优化掉——因为代码里的z没有被实际使用，编译器会判定这段循环没有意义。可以在循环结束后加一句cout << z << endl;来强制编译器保留循环逻辑。

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