以下摘自C++ primer
声明和定义
变量的定义用于为变量分配存储空间,还可以为变量指定初始值。在一个程序中,变量有且仅有一个定义。
声明用于向程序表明变量的类型和名字。定义也是声明:当定义变量时我们声明了它的类型和名字。可以通过extern关键字声明变量而不定义它。不定义变量的声明包括对象名、对象类型和对象类型前的关键字extern:
extern int i; //declares but dose not define i
int i; //declares and defines i
extern 声明不是定义,也不分配存储空间。事实上,它只是说明变量定义在程序的其他地方。程序中变量可以声明多次,但只能定义一次。
只有当声明也是定义时,声明才可以有初始化式,因为只有定义才分配存储空间。初始化必须要有存储空间来进行初始化。如果声明有初始化式,那么它可以被当成是定义,即使声明标记为extern:
extern double pi = 3.1416; //definition
虽然使用了extern,但这条语句还是定义了pi,分配并且初始化了存储空间。只有当extern声明位于函数外部时才可以含有初始化式。
因为已初始化的extern声明被当做是定义,所以该变量任何随后的定义都是错误的:
extern double pi = 3.1416; // definition
double pi; // error: redefinition of pi
同样,随后的含有初始化式的extern声明也是错误的:
extern double pi = 3.1416; // definition
extern double pi; // ok:declaration not definition
extern double pi = 3.1416; // error: redefinition of pi
在C++语言中,变量必须且仅能定义一次,而且在使用变量之前必须定义或声明变量。