先来个一句话的总结:声明不分配存储空间,定义分配存储空间。
Terminology
声明——declaration
定义——defination
如何在代码和参考书中区分这两种情况,下面详细举例说明
声明(declaration)
extern T v;
声明是用来告诉程序存在一个类型T的变量v,其中T是一个类型,v是变量名字,但是并不分配存储空间。用关键字extern声明表明语句是一个声明。声明语句若给出变量的初始化值(initializer),其效果会被当作一个定义。
声明的时候如果包含初始值,则只能放在函数的外部。
定义(defination)
T v;
T v=;
定义用来在程序中分配一段存储空间,并指出这段空间的类型及名字。一个名字只能有一份对应的存储空间,因此上在一个程序中同一个变量只能定义一次。定义可以给出初始值,也可以不给出。
在c/c++的程序中,一个程序往往由多个源文件和头文件构成,在多个源文件中要访问同一个变量就可以在某一个文件中定义该变量,然后在其他用到该变量的文件中写上该变量的声明语句。
下面举例阐述。
例:
extern int i; // declaration
extern std::string s; // declaration
extern int n = 5; // defination
int i; // defination
int m = 6; // defination
int n = 7; // error. re-defination
行1声明了一个int型变量i;
行2声明了一个std::string型的变量s;
行3尽管存在extern关键字,但是因为给出了初始化值,因此上extern关键字被忽略,仍然是定义语句,定义了int变量n,并且给出了初始值5;
行4定义了int型变量i, 但未给出初始化值;
行5定义了int型变量m,并初始化为6;
行6是定义语句,但是因为第三行已经定义了n,因此上不能定义第二次,所以该句存在重复定义的错误。