VS2019 Debug编译汇编代码中rep movs指令内存覆盖问题排查

问题背景 #

接手旧C++项目，在Windows 10 + Visual Studio 2019 Debug构建下，分析P2PRespMsg构造函数的汇编代码时发现，rep movs指令会覆盖其他类的局部数据成员。相关代码如下：

构造函数代码 #

P2PRespMsg::P2PRespMsg(int port, const char * address, L3Obj* rcv_pro, 
                       fn_process fnprocess)
                      : NEDSMsg(port, address, rcv_pro, fnprocess)

生成的汇编代码（含注释） #

00007FF68DE89ACB  lea         rax,[rsp+30h]  
00007FF68DE89AD0  mov         rdi,rax                  ; 目标地址：栈上的 rsp+30h
00007FF68DE89AD3  mov         rsi,qword ptr [&fnprocess] ; 源地址：fnprocess参数在栈上的地址
00007FF68DE89ADB  mov         ecx,18h                  ; 复制长度：24字节
00007FF68DE89AE0  rep movs    byte ptr [rdi],byte ptr [rsi] ; 执行24字节复制，这行引发内存覆盖
00007FF68DE89AE2  mov         dword ptr [rsp+28h],0  
00007FF68DE89AEA  lea         rax,[rsp+30h]                     
00007FF68DE89AEF  mov         qword ptr [rsp+20h],rax   ; 将复制后的内存地址作为参数传给基类构造函数
00007FF68DE89AF4  mov         r9,qword ptr [rcv_pro]    ; 基类构造函数第3个参数：rcv_pro
00007FF68DE89AFC  mov         r8,qword ptr [address]    ; 基类构造函数第2个参数：address
00007FF68DE89B04  mov         edx,dword ptr [port]      ; 基类构造函数第1个参数：port
00007FF68DE89B08  mov         rcx,qword ptr [this]      ; 基类构造函数的this指针
00007FF68DE89B0D  call        NEDSMsg::NEDSMsg (07FF68CD53F60h)  

已知NEDSMsg的定义：

class NEDSMsg : public Msg, virtual public NEDSMsgGroup {
public:
    NEDSMsg(int port, const char * address = 0, L3Obj* rcv_pro = 0, fn_process fnprocess = 0);
};

汇编指令细节分析 #

1. 目标地址与源地址

   • lea rax,[rsp+30h] + mov rdi,rax：确定复制的目标位置是栈上的rsp+30h地址。
   • mov rsi,qword ptr [&fnprocess]：这里的[&fnprocess]是取fnprocess参数在栈上的存储地址，而非fnprocess的值本身。在x64调用约定中，成员函数的this指针占rcx，前3个参数port/address/rcv_pro分别用rdx/r8/r9传递，第四个参数fnprocess被压入栈中，所以rsi指向的是栈上这个参数的起始位置。

2. 复制内容与长度

   • ecx=18h（24字节）说明要复制24字节的数据。如果fn_process只是普通的函数指针（x64下占8字节），不会需要复制24字节，这说明**fn_process并非单纯的函数指针，而是一个大小为24字节的复合类型**——比如std::function（x64下通常由3个8字节指针组成，总大小24字节）、自定义的包含多个成员的结构体/仿函数。
   • 复制的内容是从fnprocess参数在栈上的起始地址开始，连续24字节的栈数据（即fnprocess类型本身的全部内容）。

3. 复制后的用途

   • mov qword ptr [rsp+20h],rax把复制后的目标地址（rsp+30h）存入栈的rsp+20h位置——这是x64调用约定中留给第四个参数的shadow space区域，后续调用NEDSMsg::NEDSMsg时，会把这个地址指向的内存作为fnprocess参数传递给基类构造函数。

内存覆盖的原因推测 #

rep movs覆盖其他类的局部数据，本质是复制操作的目标地址rsp+30h与其他类的局部数据在栈空间上重叠：

• Debug模式下，Visual Studio会在栈上插入guard bytes、变量填充等，但如果rsp+30h区域已经被其他局部变量（比如另一个类的实例）占用，复制24字节就会覆盖这些数据。
• 可能的深层原因：fn_process类型的大小被错误推断，或者栈布局因类的继承/局部变量声明顺序出现冲突，导致Debug构建的栈空间分配出现重叠。

排查与解决方向 #

• 确认fn_process的真实定义：检查代码中fn_process的typedef或类型定义，确认它是否是复合类型（比如std::function、带成员的结构体），而非普通函数指针。
• 查看栈布局：在Visual Studio中启用“显示内存”窗口，断点停在rep movs指令前，查看rsp+30h地址附近的内存，确认该区域是否被其他局部变量占用。
• 检查类的局部成员：查看被覆盖的类的局部数据成员的声明位置，确认是否在栈上与rsp+30h区域重叠。
• 调整栈分配：尝试调整局部变量的声明顺序，或者检查是否存在栈溢出、变量越界的前置问题。

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