在C和C++中,声明和定义的概念经常容易混淆
在由多个文件构成的程序中,一个文件的函数可能经常需要访问来自于其他文件的函数或者变量,因此在编译过程中,编译器必须要知道另一些文件中有哪些函数和变量,尤其是它们的基本用法。因为编译器需要确保来自其他文件的数据也能被正确的使用而不是错误的使用带来不可预知的错误。
在c和c++中,有两种常见的和编译器交流的方式:定义(definition)和声明(declaration)。
告知编译器外部函数或变量的名称及类型,这一过程就是声明,声明过程中编译器不为程序员所声明的对象分配单元,只是让编译器知道怎样检查对声明对象的引用以确保不出错。
而定义的意思是,创建一个新的数据,告诉编译器,“我要在此处创建一个新的变量/函数”,不论程序员所分配的对象是变量或函数,编译器都会立即为该对象分配内存空间。(对于变量来说,编译器所分配的内存空间就是该变量的类型所占的字节数;而对于函数,编译器根据其函数体生成相应的代码,再通过其决定所划分的内存空间大小)。
值得一提的就是,在C和C++中,我们可以在多个地方声明相同的变量或函数,但定义只能进行一次。一旦出现了多个相同的定义,编译器将会毫不犹豫的报错。
下面我们来分情况讨论变量和函数的声明与定义的区别。
1.函数的定义和声明
变量的声明实质就是告知编译器该变量的外貌特征。正如前文所述,声明更像是在提醒编译器,这个变量在代码的某个地方出现过。比如下面这条语句:
<span style="white-space:pre"> </span>int x ;
这句话的本意是声明一个整型变量 x ,告知编译器有一个已存在的变量 x 。但同时,这行代码也有足够的信息使得编译器为变量 x 分配一块新的内存单元, 而事实上编译器也确实这么做了。由此可见,正常情况下,变量的声明很容易被当做定义被编译器执行,从而产生不可预知的错误。
幸运的是,在C++中,有一个特定的关键字用来修饰变量,告诉编译器“这里只是一个变量的声明,它的定义在其他的地方”。这个关键字就是extern,它表示该变量是在文件的后面或者是其他文件中定义的。
关键字extern 的用法是:
<span style="white-space:pre"> </span>extern int x ;
在变量定义前加关键字extern表示声明一个变量但不定义他。这个时候编译器不会为整型变量 x 分配单元,而是在代码的其他处寻找该变量的定义。
2.函数的生命和定义
函数的声明是给函数取名,并且指定函数的返回值类型以及参数类型。例如:
<span style="white-space:pre"> </span>int sum(int first , int second) ;
它表示声明了一个名为sum的函数,这个函数会返回一个整型变量,并且这个函数需要两个整型变量作为参数,这两个整型变量参数在该函数中分别被重新定义为整型变量first、整型变量second,最后的分号标志声明结束。
函数的定义方式类似于函数声明,但是区别在于,函数的定义需要函数体,否则编译器无法为该函数分配内存单元。函数体是一个用大括号围起来的代码集,用大括号表示这段代码的开始和结束。例如
<span style="white-space:pre"> </span><pre name="code" class="cpp">int sum(int first , int second)
{
return first + second ;
}
在这段代码中,表示了一个名为sum的函数的定义,它的功能是返回两个整型变量first、second相加的和。并且在函数的定义中,大括号代替分毫的作用,因为大括号表示的是一个语句集。
而有趣的是,extern也可以用于函数的声明。例如:
extern int sum(int first , int second) ;
关键字extern在修饰变量时非常有效,但遗憾的是,extern对函数来说却是非常多余的。其原因很简单,如果在与语句中出现了函数体,编译器必定会将它视作函数的定义;反之,如果没有出现函数体,编译器也必定会将它视作函数的定义,extern便失去了意义
以上是code::blocks上的测试结果,在函数的定义中,即便加上了extern,编译器识别到函数体之后也会自动的将其视为函数定义。