7-函数

1、概念

一个Ｃ程序可由一个主函数和若干个其他函数构成。

注意点：

（1）一个Ｃ程序由一个或多个程序模块组成，每一个程序模块作为一个源程序文件。对较大的程序，一般不希望把所有内容全放在一个文件中，而是将他们分别放在若干个源文件中，再由若干源程序文件组成一个C程序。这样便于分别编写、分别编译，提高调试效率。一个源程序文件可以为多个C程序公用。

（2） 一个源程序文件由一个或多个函数以及其他有关内容（如命令行、数据定义等）组成。一个源程序文件是一个编译单位，在程序编译时是以源程序文件为单位进行编译的，而不是以函数为单位进行编译的。

（3）Ｃ程序的执行是从ｍａｉｎ函数开始的，如是在ｍａｉｎ函数中调用其他函数，在调用后流程返回到ｍａｉｎ函数，在ｍａｉｎ函数中结束整个程序的运行。

（4） 所有函数都是平行的，即在定义函数时是分别进行的，是互相独立的。一个函数并不从属于另一函数，即函数不能嵌套定义。函数间可以互相调用，但不能调用ｍａｉｎ函数。ｍａｉｎ函数是系统调用的。

（5）从用户使用的角度看，函数有两种：

① 标准函数，即库函数。这是由系统提供的，用户不必自己定义这些函数，可以直接使用它们。应该说明，不同的C系统提供的库函数的数量和功能会有一些不同，当然许多基本的函数是共同的。

② 用户自己定义的函数。用以解决用户的专门需要。

（6） 从函数的形式看，函数分两类：

①无参函数。如例8.1中的printstar和print_message就是无参函数。在调用无参函数时，主调函数不向被调用函数传递数据。无参函数一般用来执行指定的一组操作。例如，例8．１程序中的printstar函数。

②有参函数。在调用函数时，主调函数在调用被调用函数时，通过参数向被调用函数传递数据，一般情况下，执行被调用函数时会得到一个函数值，供主调函数使用。  

2、函数定义

定义无参函数的一般形式为:

类型标识符　函数名（）

｛  

      声明部分 

     语句部分

｝

在定义函数时要用“类型标识符”指定函数值的类型，即函数带回来的值的类型。

定义有参函数的一般形式为:

类型标识符　函数名（形式参数表列）

｛ 

     声明部分 

     语句部分

｝

定义空函数的一般形式为:

类型标识符　函数名（）

｛ ｝

例如：ｄｕｍｍｙ（）

｛ ｝

3、函数的参数与函数的值

1）在前面提到的有参函数中，在定义函数时函数名后面括弧中的变量名称为“形式参数”（简称“形参”）

2）在主调函数中调用一个函数时，函数名后面括弧中的参数(可以是一个表达式)称为“实际参数”（简称“实参”）。

3）大多数情况下，主调函数和被调用函数之间有数据传递的关系。

4）return后面的括弧中的值()作为函数带回的值（称函数返回值）。

5）在不同的函数之间传递数据，可以使用的法：

◆参数：通过形式参数和实际参数

◆返回值：用return语句返回计算结果

◆全局变量：外部变量

4、函数重要点

(1) 在定义函数中指定的形参，在未出现函数调用时，它们并不占内存中的存储单元。只有在发生函数调用时，函数ｍａｘ中的形参才被分配内存单元。在调用结束后，形参所占的内存单元也被释放。

(2) 实参可以是常量、变量或表达式，如：ｍａｘ（３，ａ＋ｂ）； 但要求它们有确定的值。在调用时将实参的值赋给形参。

(3) 在被定义的函数中，必须指定形参的类型。

(4) 实参与形参的类型应相同或赋值兼容。

(5) 在Ｃ语言中，实参向对形参的数据传递是“值传递”（相当于COPY），单向传递，只由实参传给形参，而不能由形参传回来给实参。在内存中，实参单元与形参单元是不同的单元。

5、函数返回值

通常，希望通过函数调用使主调函数能得到一个确定的值，这就是函数的返回值。

