C和指针第七章——函数

一、函数定义：

         函数定义就是函数体的实现。函数体是一个代码块，它在函数被调用时执行。

        空函数： 实现一种有目的的存根目的，为那些此时尚未实现的代码保留一个位置。编写这类存根，或者说为尚未编写的代码“占好位置”，可以保持程序在结构上的完整性，以便于编写和测试程序的其他部分。

二、函数声明：

         函数声明出现在函数被调用的地方。

         如果没有关于调用函数的特定信息，编译器就假定在这个函数的调用时参数的类型和数量是正确的。它同时假定函数将会返回一个整数值。对于那些返回值并非整形的函数而言，这种隐式认定常常导致错误。

         函数原型：

                      函数原型的好处： 1、函数原型具有文件作用域，所以原型的一份拷贝可以作用于整个源文件。

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

                                                       3、如果函数的定义进行修改，只需修改原型，再重新编译。

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

         考虑下面这个声明，它看上去有些模糊：

          int    *fun()；

          它既可以看作是一个旧式风格的声明（只给出func函数的返回类型），也可以看作是一个没有参数的函数的新风格原型。它究竟是那一个呢？这个声明必须被解释为旧风格的

声明，目的是为了与ANSI标准之前的程序的兼容性。一个没有参数的函数原型应该写成下面这个样子：

          int    *fun( void );

         关键字void提示没有任何参数，而不是表示它有一个类型为void的参数。

         函数的缺省认定：当程序调用一个无法见到原型的函数时，编译器便认为该函数返回一个整形值。

         值的类型并不是值的内在本质，而是取决于它使用的方式。

         C和指针  例子：

                  xyz()函数的返回值是3.14

                  float     f = 3.14.

                  f = xyz();

                  如果编译器在函数调用之前无法看到它的原型，它便认定这个函数返回一个整形值，并把这个值转换为float类型，结果存储于变量f中。此时 f = 1078 523 331.

          为什么函数的返回值实际上已经是浮点值的形式时，还要执行类型转换呢？编译器并没有办法知道这个情况，因为没有原型或声明告诉它这个信息。  

三、函数的参数：

           C语言中函数所有的参数都是传值调用。函数获得的参数值的一份拷贝，可以放心修改这个值，不必担心会修改调用程序实际传递给它的参数。但是，如果被传递的参数是一个数组名，函数将访问调用程序的数组元素，数组并不会复制。这个行为被称为“传值调用”。

           为了访问调用程序的值，你必须向函数传递指向你希望修改的变量的指针。

           在声明数组参数时不指定它的长度是合法的，因为函数并不为数组元素分配内存。

四、可变参数列表：

           sadarg宏：

                  在头文件stdarg.h中声明了一个类型va_list和三个宏---------va_start、 va_arg和va_end。

            可变参数必须从头到尾按照顺序逐个访问。因为参数列表中的可变参数部分没有类型，所以，所偶可做为可变参数传递给函数的值都将执行缺省参数类型提升。

            这些宏的两个限制：

           1、这些宏无法判断实际存在参数的数量。

           2、这些宏无法判断每个参数的类型。

           要回答上面两个问题就必须使用命名参数。

           如果在va_arg中指定了错误的类型，那么其结果是不可预测的。