C++函数原型

函数原型即在调用某个函数前，需事先声明的一条语句，它和函数定义的头部一致，参数变量名可以省略。

首先说一下C++函数是如何返回值的。通常，函数通过将返回值复制到指定的cpu寄存器或内存单元中。然后调用程序或调用函数(是指调用了该函数的函数)将查看该内存单元。函数原型将返回值类型告知调用程序，而函数定义确定具体返回值的类型，显然这两者应该保持一致。

为什么需要原型

原型描述了函数到编译器的接口，它将函数的返回值类型，参数的数量和类型告诉编译器。函数原型声明语句中会指定函数的参数类型和数量，例如：

int fun(int a);

如果在之后调用该函数，参数和原型中的参数不一致时，编译器能捕获这种错误。fun()函数完成计算后，将返回值放在指定的位置，可能是cpu寄存器或者内存中。然后调用函数将查看这个位置，取得返回值。原型指出了函数的返回值类型，因此编译器知道应检索多少个字节来解释该位置的值。

原型的语法

原型的语法可以和函数定义的头部一致，参数变量名可以省略。

#include<bits/stdc++.h>
using namespace std;

int main()
{
    void print();  //函数原型
    print();
    void fun(int a);  //原型中的参数变量名a可以省略，a仅代表占位符
    fun(1);

    return 0;
}

void print()  //函数定义
{
    cout<<"Hello World!"<<endl;
}

void fun(int a)
{
    cout<<a<<endl;
}

原型的功能

C++中提供原型之后，当调用函数参数类型不匹配时，会自动类型转换，将传递的值转换成原型中指定的类型。但自动类型转换并不能避免所有可能的错误。仅当有意义时，原型化才会导致类型转换，例如，原型不会将整数转换为结构或指针。在编译阶段进行的原型化被称为静态类型检查。