出入栈操作对栈指针与栈空间的影响

在x86架构中，栈是一个向低地址方向增长的内存区域，主要由两个关键的寄存器来管理：ESP（栈指针寄存器）和EBP（基址指针寄存器）。

• ESP (Stack Pointer) ：栈指针，始终指向栈顶。
• EBP (Base Pointer) ：基址指针（或帧指针），指向当前函数栈帧的底部，在函数执行期间通常保持不变。

出入栈时，栈空间和栈指针的具体变化如下：

入栈 (Push)

当数据被压入栈中时，例如执行 PUSH 指令或函数调用时为局部变量分配空间：

1. 栈指针 (ESP) 的变化：ESP 的值会减少。因为栈是向低地址方向增长的，所以压入新数据需要将栈顶指针向更低的内存地址移动。 减少的字节数等于压入数据的大小（例如，在32位系统中压入一个整数，ESP会减4）。
2. 栈空间的变化：数据被存放到 ESP 指向的新的栈顶地址。这使得已使用的栈空间增大。

简单来说，入栈就是：先移动指针（ESP减小），再存入数据。

出栈 (Pop)

当数据从栈中弹出时，例如执行 POP 指令或函数返回释放空间时：

1. 栈指针 (ESP) 的变化：ESP 的值会增加。当数据被取出后，栈顶指针需要向更高的内存地址移动，从而“收缩”栈的范围。 增加的字节数等于弹出数据的大小。
2. 栈空间的变化：位于原 ESP 地址的数据被读取（或被视为无效），栈顶回退。这使得已使用的栈空间减小。

简单来说，出栈就是：先读取数据，再移动指针（ESP增大）。

总而言之，栈的操作遵循“后进先出”（LIFO）的原则，其核心就是通过移动ESP栈指针来动态地分配和释放内存空间。