$$$谁给我讲解一下局部变量在函数返回之后就被销毁的具体含义

Question

局部变量的销毁是什么含义呢？是函数返回，局部变量的内存就被清零了还是因为恢复现场而被写入别的值？可是印象中，函数返回只是栈顶指针改变了而已，不记得有说过对栈内存的其他操作啊，不解！
===============================================
#include <stdio.h>void __stdcall func(int param1,int param2,int param3)
{
int var1=param1;
int var2=param2;
int var3=param3;
printf("0x%08x\n",&para;m1); //打印出各个变量的内存地址
printf("0x%08x\n",&para;m2);
printf("0x%08x\n\n",&para;m3);
printf("0x%08x\n",&var1);
printf("0x%08x\n",&var2);
printf("0x%08x\n\n",&var3);
return;
}int main()
{
func(1,2,3);
return 0;
}编译后的执行结果是：0x0012ff78
0x0012ff7c
0x0012ff800x0012ff68
0x0012ff6c
0x0012ff70├———————┤<—函数执行时的栈顶（ESP）、低端内存区域
│ …… │
├———————┤
│ var 1 │
├———————┤
│ var 2 │
├———————┤
│ var 3 │
├———————┤
│ RET │
├———————┤<—“__cdecl”函数返回后的栈顶（ESP）
│ parameter 1 │
├———————┤
│ parameter 2 │
├———————┤
│ parameter 3 │
├———————┤<—“__stdcall”函数返回后的栈顶（ESP）
│ …… │
├———————┤<—栈底（基地址 EBP）、高端内存区域
上图就是函数调用过程中堆栈的样子了。首先，三个参数以从又到左的次序压入堆栈，先压“param3”，再压“param2”，最后压入“param1”；然后压入函数的返回地址(RET)，接着跳转到函数地址接着执行（这里要补充一点，介绍UNIX下的缓冲溢出原理的文章中都提到在压入RET后，继续压入当前EBP，然后用当前ESP代替EBP。然而，有一篇介绍windows下函数调用的文章中说，在windows下的函数调用也有这一步骤，但根据我的实际调试，并未发现这一步，这还可以从param3和var1之间只有4字节的间隙这点看出来）；第三步，将栈顶(ESP)减去一个数，为本地变量分配内存空间，上例中是减去12字节(ESP=ESP-3*4，每个int变量占用4个字节)；接着就初始化本地变量的内存空间。由于“__stdcall”调用由被调函数调整堆栈，所以在函数返回前要恢复堆栈，先回收本地变量占用的内存(ESP=ESP+3*4)，然后取出返回地址，填入EIP寄存器，回收先前压入参数占用的内存(ESP=ESP+3*4)，继续执行调用者的代码。参见下列汇编代码：;--------------func 函数的汇编代码-------------------:00401000 83EC0C sub esp, 0000000C //创建本地变量的内存空间
:00401003 8B442410 mov eax, dword ptr [esp+10]
:00401007 8B4C2414 mov ecx, dword ptr [esp+14]
:0040100B 8B542418 mov edx, dword ptr [esp+18]
:0040100F 89442400 mov dword ptr [esp], eax
:00401013 8D442410 lea eax, dword ptr [esp+10]
:00401017 894C2404 mov dword ptr [esp+04], ecx……………………（省略若干代码）:00401075 83C43C add esp, 0000003C ;恢复堆栈，回收本地变量的内存空间
:00401078 C3 ret 000C ;函数返回，恢复参数占用的内存空间
;如果是“__cdecl”的话，这里是“ret”，堆栈将由调用者恢复;-------------------函数结束-------------------------
;--------------主程序调用func函数的代码--------------:00401080 6A03 push 00000003 //压入参数param3
:00401082 6A02 push 00000002 //压入参数param2
:00401084 6A01 push 00000001 //压入参数param1
:00401086 E875FFFFFF call 00401000 //调用func函数
;如果是“__cdecl”的话，将在这里恢复堆栈，“add esp, 0000000C”
======================================================================================
在这个例子中，难道函数返回了之后，VAR3所在的内存的内容就被改变了吗？没见到有相应的指令代码啊。那这个局部变量在返回之后就被销毁具体是什么意思呢？

Answer 1

我的观点（没有研究，也没有学习相关书籍）：并没有所谓的销毁。内存信息该是多少还是多少。当创建局部变量时，系统是会将这块内存和这个应用程序绑定（也许不是这个词，但意思是，系统中某个地方将标明这块内存已分配给当前这个应用程序）。这时，再有内存分配时，将不会使用这块内存了。但函数退出后，内存中的数据不会有任何改变，但系统中原先标明这块内存使用情况的信息将发生变化，将标志这块内存已是可分配的资源。虽然，你立刻printf这块内存的信息，还是先前的数据，但经过一些操作后（比如又定义了局部变量等），你再printf的话，内存信息可能已经发生变化了。
欢迎大家继续发言。

Answer 2

就像从硬盘上删文件一样，一般是从FAT表中去掉该文件的描述，而文件的内容并没有擦去，所以有专门的软件能恢复硬盘数据，类似的道理

Answer 3

;--------------func 函数的汇编代码-------------------:00401000 83EC0C sub esp, 0000000C //创建本地变量的内存空间
:00401003 8B442410 mov eax, dword ptr [esp+10]
:00401007 8B4C2414 mov ecx, dword ptr [esp+14]
:0040100B 8B542418 mov edx, dword ptr [esp+18]
:0040100F 89442400 mov dword ptr [esp], eax
:00401013 8D442410 lea eax, dword ptr [esp+10]
:00401017 894C2404 mov dword ptr [esp+04], ecx
--------------------------------------------------------对param1的存取，实际是栈中[esp+10]这个内存空间，在这个func函数中都有效，
而退出func函数后，栈指针改变，[esp+10]将不再表示 param1 。
我认为销毁的含义就是 1. 栈指针改变，无法通过正常渠道访问到。
                     2. 如果是局部对象，返回前需要调用其析构函数，对象销毁。

Answer 4

再说一个让我很迷惑的例子
char *GetMemory(void)
{ 
char p[] = "hello world";
return p;
}void Test(void)
{
char *str = NULL;
str = GetMemory(); 
printf(str);
}
这里str肯定保留了局部变量的地址，那打印出什么结果呢？答案说是不确定。可是这是函数调用返回就立即打印的，是谁使他的内容变得不确定呢？而且我记得每个进程都有自己的栈，难道这个栈不是私有的吗？越搞越糊涂了