C++函数原型和函数调用

例子

先看一个例子：

为什么需要原型

原型描述了函数到编译器的接口，也就是说，它将函数返回值的类型(如果有的话)以及参数的类型和数量告诉编译器。
例如，请看原型将如何影响程序清单 7.2 中下述函数调用:

double volume = cube(side);

原型可以告诉编译器函数的定义

首先，原型告诉编译器，cube()有一个 double 参数。如果程序没有提供这样的参数，原型将让编译器能够捕获这种错误。其次，cube()函数完成计算后，将把返回值放置在指定的位置一一可能是 CPU 寄存器也可能是内存中。然后调用函数 (这里为 main))将从这个位置取得返回值。由于原型指出了 cube()的类型为 double，因此编译器知道应检索多少个字节以及如何解释它们。如果没有这些信息，编译器将只能进行猜测，而编译器是不会这样做的。

编译器可以不使用原型吗？

为何编译器需要原型，难道它就不能在文件中进一步查找，以了解函数是如何定义的吗?

1.效率不高

这种方法的一个问题是效率不高。编译器在搜索文件的剩余部分时将必须停止对 main()的编译。

2.函数可能并不在文件中

一个更严重的问题是，函数甚至可能并不在文件中。C++允许将一个程序放在多个文件中，单独编译这些文件，然后再将它们组合起来。在这种情况下，编译器在编译 main()时，可能无权访问函数代码。如果函数位于库中，情况也将如此。

避免使用函数原型的唯一方法是，在首次使用函数之前定义它，但这并不总是可行的。 另外，C++的编程风格是将
main()放在最前面，因为它通常提供了程序的整体结构。

原型的语法

函数原型是一条语句，因此必须以分号结束。获得原型最简单的方法是，复制函数定义中的函数头，并添加分号。对于 cube()，程序清单7.2中的程序正是这样做的:

double cube(double x); // add ; to header to get prototype

然而，函数原型不要求提供变量名，有类型列表就足够了。对于 cheer()的原型，该程序只提供了参数类型:

void cheers(int); // okay to drop variable names in prototype

通常，在原型的参数列表中，可以包括变量名，也可以不包括。原型中的变量名相当于占位符，因此不必与函数定义中的变量名相同。

原型的功能

正如您看到的，原型可以帮助编译器完成许多工作;但它对程序员有什么帮助呢?它们可以极大地降
低程序出错的几率。具体来说，原型确保以下几点:

• 编译器正确处理函数返回值;
• 编译器检查使用的参数数目是否正确:
• 编译器检查使用的参数类型是否正确。如果不正确，则转换为正确的类型(如果可能的话)。

参考

– 《C++ PRIMER PLUS》