一文搞懂声明与定义，初始化与赋值的区别

学了将近5个月的C和C++，一直不曾弄懂声明与定义，初始化和赋值的详细区别，直到今天才有所顿悟。

 声明与定义的区别：

• 声明分为引用型声明与定义型声明。前者是声明外部变量，如 extern int a，不会为变量分配内存。后者是在声明一个新变量并分配内存，如 int a; 只不过全局变量会默认初始化为0，而局部变量仍然是内存中的垃圾值。
• 定义为变量分配内存空间，等价于定义型声明。

很多地方直接将声明和定义的区别解释为：

声明就是 int a;  定义就是 int a = 1;

声明不会分配内存，而定义会分配内存 或者定义=声明+初始化

以上解释漏洞很明显，全局变量的声明 int a;   a直接就被初始化为0了，如果不分配内存，哪来的值？

实际上，在C++中仅仅声明而不初始化的行为是未定义的(编译器不同，导致的结果也可能不同)。声明一个类对象而不初始化：string str ; str的default构造函数将为其初始化为空字符串"" ，而若声明一个基本数据类型如int：int a;  则a的值取决于编译器如何处理。

故而：声明变量或对象时，务必同时初始化！ 

初始化与赋值的区别： 

• 初始化是在给变量分配内存时赋予初值。而赋值则是定义以后用到该变量时，赋予该变量新的值。比如const常量，只能初始化，而不能赋值；

顺便提出一个常见误区：

C++中，类成员变量初始化的真正场所并不是在构造函数体内！实际上是在构造函数被调用后，进入函数体内之前的某个时刻就隐式地完成了初始化(如string成员变量调用自身的构造函数)。那么如何显式地对成员进行初始化而不是赋值呢(这点对const成员很重要，其只能初始化而不能赋值)？答案便是：成员初始化列表。利用它，我们就可以对成员变量进行初始化。详见Effective C++