2.3.2 函数实参
本文讲的是C语言程序设计进阶教程一2.3.2 函数实参,为了理解函数实参,我们必须对目前见到的十分简单的例子进行详细叙述。首先,大多数函数引入输入实参,具有返回值。《韦氏词典》将argument(实参)定义为“可以决定一个函数的值的自变量中的一个”。对于一个数学函数,例如f(x、y、z),变量x、y、z就是函数f的实参。在C程序中,函数有相似的语法。考虑下面的例子:
输入a、b、c是f1的实参。当f1被调用的时候,f2必须提供3个实参,而且这些信息被压入调用栈。调用栈存储着这些实参和它们在返回位置上的值。
我们已经知道在一个计算机程序中没有标志符。相反,正如之前讨论过的,计算机内存只有地址和值。因此,上面的表要加上一列以显示地址的信息。每个值都有唯一的地址——实参存储在计算机电路中不同的物理部分——这个性质是由操作系统和硬件部分来保证的。程序员不能控制所使用的具体地址。地址在不同类型的计算机上会有很大的变化。本书使用100,101,……表示这些地址。按照惯例,地址从底部的一个小数字开始向上增长。
返回位置和实参共同构成了被调用函数f1的栈帧。一个栈帧占据着内存中一个连续的内存块。上面的表现在可以扩展成可以展示出标志符、地址和它们的值的这样一个栈帧。
当又有一个函数调用的时候会发生什么呢?考虑下面的例子:
函数f3调用f2,所以f2的栈帧被压入了调用栈。实参a的值是5,因为它是在第15行f3调用f2时赋给a的值。相似地,实参b的值是-17,因为它是在第15行f3调用f2时赋给b的值。
函数f2调用f1,f1的栈帧被压入调用栈。实参t的值是22,因为它是第8行a-b的值。相似地,实参u的值是-12,因为它是第8行a+b的值。
请记住栈帧和标志符只是对人类而言的。计算机不会明白什么是栈帧和标志符。相反,它们只是处理地址和值。在2.3.1节中,我们列出了调用栈的规则,现在我们再加上一些:
如果函数有实参,那么实参是存储在返回位置之上的。
实参和返回位置共同构成了被调用函数的栈帧。
当一个函数被调用时,这条调用之后的行编号就被压入调用栈。这个行编号就是“返回位置”(RL)。这是在被调用函数结束(即返回)之后程序继续执行的地方。
如果相同的函数在不同行处被调用,那么每个调用都有一个相应的返回位置(每个函数调用之后的那行)。
当一个函数结束之后,程序将从存储在调用栈顶部的行编号处继续执行。调用栈顶部的内容就会被弹出。
原文标题:C语言程序设计进阶教程一2.3.2 函数实参