C语言中外层for循环变量访问效率更高？底层原因探究

测试现象回顾 #

以下两段代码仅在更新result时使用的循环变量不同，未优化编译（gcc main.c）后，前者耗时约18.1秒，后者约19.9秒：

代码1（使用外层变量i）

int main() {
    int result = 0;
    
    for (int i = 0; i < 100000; i++) {
        for (int j = 0; j < 100000; j++) {
            result += i;
        }
    }
    return 0;
}

代码2（使用内层变量j）

int main() {
    int result = 0;
    
    for (int i = 0; i < 100000; i++) {
        for (int j = 0; j < 100000; j++) {
            result += j;
        }
    }
    return 0;
}

而在循环内新增局部变量i2/j2后，无论访问哪个变量，耗时均约17.8秒，无差异：
代码3

int main() {
    int result = 0;
    
    for (int i = 0; i < 100000; i++) {
        int i2 = 1;
        for (int j = 0; j < 100000; j++) {
            int j2 = 1;
            result += i2;  // Or j2
        }
    }
    return 0;
}

另外，将运算改为result += i - i消除溢出后，两段代码的耗时差异几乎可忽略。

底层原因分析 #

1. 无优化编译下的寄存器分配逻辑

GCC在-O0（默认无优化）模式下，会优先保证调试时的变量可访问性，而非执行效率：

• 外层变量i：作用域覆盖整个外层循环，进入内层循环后，编译器会将其保留在CPU通用寄存器中（比如eax）。内层循环的10万次迭代中，每次result += i都是直接从寄存器读取值，无需触发内存访问。
• 内层变量j：作用域仅在内层循环内，且每次迭代都会被修改。无优化时，编译器会把j存储在栈内存中，每次result += j都需要从栈中读取数据——单次内存访问的延迟虽然微乎其微，但经10^10次累积后，就会形成明显的耗时差。

2. 循环内局部变量的无差异本质

当你定义i2=1和j2=1时，这两个变量是循环内的常量：
编译器会直接把常量值硬编码到机器指令中，或者提前加载到寄存器里。无论你写result += i2还是result += j2，最终生成的机器码都是直接给result加1，不存在内存访问的区别，因此耗时完全一致。

3. 无意义运算的编译优化

当你把result += i改为result += i - i时，表达式结果恒为0：
即使在无优化模式下，编译器也能识别到这个无意义的运算，直接跳过对result的更新操作。此时两段代码的执行逻辑几乎完全相同，原来的寄存器/内存访问差异不复存在，耗时自然无区别。

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