本帖最后由 xiniuniu 于 2015-4-10 15:35 编辑
- #include <stdio.h>
- int fun2(int x, int y, int z)
- {
- int i = x + y;
- int j = y + z;
- int k = i + j;
- return k;
- }
- int fun1(int a, int b)
- {
- int c = a + b;
- int d = 0;
- d = fun2(a, b, c);
- return d;
- }
- int main()
- {
- int num1 = 10;
- int num2 = 20;
- fun1(num1, num2);
- return 0;
- }
以上边代码为例，main函数调用了fun1函数， 而fun1函数又调用了fun2函数。在调用过程中栈空间的变化如下
在fun1调用前 目前是main函数的栈空间num1变量已经赋值为10， num2变量赋值为20；
ESP 是栈指针寄存器这个寄存器中存储着栈顶的地址。 EBP中存储着栈底的地址。 函数栈空间主要是由这两个寄存器来确定
main函数调用fun1函数时，第1 步操作就是把传入的参数压入到栈中。 c语言使用的是_cdecl调用方式，参数从右向左依次压入栈中
所以实参num2的数值被复制到了形参b所在的内存中
接着又将实参num1的数值复制到了形参a所在的内存中。ESP的数值也随着不断减小以指向栈顶
调用函数结束后都会返回到代码所调用行的下一行继续执行。那么他是怎样知道返回后要继续执行哪块地址上的命令呢。参数压入栈空间后，接下来的工作就是保存被调用函数返回后要执行指令的地址。也就是保存到当前ESP所指向的栈空间中
再接下来，保存当前函数的栈底到ESP所指向内存中去。
提升栈底，此时 ESP 和EBP都指向相同地址
- int fun1(int a, int b)
- {
- int c = a + b;
- int d = 0;
- d = fun2(a, b, c);
- return d;
- }
而在fun1函数中我们又调用了fun2函数，fun2函数的调用过程与fun1类似
在fun2函数中，k运算得80； 函数返回语句 return k；我们要返回k的值，可是当我们退出函数后，显然fun2的栈空间已经不再有效，那么他是怎么把这个80传递到fun1中去的呢
计算机中存储数据的不仅仅有内存。CPU中也有若干用来存储数据的空间，称之为寄存器。所以在函数退出之前都会把结果保存到这些寄存器当中。32位CPU的通用寄存自然最多也只有32位了，64位CPU的通用寄存器最多也只有64位。所以函数参数传递通常为基本数据类型或指针。因为这些数据的宽度都没有超过寄存器的最大位宽。当我们向函数中传递一个结构体或类时，这个过程是一个数据复制的过程，如果结构体或类成员较多，复制过程肯定会消耗更多的空间和时间。当返回一个结构体或类对象时，同样会产生数据复制的过程。所以编程中通常是不会这样做的，而只需要传递一个结构体指针或类对象地址。只需要简单传递32位或64位的地址，一切问题都可以得到解决。提高程序运行效率，节省空间。这也是指针之所以强大高效的原因之一。
函数调用栈空间变化 我们已经基本了解了，接下来再看下，函数退出时栈的变化
ESP-C 此时ESP和EBP指向相同地址，当前地址内存中存放的是前一个函数的EBP地址
恢复原来EBP的数值
恢复EIP的值为00401232 也就是告诉CPU回到调用fun2函数之前的函数中继续执行下一行代码
彻底恢复到fun1的栈空间。 fun2的栈空间不再有效。 函数退出后原来使用的数值计算机并没有做多余的回收工作。just leave it alone.
所以你不应该返回一个函数局部变量的指针。当退出函数后这部分空间是不可控制的。因为在后边的代码很 可能又调用了其它函数，重新使用了fun2所使用过的栈空间。这时你用指针操作这块空间得到的是一个未知的数值。这个数值是不确定的。也就行成了野指针。还有局部变量的作用域也是由于这个原因。局部变量和参数只在当前函数内有效。退出后就无法也不应该再继续使用。
还记得 大明湖畔的 return k吗？ d = fun2(a, b, c); 相当于 d = k;
这个时候不再是把k的值复制给d了，fun2函数已经退出，同样他的栈空间不再有效。在 fun2退出时k的值是复制到了寄存器eax中的，所以这时的d的数值是从寄存器eax中取得的。
接下来fun1运行完成退出过程类似fun2
|
|
收藏
淘帖
踩
