“函数声明”、“函数原型”与“函数定义”辨析

    对函数的“定义”和“声明”不是一回事。函数的定义是指对函数功能的确立，包括指定函数名，函数值类型、形参及其类型以及函数体等，它是一个完整的、独立的函数单位。而函数的声明的作用则是把函数的名字，函数类型以及形参的类型、个数和顺序通知编译系统，以便在调用该函数时进行对照检查（例如，函数名是否正确，实参与形参的类型和个数是否一致），它不包括函数体。
————谭浩强 ，《C程序设计》（第四版），清华大学出版社，2010年6月，p182
    这段论述包含了许多概念性错误，这些概念错误在许多C语言书中都同样普遍存在。为了说明这些错误，首先来回顾一下C语言演变和发展的一些情况。
    最早，C语言的代码可以这样写：

main()
{
  printf("hello,world!\n");
}

    注意，这段代码对标识符printf没有进行任何说明。这是因为printf()函数的返回值为int类型。当时的C语言规定，对于没有任何说明的函数名，编译器会默认为返回值为int类型，因此对这样的函数名可以不做任何说明。那个时期的C语言，很多情况下int可以不写。例如main()函数返回值的类型为int就可以不写。
    但是需要特别说明的是，这种“省劲”的写法已经过时，从C90标准起，这种写法就步入了被逐步抛弃的过程（尽管当时还没有完全立即废止）。C99废除了隐式函数声明法则（remove implicit function declaration），另外，省略main()前面的int也已经不再容许了。
    在C语言早期，尽管有时不需要对函数名进行说明，但有些情况下对函数名进行说明还是必须的，比如：

double sqrt();
int main()
{
  printf("%f\n" , sqrt(9.) );
}

    这是因为函数sqrt()返回值的类型不是int类型而是double类型，编译器编译时需要知道sqrt(9.)这个表达式的类型。
    不难注意到这种对函数名的说明非常简单，这是最早期的一种函数类型说明的形式。这种说明只着重说明函数名是一个函数及其返回值类型，如果程序员在调用函数时存在参数类型或个数方面的错误编译器是无法察觉的，因为函数类型说明中“()”内没有任何信息。
    这种办法只说明了函数名与()进行运算的结果也就是函数返回值的数据类型，无法进一步检查参数方面的错误是这种写法的不足之处。
    如果不写函数类型说明，也可以把函数定义写在函数调用之前：

double square ( double x)
{
   return x * x ;
}
int main(void)
{
  printf("%f\n" , square(3.) );
  return 0;
}

    这表明函数定义也具有对函数名的类型加以说明的效果，因此从这个意义上来说，函数定义也是一种对函数类型的说明。这种办法可以检查出函数调用时在参数个数和类型方面的错误。
    但是，用这种办法说明函数名并不好，因为这样做在编程时还需要考虑应该把哪个函数定义写在前面，哪个写在后面的问题。假如函数A调用函数B，函数B调用函数C，函数C又调用函数A，究竟如何安排函数定义的顺序就会让人感到无所适从。此外这种办法也不利于代码的组织，在由多个源文件组成的源程序时，这种写法就更会捉襟见肘、漏洞百出。因此，在1990年，C标准借鉴C++语言规定了一种新的说明函数名的方法，这就是函数原型（Function Propotype）式说明函数类型的方法：

double square ( double ); //或 double square ( double x)
int main(void)
{
  printf("%f\n" , square(3.) );
    return 0;
}
double square ( double x)
{
   return x * x ;
}

    使用这种办法，不但可以检查函数调用时参数类型和个数方面的错误，同时解决了源代码的组织问题，因为程序员不必再考虑该把哪个函数写在前面、哪个写在后面这种无聊的问题了。这种办法全面地说明了函数名的数据类型。此外要说明的是，把形参及其数据类型写在“()”内形式的函数定义也属于函数原型（Function Propotype）的范畴。
    由此可见，古老的、不对参数进行任何说明的函数类型说明方式、函数定义以及函数原型式的函数类型说明方式都具有说明函数名意义的效用。从这个意义上讲它们都是函数声明。在C语言中，声明（Declaration）这个词的本义就是指定标识符的意义和性质（A declaration specifies the interpretation and attributes of a set of identifiers.），某个标识符的定义（Definition）同时也是这个标志符的“声明”（Declaration）。函数定义（Function definition）则意指包括函数体。(A definition of an identifier is a declaration for that identifier that: ……for a function, includes the function body;)。函数原型则特指包括说明参数类型的函数声明，它同样包含用这种方式写出的函数定义。
    现在回过头来看样本中的第一句话：“对函数的“定义”和“声明”不是一回事”。由于函数定义本身就是一种函数声明，怎么可以说它们不是一回事呢？这句话的逻辑就如同说“男人”和“人”不是一回事。你可以说男人和女人不是一回事，因为他们没有交集。但没法说男人和人不是一回事，因为男人是人的子集，男人就是人的一种，怎么可以说男人和人不是一回事呢？
    那么，不带函数体的函数声明应该如何称呼呢？在C语言中，它们叫被做“函数类型声明”（Function type declaration）。函数类型声明最主要的特点是声明了函数名是一个函数及其返回值的类型，如果也声明了参数的类型，则是函数原型式的函数类型声明。
    样本中的“而函数的声明的作用则是把函数的名字，函数类型以及形参的类型、个数和顺序通知编译系统，以便在调用该函数时进行对照检查（例如，函数名是否正确，实参与形参的类型和个数是否一致），它不包括函数体”这句话同样不通。其主要错误是它混淆了“函数原型式类型声明”与“函数声明”这两个概念，前一个概念只是后一个概念的子集。函数声明中不但包含“函数类型声明”，也包含“函数定义”和老式的“函数类型声明”。由于函数定义本身就是一种函数声明，所以无法断定函数的声明是否包括函数体；而且老式的函数类型声明（例如double sqrt();）也属于函数声明，这种函数声明并不检查参数类型及个数方面的错误。此外函数声明也并没有检查“函数名”正确与否的功能。
    这段文字中的“函数类型”这个概念也有错误，函数类型所描述的不但包括函数返回值类型，也可能一并描述参数的个数和类型（如果是函数原型），因此不能与“形参的类型、个数”相提并论。
    现代的C语言的函数定义和函数类型声明都采用函数原型式的风格，C99把旧的非原型形式视为过时，这意味着非原型形式以后可能被禁止。