(1)函数的返回值是通过函数中的return语句获得的:

return语句将被调用函数中的一个确定值带回主调函数中去。如果需要从被调用函数带回一个函数值供主调函数使用，被调用函数中必须包含

return语句。如果不需要从被调用函数带回函数值可以不要return语句。

(2)一个函数中可以有一个以上的return语句，执行到哪一个return语句，哪一个语句起作用。return语句后面的括弧也可以不要，

如: “return ｚ;” 等价于 “return （ｚ）；”

(3) 函数的返回值应当属于某一个确定的类型，在定义函数时指定函数返回值的类型。

(4)在Ｃ语言中，凡不加类型说明的函数，自动按整型处理。

(5)在定义函数时指定的函数类型一般应该和return语句中的表达式类型一致。

(6)对于不带回值的函数，应当用“void”定义函数为“无类型”（或称“空类型”）

# include <stdio.h>
void main（）
 ｛   int ｍａｘ（float ｘ，float ｙ）;
　    float ａ，ｂ；
　    int ｃ；
　    scanf（＂％ｆ，％ｆ，＂，＆ａ，＆ｂ）；
　   ｃ＝ｍａｘ（ａ，ｂ）；
　    printf（＂Ｍａｘ ｉｓ ％ｄ＼ｎ＂，ｃ）；
   ｝       
int max（float ｘ，float ｙ）
 ｛   float ｚ；                          /* z为实型变量 */
       ｚ＝ｘ＞ｙ？ｘ∶ｙ；
        return（ｚ）；
  ｝

6、函数调用

函数调用的一般形式为: 函数名（实参表列）

（1）如果是调用无参函数，则“实参表列”可以没有，但括弧不能省略。

（2）如果实参表列包含多个实参，则各参数间用逗号隔开。实参与形参的个数应相等，类型应匹配。实参与形参按顺序对应，一一传递数据。

（3）如果实参表列包括多个实参，对实参求值的顺序并不是确定的，有的系统按自左至右顺序求实参的值，有的系统则按自右至左顺序。

#include <stdio.h>
void main()
  {
   int f(int a,int b);  /* 函数声明 */
   int i=2,p;
   p=f(i,++i);        /*  函数调用 */
   printf("%d\n",p);
  } 
int f(int a,int b)              /*  函数定义 */
{
  int c;
  if(a>b) c=1;
   else if(a==b) c=0;
          else c=-1;
   return(c);
}　

调用方式：１．函数语句、２．函数表达式、３．函数参数

(1) 首先被调用的函数必须是已经存在的函数（是库函数或用户自己定义的函数）。但光有这一条件还不够。

(2) 如果使用库函数，还应该在本文件开头用＃ｉｎｃｌｕｄｅ命令将调用有关库函数时所需用到的信息“包含”到本文件中来。

(3) 如果使用用户自己定义的函数，而该函数的位置在调用它的函数（即主调函数）的后面（在同一个文件中），应该在主调函数中对被调用的函数作声明。

“声明”一词的原文是delaration，过去在许多书中把它译为“说明”。声明的作用是把函数名、函数参数的个数和参数类型等信息通知编译系统，以便在遇到函数调用时，编译系统能正确识别函数并检查调用是否合法。 （例如函数名是否正确，实参与形参的类型和个数是否一致）。

n函数的“定义”和“声明”不是一回事。函数的定义是指对函数功能的确立，包括指定函数名，函数值类型、形参及其类型、函数体等，它是一个完整的、独立的函数单位。（占内存）

n而函数的声明的作用则是把函数的名字、函数类型以及形参的类型、个数和顺序通知编译系统，以便在调用该函数时系统按此进行对照检查。（不占内存）

7、函数嵌套调用

嵌套定义就是在定义一个函数时，其函数体内又包含另一个函数的完整定义。然而，Ｃ语言不能嵌套定义函数，但可以嵌套调用函数，也就是说，在调用一个函数的过程中，又调用另一个函数。

main()

{

    a();

}

a()

{

  b();

}

b()

{

  return;

}

8、数组作为函数参数

