第五章-函数

第五章——函数

函数

​ 函数就是功能。每一个函数用来实现一个特定的功能。函数的名字应反映其代表的功能。

定义函数

定义函数应包含以下几个内容：

1. 指定函数的名字，以便以后按名调用。
2. 指定函数的类型，即函数返回值的类型。
3. 指定函数的参数的名字和类型，以便在调用函数时向它们传递数据。对无参函数不需这项。
4. 指定函数应当完成什么操作，也就是函数是做什么的，即函数的功能。这是最重要的，是在函数体中解决的，

定义函数的方法

1. 定义无参函数

   形式：

   类型名 函数名(void) 或 类型名 函数名()

   {

   ​ 函数体

   }

   函数名后面括号内的void表示"空"，即函数没有参数。

   函数体包括声明部分和语句部分。

   在定义函数时要用"类型标识符"（即类型名）指定函数值的类型，即指定函数带回来的值的类型。

2. 定义有参函数

   例如：

   int max(int x, int y)
   {
       int z;        // 声明部分
       z=x>y? x:y;   // 执行语句部分
       return(z);
   }
   

3. 定义空函数

   形式：

   类型名 函数名()

   {}

   例如：

   void dummy()
   
   {}
   

   函数体是空的。调用此函数时，什么也不做，没有任何实际作用。但在编写程序时，可以用空函数来占位，理顺编程思路，程序的结构清晰，一边扩充新功能方便。

调用函数

函数调用的形式

形式：函数名(实参表列)

1. 函数调用语句：把函数调用单独作为一个语句。
2. 函数表达式：函数调用出现在另一个表达式中，如"c=max(a,b);"它是赋值表达式中的一部分。这是要求函数带回一个确定的值以参加表达式的运算。
3. 函数参数：函数作为另一个函数调用时的实参。例如：m=max(a,max(b,c));,其中max(b,c)是一次函数调用，它的值作为max另一次调用的实参。

函数调用时的数据传递

1. 形式参数和实际参数

   形式参数：在定义函数时函数名后面括号中的变量名称。

   实际参数：在主调函数中调用一个函数时，函数名后面括号中的参数。

2. 实参和形参间的数据传递

   在调用函数过程中，系统会把实参的值传递给被调用函数的形参。

   在调用函数过程中发生的实参与形参间的数据传递，常称为"虚实结合"。

说明：

实参可以是常量、变量或表达式，例如：max(3, a+b);，但要求它们有确定的值。在调用时将实参的值赋给形参。

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

函数调用的过程

1. 在定义函数中指定的形参，在未出现函数调用时，它们并不占有内存中的存储单元。在发生函数调用时，函数max的形参被临时分配内村单元。
2. 将实参对应的值传递给形参。
3. 在执行max函数期间，由于形参已经有值，就可以利用形参进行有关的运算。
4. 通过return语句将函数值带回到主调函数。如果函数不需要返回值，则不需要return语句。这时函数的类型应定义为void类型。
5. 调用结束，形参单元被释放。注意：实参单元仍保留并维持原值，没有改变。

注意：

实参向形参的数据传递是"值传递"，单向传递，只能由实参传递给形参，而不能由形参传给实参。实参和形参在内存中占有不同的存储单元，实参无法得到形参的值。

函数的返回值

说明：

1. 函数的返回值是通过函数中的return语句获得的。
2. 函数值的类型
3. 在定义函数时指定的函数类型一般应该和return语句中的表达式类型一致。即函数类型决定返回值的类型。
4. 对不不带回值的函数，应当用定义函数为"void"类型。

被调用函数的声明和函数原型

​ 在一个函数中调用另一个函数需要具备如下条件：

1. 首先被调用的函数必须是已经定义的函数。
2. 如果使用库函数，应该在本文件开头用#include指令将调用有关库函数时所需用到的信息"包含"到本文件中。
3. 如果使用用户自己定义的函数，而该函数的位置在调用它的函数的后面，应该在主调函数中对被调用的函数作声明。声明的作用是把函数名、函数参数的个数和参数类型等信息通知编译系统，以便在遇到函数调用时，编译系统能正确识别函数并检查调用是凑合法。

注意：

