C语言循环内将array[i]赋值给变量的优缺点与性能探讨

先直接说结论：在现代编译器的常规优化下，手动添加int value = arr[i]不会带来性能提升——这种重复访问数组元素的优化，编译器自己就会完成。

为啥编译器能搞定这件事？ #

• 首先，CPU本身具备缓存机制，arr[i]第一次被读取后，数据会暂存到L1/L2缓存中，后续再访问同一个内存位置的开销本来就极小。
• 其次，开启编译优化（比如GCC/Clang的-O2、MSVC的/O2）后，编译器会自动识别代码中多次访问同一数组下标的情况，直接把元素值暂存到寄存器里，不会重复执行内存读取操作。说白了，你手动写的缓存变量，和编译器优化后生成的汇编代码逻辑完全一致。

那手动赋值的真正意义是什么？ #

完全是为了提升代码可读性。如果数组访问的表达式更复杂（比如arr[calculate_index(i)]），重复书写不仅繁琐，还容易出错。用一个简洁的变量名（比如value）代替重复的数组访问，代码逻辑会清晰很多，后续维护也更省心——这才是这种写法值得推荐的核心原因。

唯一的例外场景 #

如果是在调试模式（即编译器未开启优化，比如用-O0编译），手动缓存变量确实能带来微小的性能提升。因为调试模式下编译器会尽量保留代码的原始结构，每次访问arr[i]都会真的去读取内存，这时候把值存在变量里能减少几次内存读取操作。但调试阶段的核心需求是方便调试，这点性能提升几乎可以忽略不计。

代码对比示例 #

优化前的代码：

int arr[10];
...
for (int i = 0; i < 10; i++)
{
   if (arr[i] > 2) 
   {
     if (arr[i] < 100)
     {
       do_smth1(arr[i]);
     }
     else if (arr[i] > 500 && arr[i] < 1000)
     {
       do_smth2(arr[i]);
     }
     else
     {
       do_smth3(arr[i]);
     }
   }
   else 
   {
     do_smth4(arr[i]);
   }
}

可读性优化后的代码：

int arr[10];
...
for (int i = 0; i < 10; i++)
{
   int value = arr[i];
   if (value > 2) 
   {
     if (value < 100)
     {
       do_smth1(value);
     }
     else if (value > 500 && value < 1000)
     {
       do_smth2(value);
     }
     else
     {
       do_smth3(value);
     }
   }
   else 
   {
     do_smth4(value);
   }
}

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