1）数组可以作为函数的参数使用，进行数据传送。数组用作函数参数有两种形式。

2）一种是把数组元素(下标变量)作为实参使用；

3）另一种是把数组名作为函数的形参和实参使用。

4）数组元素就是下标变量，它与普通变量并无区别。因此它作为函数实参使用与普通变量是完全相同的，在发生函数调用时，把作为实参的数组元素的值传送给形参，实现单向的值传送。

用数组名作函数参数与用数组元素作实参有几点不同：

1) 用数组元素作实参时，只要数组类型和函数的形参变量的类型一致，那么作为下标变量的数组元素的类型也和函数形参变量的类型是一致的。因此，并不要求函数的形参也是下标变量。换句话说，对数组元素的处理是按普通变量对待的。然而，用数组名作函数参数时，则要求形参和相对应的实参都必须是类型相同的数组，都必须有明确的数组说明。当形参和实参二者不一致时，即会发生错误。

2)  在普通变量或下标变量作函数参数时，形参变量和实参变量是由编译系统分配的两个不同的内存单元。在函数调用时发生的值传送是把实参变量的值赋予形参变量。在用数组名作函数参数时，不是进行值的传送，即不是把实参数组的每一个元素的值都赋予形参数组的各个元素。

为什么?因为实际上形参数组并不存在，编译系统不为形参数组分配内存。

在此之前我们曾介绍过，数组名就是数组的首地址。因此在数组名作函数参数时所进行的传送只是地址的传送，也就是说把实参数组的首地址赋予形参数组名。形参数组名取得该首地址之后，也就等于有了实在的数组。实际上是形参数组和实参数组为同一数组，共同拥有一段内存空间。

#include<stdio.h>

void test(int b[10])
{
      int i = 0;

      for( ; i < 5; i++ )
      {
            printf("%d ", b[i]);
      }
}

int main()
{
	int a[10] = {2, 4, 6, 8, 10, 12, 14, 16, 18, 20};
	test(a);
	putchar('\n');

	system("PAUSE");
	return 0;
}

9、局部变量和全局变量

局部变量：在一个函数内部定义的变量是内部变量，它只在本函数范围内有效，也就是说只有在本函数内才能使用它们，在此函数以外是不能使用这些变量的。这称为“局部变量”。

注意点：

1）主函数中定义的变量(m,n)也只在主函数中有效,而不因为在主函数中定义而在整个文件或程序中有效。主函数也不能使用其他函数中定义的变量。

2）不同函数中可以使用相同名字的变量,它们代表不同的对象,互不干扰。例如, 上面在f1函数中定义了变量b和c,倘若在f2函数中也定义变量b和c,它们在内存中占不同的单元,互不混淆。

3）形式参数也是局部变量。例如上面f1函数中的形参a,也只在f1函数中有效。其他函数可以调用f1函数，但不能引用f1函数的形参a。

4）在一个函数内部,可以在复合语句中定义变量,这些变量只在本复合语句中有效,这种复合语句也称为“分程序”或“程序块”。

全局变量：在函数内定义的变量是局部变量,而在函数之外定义的变量称为外部变量,外部变量是全局变量(也称全程变量)。

全局变量可以为本文件中其他函数所共用。它的有效范围为从定义变量的位置开始到本源文件结束。

建议不在必要时不要使用全局变量，原因如下：

① 全局变量在程序的全部执行过程中都占用存储单元，而不是仅在需要时才开辟单元。

② 使用全局变量过多，会降低程序的清晰性，人们往往难以清楚地判断出每个瞬时各个外部变量的值。在各个函数执行时都可能改变外部变量的值，程序容易出错。因此，要限制使用全局变量。

③它使函数的通用性降低了，因为函数在执行时要依赖于其所在的外部变量。如果将一个函数移到另一个文件中，还要将有关的外部变量及其值一起移过去。但若该外部变量与其他文件的变量同名时，就会出现问题，降低了程序的可靠性和通用性。一般要求把Ｃ程序中的函数做成一个封闭体，除了可以通过“实参——形参”的渠道与外界发生联系外，没有其他渠道。

