c++ Premier 学习笔记（unit2 变量和基本类型 -声明与定义

（因为是学习笔记，很多地方直接从书上敲下来，所以归到转载这一类

变量的声明和定义的关系

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

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

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

       extern int i;    //声明i而非定义i

       int j;               //声明并定义j

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

       extern double pi=3.1416；//定义

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

 

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

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

 

关键概念：

       C++是一种静态类型（staticallytyped）语言，其含义是在编译阶段检查类型。其中，检查类型的过程称为类型检查（type checking）。

       我们已经知道，对象的类型决定了对象所能参与的运算。在C++语言中，编译器负责检查数据类型是否支持要执行的运算，如果试图执行类型不支持的运算，编译器将报错并且不会生成可执行文件。

       程序越复杂，静态类型检查越有助于发现问题。然而，前提是编译器必须知道每一个实体对象的类型，这就要求我们在使用某个变量之前必须声明其类型。