函数快速入门

Eighth------函数（Function）

一、定义

函数的定义就是函数体的实现。函数体就是一个代码块。它在函数被调用时执行。与函数定义相反，函数声明出现在函数被调用的地方。函数声明向编译器提供该函数的相关信息。

函数是一组一起执行一个任务的语句。每个 C 程序都至少有一个函数，即主函数 main() ，所有简单的程序都可以定义其他额外的函数。

您可以把代码划分到不同的函数中。如何划分代码到不同的函数中是由您来决定的，但在逻辑上，划分通常是根据每个函数执行一个特定的任务来进行的。

函数声明告诉编译器函数的名称、返回类型和参数。函数定义提供了函数的实际主体。

C 标准库提供了大量的程序可以调用的内置函数。例如，函数 strcat() 用来连接两个字符串，函数 memcpy() 用来复制内存到另一个位置。

函数还有很多叫法，比如方法、子例程或程序，等等。

二、函数的通用形式

/* Type 1 */
return_type function_name( parameter list )
{
   body of the function
}

/*Type 2*/
return_type function_name(parameter list) ;
return_type function_name(parameter list)
{
	body of the function
}

在 C 语言中，函数由一个函数头和一个函数主体组成。下面列出一个函数的所有组成部分：

• **返回类型：**一个函数可以返回一个值。return_type 是函数返回的值的数据类型。有些函数执行所需的操作而不返回值，在这种情况下，return_type 是关键字 void。
• **函数名称：**这是函数的实际名称。函数名和参数列表一起构成了函数签名。
• **参数：**参数就像是占位符。当函数被调用时，您向参数传递一个值，这个值被称为实际参数。参数列表包括函数参数的类型、顺序、数量。参数是可选的，也就是说，函数可能不包含参数。
• **函数主体：**函数主体包含一组定义函数执行任务的语句。

函数定义的语法：

类型

函数名（形式参数）

代码块

因此，最简单的函数定义大致如下所示：

function_name (){

}

当这个函数被调用时，他简单地返回，然而，它也可以实现一种有用的存根目的。形式参数列表包括变量名和它们的类型声明。代码块包含了局部变量的声明和函数调用时需要执行的语句。

三、实例

以下是 max() 函数的源代码。该函数有两个参数 num1 和 num2，会返回这两个数中较大的那个数：

/* 函数返回两个数中较大的那个数 */
int max(int num1, int num2) 
{
   /* 局部变量声明 */
   int result;
 
   if (num1 > num2)
      result = num1;
   else
      result = num2;
 
   return result; 
}

四、函数声明和函数调用

当编译器遇到一个函数调用时，它产生代码传递参数并调用这个函数，而且接收该函数返回的值（如果有的话）。但是编译器是如何知道的呢？

1、原型

向编译器提供一些关于函数的特定信息显然更为安全，我们可以通过两种方法来实现。

首先，如果同一源文件的前面已经出现了该函数的定义，编译器就会记住它的参数数量和类型，以及函数的返回值类型。其次，编译器便可以检查该函数的所有后续调用（在同一源文件中），确保它们是合法正确的。

第二种向编译器提供函数信息的方法是使用函数原型。原型总结了函数定义的起始部分的声明，向编译器提供有关该函数应该如何调用的完整信息。使用原型最方便（且最安全）的方法就是把原型置于一个单独的文件，如果其他源文件需要这个函数的原型，就使用#include指令包含该文件。这个技巧避免了错误输入函数原型的可能性，又简化了程序的维护任务，

举例，

							/* find_int.c */
int *find_int(int key , int array[] , int len) ;

注意最后面的那个分号：它区分了函数原型和函数定义的起始部分。原型告诉编译器函数的参数数量和每个参数的类型以及返回值的类型。当出现不匹配的情况时，编译器会把不匹配的实参或者返回值转换为正确的类型，当然前提是这样的转换必须是可行的。

#include <math.h> // pow函数声明在math头文件里
int result = pow ( 2 ,3 ) ; // pow返回值是double类型

2、函数的两种形式的声明或定义举例：

函数声明会告诉编译器函数名称及如何调用函数。函数的实际主体可以单独定义。

第一种

函数声明包括以下几个部分：

return_type function_name( parameter list );

针对上面定义的函数 max()，以下是函数声明：

int max(int num1, int num2);

在函数声明中，参数的名称并不重要，只有参数的类型是必需的，因此下面也是有效的声明：

int max(int, int);

当您在一个源文件中定义函数且在另一个文件中调用函数时，函数声明是必需的。在这种情况下，您应该在调用函数的文件顶部声明函数。

第二种

int max(int num1 , int num2){
	return num1 > num2 ? num1 : num2 ;
}

第二种函数原型即声明又定义。

warning

