C语言学习之函数

函数定义：

函数体就是一个代码块，它在函数调用时执行。函数声明出现在函数被调用的地方，它的作用是向编译器提供函数的相关信息，确保函数被正确地调用。

函数定义的语法如下：

类型

函数名（形式参数）

代码块

return 语句允许从函数体的任何位置返回，并不一定要在函数体的末尾，语法为： return expression,其中expression是可选的。

函数声明：

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

第二种向编译器提供函数信息的方法是使用函数原型。使用原型最方便且最安全的方法是将原型置于一个单独的文件，如果其他源文件需要这个函数的原型，就使用 #include 指令包含该文件。

编译器见过函数原型之后，就可以检查该函数的调用，确保参数正确返回且返回值无误。当出现不匹配的情况时（例如参数的类型错误），编译器会把不匹配的实参或返回值转换为正确的类型，当然前提是这样的转换必须时可行的。当采取第二种#include 头文件的方式进行函数声明时，如果函数的定义进行了修改，我们只需要修改原型，并重新编译包含了该原型的源文件即可。

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

函数的参数：

C的规则很简单：所有参数都是传值调用。

        传递给函数参数的标量参数是传值调用的；

        传递给函数的数组参数在行为上就像它们是通过传址调用的那样。

传值调用，这就意味着函数将获得参数值的一份拷贝，这样，函数可以放心修改这个拷贝值，而不担心会修改调用程序实际传递给它的参数。

数组参数的值是一个指针，下标引用实际上是对这个指针执行间接访问操作。声明数组参数时不指定它的参数时合法的，因为函数并不为数组元素分配内存。

函数原型告诉编译器函数的参数数量和每个参数的类型以及返回值的类型。编译器根据函数原型检查该函数的调用，当出现不匹配的情况时，编译器会把不匹配的实参或返回值转换成正确的类型。

递归函数：递归函数调用将涉及一些运行时开销-----参数必须压到堆栈中，为局部变量分配内存空间，寄存器的值必须保存等。当递归函数的每次调用返回时，上述这些操作必须还原，恢复成原来的样子。