函数调用堆栈及活动记录 堆栈溢出 stack overflow

小结：

1、当被调函数返回主调函数时，被调函数的 活动记录-activation record / 堆栈帧-stack frame 被 弹出-popping 程序执行栈-program execution stack / 函数调用栈-function call stack。

 

函数调用堆栈及活动记录

想了解函数调用的实现细节，首先需要认识一种被称为堆栈(stack)的数据结构(即一个关联数据项的集合)。我们可以将堆栈想像成一摞盘子。当我们想放一只盘子时，通常是将这只盘子放在这一摞盘子的顶部，相当于将盘子压入(pushing)堆栈。同样，当我们想取出一只盘子时，总是从一摞盘子的顶部取出盘子，相当于将盘子弹出(popping)堆栈。可见，堆栈是一种后进先出(Last-In,First-Out,LIFO)的数据结构，最后被压入(插入)的数据总是最先被弹出(移除)。

当程序调用一个函数时，被调用函数必须知道如何返回主调函数。所以，主调函数的返回地址必须压入程序执行堆栈(program execution stack)----有时也被称为函数调用栈(function call stack)。如果发生一系列的函数调用，其对应的一组返回地址将按照后进先出的顺序被压入堆栈，这样每个函数才能够正确地返回它的主调函数。

由于函数每次被调用时通常都会产生一些局部变量，所以程序执行堆栈专门为这些局部变量保留出一定的存储空间。保存在程序执行堆栈中的这些数据，被称为函数调用的活动记录(activation record)或堆栈帧(stack frame)。当发生一次函数调用时，它对应的活动记录被压入程序执行堆栈。当函数返回到主调函数后，它对应的活动记录将被弹出堆栈，并且保存在其中的局部变量将不再被程序所访问。

 当然，由于计算机的内存容量是有限的，所以程序执行堆栈中用来保存活动记录的存储单元的总数有一个上限。如果连续发生多次的函数调用产生的活动记录超过了这一上限，将会发生堆栈溢出(stack overflow)。

 

FROM

《C How to Program,Sixth Edition》