函数原型的危险方法。

void a(){
	int *func(int num2 , int *value) ;
}

void b(){
	int funv(int *value , int num2) ;
}

​ 观察一下这两个原型，就会发现他们不是一样的。参数的顺序倒了，返回类型不同。同时问题在于这两个函数原型都写于函数体的内部，它们都具有代码块作用域，所以编译器在每个函数结束前会把它记住的原型信息丢弃，这样它就无法发现它们之间不存在互相不匹配的情况。标准表示，在同一个代码块中，函数原型必须于同一个函数的任何先前原型匹配，否则编译器应该生成一条错误信息。再是在这个例子中，第1个代码块的作用域并不与第2个代码块重叠，因此，原型的不匹配并不会被检测到。

​ solution：

下面一段代码段说明了一种使用函数原型的更好方法：

														 /*making.c*/

#include "func.h"
void a(){
	...
}

void b(){
	...
}                     

													/*func.h*/

int *func (int *value , int len) ; // 文件func.h包含了func.h的函数原型

​ 从这几个方面来看，这个技巧比前一种方法更好。

1、现在函数原型具有文件作用域，所以原型的一份副本可以作用于整个源文件，较之在该函数每次调用单独写一份函数原型要容易得多。

2、现在函数原型只书写一次，这样就不会出现多份原型的副本之间不匹配的现象。

3、如果函数的定义进行了修改，我们只需要修改原型并重新编译所有包含了该原型的源文件即可。

4、如果函数的原型同时也被#include指令包含到定义函数的文件中，编译器就可以确认函数原型与函数的定义匹配。

3、实际操作

创建 C 函数时，会定义函数做什么，然后通过调用函数来完成已定义的任务。

当程序调用函数时，程序控制权会转移给被调用的函数。被调用的函数执行已定义的任务，当函数的返回语句被执行时，或到达函数的结束括号时，会把程序控制权交还给主程序。

调用函数时，传递所需参数，如果函数返回一个值，则可以存储返回值。例如：

#include <stdio.h>
 
/* 函数声明 */
int max(int num1, int num2);
 
int main ()
{
   /* 局部变量定义 */
   int a = 100;
   int b = 200;
   int ret;
 
   /* 调用函数来获取最大值 */
   ret = max(a, b);
 
   printf( "Max value is : %d\n", ret );
 
   return 0;
}
 
/* 函数返回两个数中较大的那个数 */
int max(int num1, int num2) 
{
   /* 局部变量声明 */
   int result;
 
   if (num1 > num2)
      result = num1;
   else
      result = num2;
 
   return result; 
}

把 max() 函数和 main() 函数放一块，编译源代码。当运行最后的可执行文件时，会产生下列结果

Max value is : 200

warning：

c语言不可以在函数内部定义函数，即使主函数中也不可以，C语言只允许在函数中声明和嵌套调用。C语言中是不允许作嵌套的函数定义。因此程序中各个函数之间是平行的，不存在上一级函数和下一级函数的问题，这样是为了简化C语言编译器的逻辑性。

4、函数的缺省认定

​ 当程序调用一个无法见到原型的函数时，编译器便认为该函数返回一个整形值。对于那些并不返回整形值的函数，这种认定可能会引起错误。

warning：

​ 所有函数都应该具有原型，尤其是那些返回值不是整形的函数。记住，值的类型并不是值的内在本质，而是取决于它被使用的方式。如果编译器认定函数返回一个整形值，它将产生整数指令操纵这个值。如果这个值实际上是个非整形值，比如说是个浮点值，其结果通常将是不正确的。

​ 让我们看一起这种错误的例子。假设有一个函数xyz，它返回浮点值3.14。在Sun Sparc 工作站中，用于表示这个浮点数的二进制位模式如下：

​ 01000000010010001111010111000011

​ 现在假定函数是这样被调用的

	float 	 f ;
	...
	f = xyz()

​ 如果在函数调用之前编译器无法看到它的原型，它变认定这个函数返回一个整形值，并产生指令将这个值转换为浮点值，然后在赋值给变量f。

​

五、函数参数

如果函数要使用参数，则必须声明接受参数值的变量。这些变量称为函数的形式参数。

形式参数就像函数内的其他局部变量，在进入函数时被创建，退出函数时被销毁。

当调用函数时，有两种向函数传递参数的方式：

调用类型	描述
传值调用	该方法把参数的实际值复制给函数的形式参数。在这种情况下，修改函数内的形式参数不会影响实际参数。
引用调用	通过指针传递方式，形参为指向实参地址的指针，当对形参的指向操作时，就相当于对实参本身进行的操作。

默认情况下，C 使用传值调用来传递参数。一般来说，这意味着函数内的代码不能改变用于调用函数的实际参数。