变量声明和定义的关系

Posted 2020-09-19 浅浅念

　　为了允许把程序拆分成多个逻辑部分来编写，C++语言支持分离式编译机制，该机制允许将程序分割成若干个文件，每个文件可以被独立翻译

　　如果将程序分为多个文件，则需要有在文件间共享代码的方法。例如，一个文件的代码可能需要使用另一个文件中定义的变量。一个实际的例子是std::cout和std::cin,它们定义于标准库，却能被我们写的程序使用

　　为了支持分离式编译，C++语言将声明和定义区分开。声明使得名字被程序所知，一个文件如果想使用别处定义的名字则必须包含对那个名字的声明。而定义负责创建与名字关联的实体

　　变量声明规定了变量的类型和名字，在这一点上定义与之相同。但是除此之外，定义还申请存储空间，也可能会为变量赋一个初值

　　如果想声明一个变量而非定义它，就在变量名前添加关键字extern，而且不要显示地初始化变量：

　　extern int j；　　// 声明j而非定义j

　　int j；　　　　　// 声明并定义j，定义会分配空间，而声明不会

　　任何包含了显示初始化的声明即成为定义。我们能给extern关键字标记的变量赋一个初始值，但是这么做也就抵消了extern的作用。extern语句如果包含初始值就不再是声明，而变成定义了

　　extern double pi = 3.1416；　　//定义

　　在函数体内部，如果试图初始化一个由extern关键字标记的变量，将引发错误。

　　变量能且只能被定义一次，但是可以被多次声明。

　　声明和定义的区别看起来也许微不足道，但实际上却非常重要。如果要在多个文件中使用同一个变量，就必须在声明和定义分离。此时，变量的定义必须出现在且只能出现在一个文件中，而其他用到该变量的文件必须对其进行声明，却绝对不能重复定义。