对函数的定义和声明不是同一回事。函数的定义是指对函数功能的确立，包括指定函数名、函数值类型、形参及其类型以及函数体等，它是一个完整的、独立的函数单位。而函数的声明的作用则是把函数的名字、函数类型以及形参的类型、个数和顺序通知编译系统，以便在调用函数时系统按此进行对照检查（实参与形参的类型和个数是否一致）它不包括函数体。

函数的嵌套调用

​ 在调用一个函数的过程中，又调用另一个函数。

函数的递归调用

​ 在调用一个函数的过程中又出现直接或间接地调用该函数本身，称之为函数的递归调用。

例如：用递归方法求n！。

#include <stdio.h>

int main()
{
    int fac(int n);        // fac函数声明
    int n;
    int y;
    printf("Input an integer number:");
    scanf("%d", &n);
    y = fac(n);
    printf("%d!=%d\n", ,n,y);
    return 0;
}

int fac(int n)              // 定义fac函数
{
    int f;
    if(n<0)                 // n不能小于0
        printf("n<0,data error!");
    else if(n==0||n==1)     // n=0或1时n!=1
        f=1;
    else f=fac(n-1)*n;      // n>1时，n!=n*(n-1)
    return(f);
}

程序分析：请注意每次调用fac函数后，其返回值f返回到哪里，应返回到调用fac函数处，例如当n=2时，从函数体可以看到"f=fac(1)*2"，再调用fac(1)，返回值为1。这个1就取代了"f=fac(1)×2"中的fac(1)，从而f=1×1=2。

数组作为函数的参数

数组元素作函数实参

​ 数组元素可以用作函数实参，不能用作形参。数据传递的方向是从实参传到形参，单向传递。

数组名作函数参数

​ 用数组元素作实参时，向形参变量传递的是数组元素的值，而用数组名作函数实参时，向形参传递的是数组首元素的地址。

程序举例：用选择法对数组中10个整数按由小到大的排序。

解题思路：选择法就是先将10个数中最小的数与a[0]对换；再将a[1]~a[9]中最小的数与a[1]对换……每比较一轮，找出一个未经排序的数中最小的一个。

#include <stdio.h>
int main()
{
    void sort(int array[], int n);
    int[10], i;
    printf("enter array:\n");
    for(i=0;i<10;i++)
        scanf("%d", &a[i]);
    sort(a,10);
    printf("The sorted array:\n");
    for(i=0;i<10;i++)
        printf("%d", a[i]);
    printf("\n");
    return 0;
}

void sort(array[], int n)
{
    int i,j,k,t;
    for(i=0;i<n-1;i++)
    {
        k++;
        for(j=i+1;j<n;j++)
            if(array[j]<array[k])
                k=j;
        i=array[k];array[k]=array[i];array[i]=t;
    }
}

多维数组名作为函数参数

可以用多维数组名作为函数的实参和形参，在被调用函数中对形参数组定义时可以指定每一维的大小，也可以省略第一维的大小说明。

局部变量和全局变量

定义变量可能有3种情况：

1. 在函数的开头定义
2. 在函数内的复合语句内定义
3. 在函数的外部定义

局部变量

​ 在一个函数内定义的变量只在本函数范围内有效。在复合语句内定义的变量只在本复合语句范围内有效，在该复合语句以外是不能使用这些变量的，以上这些称为"局部变量"。

说明：

1. 主函数也不能使用其他函数中定义的变量。
2. 不同函数中可以使用同名的变量，它们代表不同的对象。
3. 形式参数也是局部变量。
4. 在一个函数内部，可以在复合语句内定义变量，这些变量只在本复合语句中有效，这种复合语句也称为"分程序"或"程序块"。

全局变量

在函数之外定义的变量称为外部变量(全局变量)。它的有效范围从定义变量的位置开始到本源文件结束。

说明：设置全局变量的作用是增加了函数间数据联系的渠道。

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

• 全局变量在程序的全部执行过程中都占用存储单元，而不是仅在需要时才开辟单元。
• 降低了函数的通用性。
• 降低程序的清晰性。

变量的存储方式和生存期

变量的存储方式：静态存储方式和动态存储方式。

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

动态存储方式：指在程序运行期间根据需要进行动态的分配存储空间的方式

存储空间可以分为3部分：程序区、静态存储区、动态存储区

动态存储区中存放以下数据：

