为什么内存分配中栈要用栈这个数据结构

这个问题很拗口，更拗口的说法是：为什么栈是栈

总的来说，就是内存分配中的栈内存为什么要用栈这个先进后出的数据结构

栈内存一般存储的是函数的调用信息和函数中申明的变量，因为函数的调用是递归的，外层函数一定比内层被调用的函数先加载和执行，而一定等到内层被调用函数结束后才能结束，这个先进后出的机制就是为什么叫栈内存的原因。
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函数时 （函数信息空间出栈）
栈底 < 栈顶

转载于:https://www.cnblogs.com/mini-coconut/p/9267544.html