构造函数的初始化列表

首先，运行下图中的C++代码，输出是什么？

[cpp]  view plain  copy

1. class A  
2. {  
3. private:  
4.     int n1;  
5.     int n2;  
6. public:  
7.     A(): n2(0) , n1(n2 + 2)  
8.     {  
9.     }  
10.     void Print()  
11.     {  
12.         cout<<"n1:"<<n1<<",n2:"<<n2<<endl;  
13.     }  
14. };  
15. int main(void)  
16. {  
17.     A a;  
18.     a.Print();  
19.     return 0;  
20. }  

        答案：输出n1是一个随机的数字，n2为0。在C++中，成员变量的初始化顺序与变量在类型中的声明顺序相同，而与它们在构造函数的初始化列表中的顺序无关。因此在这道题中，会首先初始化n1，而初始n1的参数n2还没有初始化，是一个随机值，因此n1就是一个随机值。初始化n2时，根据参数0对其初始化，故n2=0。
         构造函数的初始化列表仅仅指定用于初始化成员的值，并不指定这些初始化执行的次序。成员初始化的次序就是定义成员的次序，第一个成员首先被初始化，然后是第二个，依次类推。也就是说，C++编译器很容易得到构造函数的参数列表，获取参数，然后根据成员变量的声明顺序初始化成员变量（这是因为，后声明的变量有可能依赖先声明的成员变量，因此要有先声明先初始化，后声明的后初始化）。
         大家可能看到这里就会觉得，好麻烦啊，当类中的一个数据成员是根据其他数据成员而初始化的时候，初始化列表的次序不能跟成员变量的声明次序不一致，否则会出现不可预料的错误。
    的确是这样的，所以有人就会想到，我干脆把初始化列表的那些操作都放到构造函数的函数体内对数据成员进行赋值操作就行了，的确这样做是可以的，但是 有时构造函数的初始化列表是必须的。
    有些数据成员必须在构造函数初始化列表中进行初始化。对于这样的成员，在构造函数体内对它们赋值是不起作用的。没有默认构造函数的类类型的成员，以及const类型的成员变量和引用类型的成员变量，不管是哪种类型，都必须在构造函数初始化列表中进行初始化。
    例如，下面的构造函数定义就是错误的：

[cpp]  view plain  copy

1. class A  
2. {  
3. private:  
4.     int i;  
5.     const int j;  
6.     int &k;  
7. public:  
8.     A(int ii)  
9.     {  
10.         i = ii;  
11.         j = ii;  
12.         k = ii;  
13.     }  
14. };  

       记住，可以初始化 const 对象或引用类型的对象，但不能对它们赋值。在开始执行构造函数的函数体之前，要完成初始化，初始化 const 或引用类型的数据成员的唯一机会就是在构造函数的初始化列表中。
      例如，下面的构造函数定义就是正确的：

[cpp]  view plain  copy

1. class A  
2. {  
3. private:  
4.     int i;  
5.     const int j;  
6.     int &k;  
7. public:  
8.     A(int ii) : i(ii) , j(i) , k(ii)  
9.     {  
10.     }  
11.   
12.     A() : j(0) , k(i)  
13.     { }  
14. };  
15.   
16. int main(void)  
17. {  
18.     A a;  
19.     return 0;  
20. }