（五）函数 -- 4 函数调用过程机制

最新推荐文章于 2024-03-04 14:02:42 发布

Fiona-Dong

最新推荐文章于 2024-03-04 14:02:42 发布

阅读量330

点赞数

分类专栏： C语言的科学和艺术（读书笔记）

本文链接：https://blog.csdn.net/m0_38111466/article/details/108936784

版权

C语言的科学和艺术（读书笔记）专栏收录该内容

56 篇文章 9 订阅

订阅专栏

本文深入解析C语言中函数调用的过程，包括参数传递的详细步骤，如实际参数与形式参数的区别，以及函数调用时的帧栈管理。通过举例说明了如何在函数中调用其他函数，展示了一个阶乘函数和组合函数的实现，阐述了如何利用已定义的函数构建更复杂的计算。

摘要由CSDN通过智能技术生成

4. 函数调用过程机制

为了理解函数机制，以下图所示的fact.c程序为例，进行说明。

它包括前文所述的计算n!的Factorial函数和一个显示阶乘表的主程序：

4.1 参数传递

C语言是如何使同一个名字有不同的值？又如何使得同一个概念值用不同的名字表示？

为了理解这个问题的答案，有必要介绍一下函数调用中的实际参数值和函数中用来保存这个值的变量在语义上的区别。

当主程序调用Factorial（它本身是作为函数printf的实际参数）时，实际参数是表达式i。

当这个语句被执行时，其效果相当于检查i的当前值，并把它传给函数Factorial，它的原型为：

int Factorial(int n);

原型中声明了一个整型变量n——该变量作为实际参数的占位符。在函数头部定义的作为占位符的变量被称为形式参数(formal parameter)。

当函数被调用时，将执行下列步骤：

(1) 计算每个实际参数的值作为调用程序操作的一部分。
因为实际参数是表达式，所以这个计算可以包括运算符和其他函数。

(2) 每个实际参数值被复制到对应的形式参数变量中。
如有多个实际参数，必须按次序将其复制到形式参数。
如有必要，在实际参数值和形式参数之间要执行自动类型转换，就如在赋值语句中一样。例如，如果int类型的值要传给参数声明为double类型的函数中，在把值复制到形式参数变量中之前，必须把该整型数转换为等价的浮点数。

(3) 执行函数体中的语句，直到遇见return语句为止。

(4) 计算return中的表达式，如有必要，将表达式的值转换为函数指定的返回类型。

(5) 在函数调用的地方用返回值替代，继续执行调用程序。

每次调用一个函数，都会产生一组变量。

当变量以方框表示时，所有的方框都被包括在表示函数main的大方框中，这是程序中仅有的一个函数。

如果要对一个有多个函数的大程序进行跟踪，那么每次在一个函数调用另一个函数时，都要画一组新的变量方框。

就如在函数main中一样，该函数中声明的每一个变量(包括形式参数) 都必须有一个方框。这些变量仅在声明它们的程序中有意义，因此被称为局部变量(local variable)。

例如，在fact.c中的main函数运行时，首先需要为main函数中的变量创建空间。

函数main只声明了一个变量(循环变量i)，因此main函数的变量可表示为如下图所示：

变量框外的双线将所有与特定函数调用相关的变量围起来。这个变量集称为该函数的帧(frame) 或栈帧(stack frame)。

假设在程序中LowerLimit被定义为0，则for循环的第一个周期中i的值为0。

可以把这个值放在帧中对应的变量框main里以表示这个条件，如下图所示：

然后main函数调用printf，作为计算传递给函数printf的实际参数的一部分，计算表达式

Factorial(i)

的值。

为了在帧图中表示计算机的动作，可以从查看当前帧中的变量i的值开始，在当前帧中可以发现这个值为0。

然后为Factorial建立一个新帧，其中值0是第一个(也是仅有的一个) 实际参数。

Factorial函数有三个变量：形式参数n，局部变量product和i。

因此Factorial帧中有三个变量单元，如下图所示：

接下来的第一件事情是形式参数用实际参数值（即0）进行初始化。

则帧的内容如下图所示：

当为Factorial创建一个新帧时，main的帧没有完全去掉。该帧暂时被放在一边，直到Factorial的操作结束为止。

为了在用方框图表示的概念模型上表示这种情况，最好将每个新帧图画在一张索引卡上，然后将新帧放在表示原来的帧的卡上，即覆盖在它上面。

例如，当调用函数Factorial时，表示Factorial帧的索引卡放在了main帧上面，如下图所示：

整个帧集合形成了一个栈，最近的帧放在最上面，这就是栈帧这个术语的来源。

一旦Factorial被激活， main的帧仍然存在，只是你看不到它的任何内容。

特别要注意，名字i不再引用main函数中声明的变量，而只引用Factorial中的变量名i。

下一步是执行Factorial的函数体，方法是在当前的帧上运行函数的每一步。

变量product被初始化为1，程序到达for循环。

在for循环中，变量i被初始化为1，但由于该变量值已经大于n，所以for循环体没有被执行。

因此，当程序到达return语句时，帧的内容变为：

当Factorial返回时，product的值作为函数的结果值传回调用程序。

从函数返回也意味着扔掉它的帧，使main中的变量重新显现出来，如下图所示：

然后，结果值1被传给printf函数。printf函数经历同样的过程。

最终，printf将结果值1显示在屏幕上，然后返回，之后main函数继续执行for循环的下一周期。

4.2 在其他函数中调用函数

函数的主要作用在于一旦一个函数被定义，不仅主程序可以使用它，而且可以作为实现其他函数的工具，使得这些函数可以用作为更复杂的工具。

这些函数再被其他函数调用，以此类推，从而创建出具有任意复杂度的层次结构。

举例来说，要解决以下问题：
从n个不同物体的集合中选出k个物体有多少种不同的方法?

这个结果可以表示为n和k的函数，该函数称为组合函数(combination function)。可以用阶乘来定义：

$\frac {n!}{k!\times(n-k)!}$

利用已经定义的Factorial函数，可以实现Combinations函数。

完整程序如下：

/* 
* Calculate the number of ways to choose a subset of 
* k objects from a set of n distinct objects.
*/

#include <stdio.h>


/* Function Prototypes */

int Factorial(int n);
int Combinations(int n, int k);


/* Main Program */

main() {
    int n, k;
    printf("Input number of objects in the set (n): ");
    scanf("%d", &n);
    printf("Input number to be chosen (k): ");
    scanf("%d", &k);
    printf("C(%d, %d) = %d\n", n, k, Combinations(n, k));
}


/* 
* Function: Factorial
* Usage: f = Factorial(n);
* ------------------------
* Calculate n!
*/

int Factorial(int n)
{
	int product;
	product = 1;
	for (n=n; n > 1; n--) {
        product *= n;
    }
    return product;
}


/* 
* Function: Combinations
* Usage: ways = Combinations(n, k);
* ---------------------------------
* Calculate C(n, k)
*/

int Combinations(int n, int k)
{
    return Factorial(n) / (Factorial(k) * Factorial(n - k));
}