10、变量的存储类型

前面已介绍了从变量的作用域（即从空间）角度来分，可以分为全局变量和局部变量。那么从变量值存在的时间（即生存期）角度来分，又可以分为静态存储方式和动态存储方式。

所谓静态存储方式是指在程序运行期间由系统分配固定的存储空间的方式。

而动态存储方式则是在程序运行期间根据需要进行动态的分配存储空间的方式。

用户存储空间可以分为三部分：

1. 程序区

2. 静态存储区

3. 动态存储区

（1）在Ｃ语言中每一个变量和函数有两个属性：数据类型和数据的存储类别。

（2）对数据型（如整型、字符型等）。存储类别指的是数据在内存中存储的方式。

（3）存储方式分为两大类：静态存储类和动态存储类。

（4）具体包含四种：自动的（ａｕｔｏ），静态的（ｓｔａｔｉｃ），寄存器的（ｒｅｇｉｓｔｅｒ），外部的（ｅｘｔｅｒｎ）。（）根据变量的存储类别，可以知道变量的作用域和生存期。

（5）函数中的局部变量，如不专门声明为static存储类别，都是动态地分配存储空间的(栈)，数据存储在动态存储区中。

（6）函数中的形参和在函数中定义的变量(包括在复合语句中定义的变量)，都属此类，在调用该函数时系统会给它们分配存储空间，在函数调用结束时就自动释放这些存储空间。

（7）因此这类局部变量称为自动变量。自动变量用关键字ａｕｔｏ作存储类别的声明。

11、用static声明局部变量

有时希望函数中的局部变量的值在函数调用结束后不消失而保留原值，即其占用的存储单元不释放，在下一次该函数调用时，该变量已有值，就是上一次函数调用结束时的值。这时就应该指定该局部变量为“静态局部变量”，用关键字ｓｔａｔｉｃ进行声明。

说明：

（1）静态局部变量属于静态存储类别，在静态存储区内分配存储单元。在程序整个运行期间都不释放。而自动变量（即动态局部变量）属于动态存储类别，占动态存储区空间而不占静态存储区空间，函数调用结束后即释放。

（2）对静态局部变量是在编译时赋初值的，即只赋初值一次，在程序运行时它已有初值。以后每次调用函数时不再重新赋初值而只是保留上次函数调用结束时的值。而对自动变量赋初值，不是在编译时进行的，而是在函数调用时进行，每调用一次函数重新给一次初值，相当于执行一次赋值语句。

（3）如在定义局部变量时不赋初值的话，则对静态局部变量来说，编译时自动赋初值０（对数值型变量）或空字符（对字符变量）。而对自动变量来说，如果不赋初值则它的值是一个不确定的值。这是由于每次函数调用结束后存储单元已释放，下次调用时又重新另分配存储单元，而所分配的单元中的值是不确定的。

（4）虽然静态局部变量在函数调用结束后仍然存在，但其他函数是不能引用它的。

12、register变量

一般情况下，变量（包括静态存储方式和动态存储方式）的值是存放在内存中的。当程序中用到哪一个变量的值时，由控制器发出指令将内存中该变量的值送到运算器中。 经过运算器进行运算，如果需要存数，再从运算器将数据送到内存存放。

如果有一些变量使用频繁（例如在一个函数中执行１００００次循环，每次循环中都要引用某局部变量），则为存取变量的值要花费不少时间。为提高执行效率，Ｃ语言允许将局部变量的值放在CPU中的寄存器中，需要用时直接从寄存器取出参加运算，不必再到内存中去存取。由于对寄存器的存取速度远高于对内存的存取速度，因此这样做可以提高执行效率。这种变量叫做寄存器变量，用关键字ｒｅｇｉｓｔｅｒ作声明。

13、用extern声明外部变量

外部变量即全局变量，它的作用域是从变量的定义处开始，到本程序文件的末尾。在此作用域内，全局变量可以为程序中各个函数所引用。编译时将外部变量分配在静态存储区。有时需要用extern来声明外部变量，以扩展外部变量的作用城。