函数调用栈(Call Stack)是程序运行时用于存储函数调用信息的数据结构,通常是一个后进先出(LIFO, Last In First Out)的栈。
每当一个函数被调用时,关于这个调用的信息会被“推入”(pushed)调用栈;当函数执行完毕时,这个信息会被“弹出”(popped)。
调用栈的主要特点包括:
-
后进先出:最后被推入栈的函数调用信息会最先被弹出。
-
存储函数调用信息:每个函数调用的信息通常包括:
- 函数的返回地址:函数执行完毕后应该返回到哪个点。
- 函数的参数:传递给函数的参数值。
- 局部变量:函数内部定义的局部变量。
- 寄存器状态:在某些情况下,寄存器的值可能会被保存在栈上。
-
作用域和生命周期:函数的局部变量只在该函数调用期间存在,当函数返回时,其局部变量的生命周期结束。
-
递归调用:在递归函数中,每次递归调用都会生成新的栈帧,这些栈帧在调用栈中按顺序排列。
-
栈溢出:如果函数调用太深或局部变量太大,可能会超出调用栈的最大容量,导致栈溢出错误。
-
线程独有:每个线程都有自己的调用栈,因此多线程程序中的每个线程都会独立地管理自己的函数调用。
void functionA() {
// 当functionA被调用时,它的信息被推入调用栈
}
void functionB() {
functionA(); // 调用functionA,导致调用栈中添加functionA的栈帧
// 当functionA执行完毕后,它的栈帧被弹出
}
int main() {
functionB(); // 调用functionB,导致调用栈中添加functionB的栈帧
return 0;
}