定义和声明的区别和联系

一、定义的概述
　　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