一、定义的概述
1. 变量的定义用于为变量分配存储空间,还可以为变量指定初始值。 (在一个程序中,变量有且仅有一个定义。)
2. 声明用于向程序表明变量的类型和名字。(程序中变量可以声明多次。)
3. 定义也是声明 —— 当定义变量的同时,我们也就声明了它的类型和名字。
二、extern关键字
1. extern 声明变量而不定义它,也不分配存储空间。(事实上,它只是说明变量定义在程序的其他地方。)
2. 不定义变量的声明包括对象名、对象类型和对象类型前的关键字extern:
extern int i; // declares but does not define i
int i; // declares and defines i
3. 只有当声明也是定义时,声明才可以有初始化式,因为只有定义才分配存储空间。
4. 如果声明有初始化式,那么即使声明标记为 extern,它仍然被当作是定义:
extern double pi = 3.1416; // 虽然使用了 extern ,但是这条语句还是定义了 pi,分配并初始化了存储空间。
(PS:只有当 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