这个问题很拗口,更拗口的说法是:为什么栈是栈
总的来说,就是内存分配中的栈内存为什么要用栈这个先进后出的数据结构
栈内存一般存储的是函数的调用信息和函数中申明的变量,因为函数的调用是递归的,外层函数一定比内层被调用的函数先加载和执行,而一定等到内层被调用函数结束后才能结束,这个先进后出的机制就是为什么叫栈内存的原因。
PS:在编译时编译器会先收集此函数中所有定义的变量,将他们放在函数最前面申请内存,所以他们进出栈的顺序不是你在编写程序时定义的顺序,而是在函数执行前进栈,函数执行完成后出栈。
举个实际的例子吧:
假设某个调用过程是这样的
void a() {
int p = 1;
int q = 2;
}
void b() {
int x = 3;
int y = 4;
a();
int z = 5;
}
那么我们在调用b();
的过程中栈内存其实经历了一下变化:
([a]
、[b]
代表a()
和b()
的基本信息,如程序指针等)
进入b函数时
栈底 < 栈顶
(函数信息空间进栈)[b]
为b函数内参数申请空间
栈底 < 栈顶
(参数空间进栈)[b] < x < y < z
其他操作无关进出栈,略去
进入a函数时 (函数信息空间进栈)
栈底 < 栈顶
[b] < x < y < z < [a]
为a函数内参数申请空间
栈底 < 栈顶
(参数空间进栈)[b] < x < y < z < [a] < p < q
完成a函数时 (参数空间出栈)
栈底 < 栈顶
[b] < x < y < z < [a]
退出a函数时 (函数信息空间出栈)
栈底 < 栈顶
[b] < x < y < z
完成b函数时 (参数空间出栈)
栈底 < 栈顶
[b]
退出b函数时 (函数信息空间出栈)
栈底 < 栈顶