VC++函数内初始化变量导致参数值异常变更问题咨询

这个问题我遇到过类似的情况，结合VC++2013的编译特性，大概率是下面两个原因之一：

1. Release模式下的寄存器优化导致调试显示假象 #

在VC++2013的Release编译模式中，编译器会做激进的寄存器优化——像val这种单个DWORD的小参数，会被直接存储到CPU寄存器（比如ECX）里，而不是写入栈内存。

而memset的底层实现通常会用ECX作为字节计数的循环寄存器，执行完memset后ECX会被清零。调试器在显示变量值时，会优先读取寄存器中的数据，所以你看到val从111变成了0，但栈上的val副本其实根本没被修改。

验证方法 #

在memset之后加一行无意义但能强制读取栈副本的代码：

void CallFoo(DWORD val){ 
    TCHAR sStr[256]; // val == 111 
    memset(sStr, 0, sizeof(sStr)); // 此时调试器显示val == 0
    val = val; // 强制从栈上读取val的原始值
    // 现在再看val，应该会恢复为111
    .... 
} 

2. 极端场景下的栈溢出导致参数覆盖 #

这种情况非常少见，但如果你的程序之前已经消耗了大量栈空间（比如深度递归、定义了超大的栈局部变量），那么分配256字节的sStr数组可能会触发栈溢出，覆盖到栈上的val参数区域。

正常情况下，VC++的栈布局是：参数位于栈帧的高地址区域，局部变量位于低地址区域（栈从高地址向低地址生长），memset操作sStr的内存范围不会碰到底层的参数。但如果栈空间已经耗尽，栈指针可能会溢出到高地址的参数区域，导致sStr的内存和val重叠，被memset清零。

验证方法 #

• 检查程序是否有深度递归或者大栈变量的情况；
• 右键项目→属性→链接器→系统→栈大小，调大栈空间（比如从默认1MB改成4MB）后重新编译测试。

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