摘要:病人：医生，局部变量超出作用域之后会发生什么事？我为此头疼了很久。 中医：哦，它们不能被访问了，消亡了。你的病不会这么简单吧，到底什么问题，详细描述一下。 病人：我想知道的是，指针所指的局部变量，超出作用域之后，那个指针的行为。比如这段程序 #include "stdio.h" int main(int argc, char* argv[]) { int i=10; int *piToTest=&i; printf("%d\n",*piToTest); { int iGone=20; piToTest=&iGone; // <---咔咔 } printf("%d\n",*piToTest); // <---啊啊 return 0; } //////////////////////////////////////////////////////////////// //// Figure 1. //////////////////////////////////////////////////////////////// 运行结果是打出“20”，正是*piToTest生前的值，难道iGone其实没有消亡，永远活在我们心中？ 中医：嗯，你要这么说的话，iGone“生前”究竟活在什么地方呢？用术语来说，其storage在何处？ 病人：哦哦，不知道。 中医：这就对了，你的问题的本质正是局部变量的storage问题，所以你会头疼。现在这个问题先搁置一下，你也不知道函数传递参数的机制对么？ 病人：对。 中医：我们得从这里着手。每次函数调用，都要有一块内存存放其参数(不妨假设所有函数都有一些参数)， 而编译时刻无从知道某个函数究竟会被(递归)调用几次，要为他留多少份参数的空间，对不对？ 病人：。。。 对，即使是有一个main函数，也不妨碍他调用自己n次m层。放参数的地方，必定是一个很“动态”的地方。 中医：这个很动态的地方，术语叫堆栈(简称“栈”)。其运作机制和数据结构中的堆栈一样，都是先进后出所有操作都在栈顶发生，不过这里的堆栈是由CPU和OS来实现的。 函数调用的时候，①把其参数push进堆栈，②把返回地址push进堆栈，③跳转到函数入口地址。 void func1(int a,int b); ... func1(10,20); ... ┌--------------------┐ │返回地址 │ ├--------------------┤ │左面的参数 -- 10 │ ├--------------------┤ │最右面的参数 -- 20 │ ├--------------------┤ │之前的堆栈 │ //////////////////////////////////////////////////////////////// //// Figure 2. 进入func1时刻的堆栈情况（假定堆栈向上生长） //// 参数自右向左入栈，最后是返回地址 //////////////////////////////////////////////////////////////// 现在，你说说函数返回的时候，应该发生什么事。 病人：我猜是调用的逆序列吧。（１）取得返回地址跳转回去，（２）堆栈恢复成“之前的堆栈” 中医：很好，请记住（１）是callee做的事，而（２）是caller的责任。看完病之后，你再想一下printf之类不定个数参数函数的机制来理解这样做的必要性。不过现在,我们得整理一下函数调用的过程。 ①caller 把其参数push进堆栈 ②caller 把返回地址push进堆栈 ③跳转到函数入口地址。 ④callee的函数体被执行 ⑤callee取得返回地址跳转回去 ⑥caller把堆栈恢复成“之前的堆栈” //////////////////////////////////////////////////////////////// //// Figure 3. 函数调用的过程 //////////////////////////////////////////////////////////////// 病人：嗯，这些我理解了。这和我的病根“局部变量的storage问题”之间的关系是--？ 中医：真的理解了么？这里面还隐含了一个前提，callee必定可以取得返回地址。 病人：这还用推，不就在栈顶么？ 中医：嘿嘿，你这句话也隐含了一个前提，函数体内，除了调用函数这样的“堆栈平衡的操作”，堆栈不生长，不然返回地址不会在栈顶让你唾手可得。 病人：难道不是? 。。。 啊！......[
阅读全文]