1. 函数形式参数
2. 函数中定义的没有用关键字static声明的变量，即自动变量。
3. 函数调用时的现场保护和返回地址等。

在C语言中，每一个变量和函数都有两个属性：数据类型和数据的存储类别。

C的存储类别包括4种：自动的(auto)、静态的(static)、寄存器的(register)、外部的(extern)。根据变量的存储类别，可以知道变量的作用域和生存期。

局部变量的存储类别

• 自动变量（aotu变量）

  在调用该函数时，系统会给这些变量分配存储空间，在函数调用结束时就自动释放这些存储空间。

  例如：

  auto int b,c=3;

  定义b，c为自动变量，关键字"auto"可以省略不写，不写auto则隐含指定为"自动存储类别"。

• 静态局部变量（static局部变量）

  函数中的局部变量的值在函数调用结束后不消失而继续保留原值，即占用的存储单元不释放，在下一次再调用该函数时，该变量已有值。

  静态局部变量属于静态存储类别，在静态存储区内分配存储单元。

  对静态局部变量是在编译时赋初值，即只赋初值一次，在程序运行时它已有初值。

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

• 寄存器变量（register变量）

  将局部变量的值放在CPU中的寄存器中，需要用时直接从寄存器取出参加运算，不必再到内存中去存取。这种寄存器变量，用关键字register作声明。

  如：register int f; 定义f为寄存器变量

自动变量存储在动态存储区；静态局部变量存储在静态存储区；寄存器存储在CPU中的寄存器中。

全局变量的存储类别

• 在一个文件内扩展外部变量的作用域

  在定义点之前的函数需要引用该外部变量，则应该在引用之前用关键字extern对该变量做"外部变量声明"，表示把该外部变量的作用域扩展到此位置。

• 将外部变量的作用域扩展到其他文件

  在任一文件中定义外部变量Num，而在另一个文件中用extern对Num作"外部变量声明"，即"extern Num;"。在编译和连接时，系统会由此知道Num有"外部链接"，可以从别处找到已定义的外部变量Num，并将在另一文件中定义的外部变量Num的作用域扩展到本文件，在本文件中可以合法引用外部变量Num。

• 将外部变量的作用域限制在本文件中

  希望某些外部变量只限于被本文件引用，而不能被其他文件引用，加上static声明。只能用于本文件的外部变量称为静态外部变量。

  例如：

  static int A;
  int main()
  {
      ·
      ·
  }
  

  说明：

  声明局部变量的存储类型和声明全局变量的存储类型的含义是不同的。对于局部变量来说：声明存储类型的作用是指定变量存储的区域以及由此产生的生存期的问题，而对于全局变量来说，由于都是在编译时分配内存的，都存放在静态存储区，声明存储类型的作用是变量作用域的扩展问题。

  用static声明一个变量的作用是：

1. 对局部变量用static声明，把它分配在静态存储区，该变量在整个程序执行期间不释放，其所分配的空间始终存在。
2. 对全局变量用static声明，则该变量的作用域只限于本文件模块。

注意：

用auto，register和static声明变量时，是在定义变量的基础上加上这些关键字，而不能单独使用。如下面的用法不对：

int a;        // 先定义整型变量a
static a;     // 企图再对变量a声明为静态变量

如果一个变量在某一文件或函数范围内是有效的，就称该范围为该变量的作用域，在此作用域内可以引用该变量，这种性质称为变量的可见性。

如果一个变量值在某一时刻是存在的，则认为这一时刻属于该变量的生存期，或称该变量在此时刻"存在"。

变量的声明和定义

把建立存储空间的声明称为定义，而把不需要建立存储空间的声明称为声明。

简单的结论，在函数中出现的对变量的声明都是定义。在函数中对其他函数的声明不是函数的定义。

内部函数和外部函数

根据函数能否被其他源文件调用，将函数区分为内部函数和外部函数。

内部函数

​ 如果一个函数只能被本文件中其他函数所调用，它称为内部函数。在定义内部函数时，在函数名和函数类型的前面加static，即：static 类型名 函数名(形参表)

例如：static int fun(int a, int b)

外部函数

​ 如果在定义函数时，在函数首部的最左端加关键字extern，则此函数是外部函数，可供其他文件调用。

例如：extern int fun(int a, int b)

C语言规定，如果在定义函数时省略extern，则默认为外部函数。