运行栈的工作原理:
C++变量在运行时依靠地址加以区分。变量的定义全部写在函数以外,这样的变量叫做全局变量。变量的定义放在一个函数之内,这样的变量叫做局部变量。
全局变量,在目标代码中都是用一个唯一确定的地址定位的。然而,对于全局变量却不能如此,这是因为:
(1)局部变量只在调用它所在的函数时才会生效,一旦函数返回后就会失效。很多局部变量的生存周期远小于整个程序的运行周期,如果为每个局部变量分配不同的空间,则空间的利用率会降低。
(2)当发生递归调用时,会存在当一个函数尚未返回,对它的另一次调用又发生的情况,对于这种多次调用,相同名称的局部变量会有不同的值,这些值必须同时保存在内存之中,而且不能互相影响,因此它们必然有不同的地址。
函数形参的情形,与局部变量非常相似,他们都不能像全局变量那样用固定地址加以定位,而需要存储在一种特殊的结构中,这就是栈。
一般意义上的栈,是一种数据结构,它是一种能够容纳很多数据的容器,但数据进入和退出这个容器的顺序,要满足一定的要求。我们先来回忆一个生活中常见的例子:假设餐厅里有一摞盘子,如果要从中拿取盘子只能从最上面一个开始拿,当我们要再放上一个盘子时也只能放在最上面。栈的结构正是如此。每个盘子就相当于栈中的一个数据,数据只能从栈的一端存入(叫”压入栈“),只能从栈的同一端取出(叫”弹出栈“),这一端叫做栈顶,而栈的另一端叫做栈底,栈中数据的添加和删除操作具有”后进先出“的特性,也就是,栈中所有的数据,越早被压入的(接近栈底的),就越晚被弹出。
例如:输入两个整数,求他们的平方和。
#include<iostream>
using namespace std;
int fun2(int m)
{
return m*m;
}
int fun1(int x,int y)
{
return fun2(x)+fun2(y);
}
int main()
{
int a,b;
cout<<"Please enter two integers(a and b):”<<endl;
cin>>a>>b;
cout<<"The sum of square of a and b:“<<fun1(a,b)<<endl;
return 0;
}
其中的嵌套调用,最早开始执行的是main函数,main函数调用fun1函数,fun1函数两次调用fun2函数,第二次对fun2的调用返回后,对fun1的调用才能返回,最后main才能返回。容易发现,一组嵌套的函数调用的特点是,越早开始的调用,返回的越晚。函数调用中的形参和局部变量,当调用时开始生效,当函数返回时即失效,它们有效的期间和函数调用的期间是重合的。这样,对于一组嵌套的函数调用中的一次调用,其形参和局部变量生效的时间越早,失效的时间就越晚。,这刚好满足”后进先出“的要求。这样,很自然地,函数的形参和局部变量,可以用栈来存储,这种栈叫做运行栈。
运行栈实际上是一段区域的内存空间,与存储全局变量的空间无异,只是寻址的方式不同而已。运行栈中的数据分为一个一个栈帧,每个栈帧对应一次函数调用,栈帧中包括这次函数调用中的形参值,一些控制信息、局部变量值和一些临时数据(例如复杂表达式计算的中间值、某些函数的返回值)。每次发生函数调用时,都会有一个栈帧被压入运行栈中,而调用返回后,相应的栈帧会被弹出。一个函数在执行过程中能够直接随机访问它所对应的栈帧中的数据,即处在运行栈最顶端的栈帧的数据(执行中的函数的栈帧,总处在运行栈的最顶端)。当一个函数调用其它函数时,要为它所调用的函数设置实参,具体方式是在调用前把实参值压入栈中,运行栈中的这一部分空间是主调函数与被调函数都可以直接访问的,参数的形实结合就是通过访问这一部分公共空间完成的。虽然一个函数在被调用时的形参和局部变量地址是不确定的,但它们的地址相对于栈顶地址却是确定的,这样就可以通过栈顶的地址,定位形参和局部变量。