为何单次加法操作会生成多条ASM指令？（Visual Studio 2022 Community）

我使用Visual Studio Community 2022搭配MSVC编译器编写了以下C程序，未启用任何编译器优化选项，反汇编中出现了大量mov指令，以下是具体代码和反汇编：

原C代码 #

#include <stdio.h>
int main(void) {
    int a = 11;
    int b = 13;
    a += b;
    a += 15;
    a += 17;
    a += 23;
    return 0;
}

反汇编视图 #

int a = 11;
00007FF75AB9175D  mov         dword ptr [a],0Bh  
    int b = 13;
00007FF75AB91764  mov         dword ptr [b],0Dh  
    a += b;
00007FF75AB9176B  mov         eax,dword ptr [b]  
00007FF75AB9176E  mov         ecx,dword ptr [a]  
00007FF75AB91771  add         ecx,eax  
00007FF75AB91773  mov         eax,ecx  
00007FF75AB91775  mov         dword ptr [a],eax  
    a += 15;
00007FF75AB91778  mov         eax,dword ptr [a]  
00007FF75AB9177B  add         eax,0Fh  
00007FF75AB9177E  mov         dword ptr [a],eax  
    a += 17;
00007FF75AB91781  mov         eax,dword ptr [a]  
00007FF75AB91784  add         eax,11h  
00007FF75AB91787  mov         dword ptr [a],eax  
    a += 23;
00007FF75AB9178A  mov         eax,dword ptr [a]  
00007FF75AB9178D  add         eax,17h  
00007FF75AB91790  mov         dword ptr [a],eax 

成因分析 #

• Debug模式的核心目标：未启用优化时，MSVC默认是Debug编译模式，这个模式优先保证源码和机器指令的严格对应，方便开发者逐行调试，不会做任何性能优化，哪怕生成冗余指令。
• 局部变量的内存映射：Debug模式下，局部变量a、b会被固定分配在栈内存中，而非寄存器。每次对变量的操作都必须先从内存读取到寄存器，操作完成后再写回内存：
  • 比如a += b，需要先把b从栈读到eax，a从栈读到ecx，相加后再把结果写回a的栈位置，中间的mov eax,ecx是Debug模式下的冗余操作，目的是让寄存器的操作步骤更贴合源码逻辑，方便单步调试时观察变量变化。
  • 后续的a += 常量操作，同样严格遵循“读内存→寄存器操作→写回内存”的流程，完全对应源码里的每一次+=，没有合并操作或者把a留在寄存器里的优化。
• 调试直观性优先：如果编译器把a一直保存在寄存器中，调试时查看a的值需要额外的映射逻辑，不如直接读写内存直观。所以Debug模式宁可生成冗余的mov指令，也要保证开发者能直接通过内存查看变量值。

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