首先让我们看一段代码:
int main()
{
std::cout << "The sum of 3 and 4 is: " << add(3, 4) << std::endl;
return 0;
}
int add(int x, int y)
{
return x + y;
}
你希望得到的结果是:The sum of 3 and 4 is: 7
,但是事实上,它不会被编译通过。在XCode里你会看到这样的错误:Use of undeclared identifier 'add'
。
为什么会出现这样的错误呢?
原因是这样的:解析器是顺序读取文件的,也就是说,解析器会从上到下一行行的解析代码,当解析器读到add()这个函数的时候,我们还没有定义add()这个函数,所以解析器并不知道add是什么。
怎么解决这个问题呢?
一般来说,有两种办法解决上面的问题:
-
方法一 在main()之前定义add()函数,也就是说在调用add()的时候,mian()已经知道它是什么了。
int add(int x, int y)
{
return x + y;
}
int main()
{
std::cout << "The sum of 3 and 4 is: " << add(3, 4) << std::endl;
return 0;
}
这种解决办法比较简单,但是我们试想一下:如果我们写了两个函数A和B,并且A函数调用了B函数,同时B函数也调用了A函数,这种情况下到底谁定义在前面就比较尴尬了,先定义A函数,解析器就不知道B是什么,同样先定义B函数,解析器也不知道A是什么,那到底应该怎么做呢?让我们接着往下看。
-
方法二 使用前向声明
前向声明允许我们告诉解析器在函数定义函数体之前确定它的存在。
我们怎么为函数写一个前向声明呢?要想写一个前向声明,我们使用一个叫做函数原型的东西。那什么又是函数原型呢?函数原型由函数的返回值,函数名,以及形参构成,但是并不包括函数体(也就是花括号里面那一部分),因为函数原型是一个声明,所以要以分号结束。
int add(int x, int y); // add()函数的前向声明(使用了函数原型)
int main()
{
std::cout << "The sum of 3 and 4 is: " << add(3, 4) << std::endl; // 因为上面前向声明了add(),所以这里不会报错。
return 0;
}
int add(int x, int y) //尽管add()函数体到这里才被定义。
{
return x + y;
}