第06章C语言

在定义函数时对函数值说明的类型一般应该和 return语句中的表达式类型一致。例如，例6.2中 用隐含方式指定max函数值为整型，而变量ｚ也被 指定为整型，通过return语句把ｚ的值作为max的 函数值，由max带回主调函数。ｚ的类型与max函数 的类型是一致的，是正确的。 (3) 如果函数值的类型和return语句中表达式的值 不一致，则以函数类型为准。对数值型数据，可以 自动进行类型转换。即函数类型决定返回值的类型。 例6.3返回值类型与函数类型不同。将例6.2稍作 改动（注意是变量的类型改动）。
一个函数中可以有一个以上的return语句，执行 到哪一个return语句，哪一个语句起作用。 return语句后面的括弧也可以不要，如return ｚ； 它与“return（ｚ）；”等价。 return后面的值可以是一个表达式。例如，例6.2 中的函数max可以改写如下： max（int x，int y） ｛ return（x＞y？x∶y）； ｝ 这样的函数体更为简短，只用一个return语句就 把求值和返回都解决了。
2.
有参函数定义的一般形式
类型标识符 函数名（形式参数表列） ｛声明部分 语句 ｝ 例如： int max（int x，int y） ｛ int ｚ；／*函数体中的声明部分*／ ｚ＝x＞y？x∶y； return（ｚ）； ｝
这是一个求x和y二者中大者的函数，笫1行第一个关 键字int表示函数值是整型的。max为函数名。括号中 有两个形式参数x和y，它们都是整型的。在调用此函 数时，主调函数把实际参数的值传递给被调用函数中 的形式参数x和y。花括弧内是函数体，它包括声明部 分和语句部分。在声明部分定义所用的变量，此外对 将要调用的函数作声明.在函数体的语句中求出ｚ的值 (为x与y中大者), return(z)的作用是将ｚ的值作为函数值带回到主调 函数中。return后面的括弧中的值(z)作为函数带回的 值(或称函数返回值).在函数定义时已指定max函数为 整型，在函数体中定义ｚ为整型，二者是一致的，将 ｚ作为函数max的值带回调用函数(见前例）。
如果在定义函数时不指定函数类型，系统会隐含指定 函数类型为int型。因此上面定义的max函数左端的int 可以省写。 3. 可以有“空函数” 它的形式为 类型说明符 函数名（ ） ｛ ｝ 例如： dummy（）｛｝ 调用此函数时，什么工作也不做，没有任何实际作用。 在主调函数中写上"dummy()” 表明 “这里
在程序设计中，常将一些常用的功能模块编写成 函数，放在函数库中供公共选用。要善于利用函数， 以减少重复编写程序段的工作量。
图6.1
先举一个简单的函数调用的例子。例6.1 main（） ｛ void printstar(); void print_message(); printstar（）； ／* 调用printstar函数 *／ print_message()；/*调用print_message*/ printstar（）； ／* 调用printstar函数 *／ ｝ void printstar（） ／*printstar函数*／ ｛
要调用一个函数”， 而现在这个函数没有起作用， 等以后扩充函数功能时补充上。 在程序设计中往往 根据需要确定若干模块， 分别由一些函数来实现。 而在第一阶段只设计最基本的模块， 其他一些次要 功能或锦上添花的功能则在以后需要时陆续补上。 在编写程序的开始阶段，可以在将来准备扩充功能 的地方写上一个空函数（函数名取将来采用的实际 函数名（如用merge（）、matproduct（）、 oncatenate（）、shell（）等，分别代表合并、矩 阵相乘、字符串连接、希尔法排序等），只是这些 函数未编好，先占一个位置，以后用一个编好的函 数代替它。这样做，程序的结构清楚，
可读性好，以后扩充新功能方便，对程序结构 影响不大。空函数在程序设计中常常是有用的。 4. 对形参的声明的传统方式 在老版本C语言中，对形参类型的声明是放在 函数定义的笫2行，也就是不在笫1行的括号内 指定形参的类型，而在括号外单独指定，例如 上面定义的max函数可以写成以下形式： int max（x，y） /* 指定形参x，y */ int x，y; /* 对形参指定类型 */ ｛int z;
6.3
函数参数和函数的值
6.3.1 形式参数和实际参数 在调用函数时，大多数情况下，主调函数和被调 用函数之间有数据传递关系。这就是前面提到的有 参函数。前面已提到：在定义函数时函数名后面括 弧中的变量名称为“形式参数”（简称“形参”）， 在主调函数中调用一个函数时，函数名后面括弧中 的参数(可以是一个表达式)称为“实际参数”（简 称“实参”）。 例6.2调用函数时的数据传递。 main（） ｛ int max（int x，int y）;／*
(3)Ｃ程序的执行从main函数开始，调用其他函数 后流程回到main函数，在main函数中结束整个程 序的运行。main函数是系统定义的。 (4) 所有函数都是平行的，即在定义函数时是互 相独立的，一个函数并不从属于另一函数，即函 数不能嵌套定义（这是和PASCAL不同的），函数 间可以互相调用，但不能调用main函数。 (5) 从用户使用的角度看，函数有两种： ① 标准函数，即库函数。这是由系统提供的， 用户不必自己定义这些函数，可以直接使用它们。 应该说明，不同的C系统提供的库函数的数量和功 能不同，当然有一些基本的函数是共同的。
整数3，然后送到形参b。但此时应将max函数放 在main函数的前面或在main函数中对被调用函数 max作原型声明，否则会出错。关于对函数的声 明见后面小节。字符型与整型可以互相通用。 (5) Ｃ语言规定，实参变量对形参变量的数据传 递都是“值传递”，即单向传递，只由实参传给 形参，而不能由形参传回来给实参，这是和ＦＯ ＲTＲＡN不同的。在内存中，实参单元与形参单 元是不同的单元。如图6.3所示。
printf（＂* * * * * * * * * * *＼n＂）； ｝ void print_message(); ／* print_message函数*／ ｛ printf（"How do you do!＼n"）； ｝ 运行情况如下： * * * * * * * * * How do you do! * * * * * * * * *
z = x > y ? x: y; return(z); } 一般把这种方法称为传统的对形参的声明方式， 而把前面介绍过的方法称为现代的方式。Turbo C和目前使用的多数C版本对这两种方法都允许使 用，两种用法等价，ＡNSI新标准推荐前一种方 法，即现代方式。它与PASCAL语言中所用的方法 是类似的。本书中的程序采用新标准推荐的现代 方式。但由于有些过去写的书籍和程序使用传统 方式，因此读者应对它有所了解，以便能方便地 阅读它们。
6.2
函数定义的一般形式
1. 无参函数的定义形式
类型标识符 函数名（） ｛ 声明部分 语句 ｝ 例6.1中的printstar和print_message函数都是无参 函数。用“类型标识符”指定函数值的类型，即函 数带回来的值的类型。无参函数一般不需要带回函 数值，因此可以不写类型标识符，例6.1就如此。
图6.3 图6.4 在调用函数时，给形参分配存储单元，并将实参对 应的值传递给形参，调用结束后，形参单元被释放， 实参单元仍保留并维持原值。因此，在执行一个被调 用函数时，形参的值如果发生改变，并不会改变主调 函数的实参的值。例如，若在执行函数过程中x和y的 值变为10和15，而a和b仍为2和3，见图6.4。
printstar和print_message都是用户定义的函数名， 分别用来输出一排“*”号和一行信息。 说明： (1) 一个源程序文件由一个或多个函数组成。一个源 程序文件是一个编译单位，即以源程序为单位进行编 译，而不是以函数为单位进行编译。 (2) 一个Ｃ程序由一个或多个源程序文件组成。对较 大的程序，一般不希望全放在一个文件中，而将函数 和其他内容（如预定义）分别放在若干个源文件中， 再由若干源文件组成一个C程序。这样可以分别编写、 分别编译，提高调度效率。一个源文件可以为多个C程 序公用。
6.3.2 函数的返回值 通常，希望通过函数调用使主调函数能得到一个 确定的值，这就是函数的返回值。例如，例6.2中， max（2，3）的值是3，max（5，2）的值是5。赋值语 句将这个函数值赋给变量c。下面对函数值作一些说明： (1) 函数的返回值是通过函数中的return语句获 得的。return语句将被调用函数中的一个确定值带回 主调函数中去。见图6.2中从return语句返回的箭头。 如果需要从被调用函数带回一个函数值（供主调函数 使用），被调用函数中必须包含return语句。如果不 需要从被调用函数带回函数（＂％d，％d＂，＆a，＆b）； c＝max（a，b）； printf（＂Ｍax is％d＂，c）； ｝ int max（int x，int y）／*定义有参函数max*／ ｛ int ｚ； ｚ＝x＞y？x∶y； return（ｚ）； ｝
运行情况如下： 7，8 Ｍax is 8 程序中第7～12行是一个函数定义（注意第7行的 末尾没有分号）。第7行定义了一个函数名max和 指定两个形参x、y及其类型。程序第4行是一个调 用函数语句，max后面括弧内的a、b是实参。a和b 是main函数中定义的变量，x和y是函数max中的形 式参数。通过函数调用，使两个函数中的数据发 生联系。见图6.2。
②用户自己定义的函数。用以解决用户的专门需要。 (6)从函数的形式看，函数分两类： ①无参函数。如例6.1中的printstar和print_message 就是无参函数。在调用无参函数时，主调函数并不将 数据传送给被调用函数，一般用来执行指定的一组操 作（例如，例6.1那样），printstar函数的作用是输 出若干个星号。无参函数可以带回或不带回函数值， 但一般以不带回函数值的居多。 ②有参函数。在调用函数时，在主调函数和被调用函 数之间有数据传递。也就是说，主调函数可以将数据 传给被调用函数使用，被调用函数中的数据也可以带 回来供主调函数使用。