C++語言中必須使用【初始化列表】初始化數據成員的三種狀況

類對象的構造順序是這樣的：

1.分配內存，調用構造函數時，隱式／顯示的初始化各數據成員；

2.進入構造函數後在構造函數中執行通常賦值與計算。

使用初始化列表有兩個緣由：

緣由1.必須這樣作：

《C++ Primer》中提到在如下三種狀況下須要使用初始化成員列表：

狀況1、須要初始化的數據成員是對象的狀況(這裏包含了繼承狀況下，經過顯示調用父類的構造函數對父類數據成員進行初始化)；

狀況2、須要初始化const修飾的類成員或初始化引用成員數據；

狀況3、子類初始化父類的私有成員；

• 狀況一的說明：數據成員是對象，而且這個對象只有含參數的構造函數，沒有無參數的構造函數；

若是咱們有一個類成員，它自己是一個類或者是一個結構，並且這個成員它只有一個帶參數的構造函數，而沒有默認構造函數，這時要對這個類成員進行初始化，就必須調用這個類成員的帶參數的構造函數，若是沒有初始化列表，那麼他將沒法完成第一步，就會報錯。

舉個栗子：

#include <iostream>
using namespace std;

class Test
{
 public:
    Test (int, int, int)
    {
        cout <<"Test" << endl;
    };
 private:
    int x;
    int y;
    int z;
};
class Mytest
{
 public:
    Mytest():test(1,2,3)
    {
        //初始化  
        cout << "Mytest" << endl;
    };
private:
    Test test; //聲明  
}; 
int main()
{
    Mytest test;
    return 0;
}

① 若是沒有mytest():test(1,2,3){}初始化列表就會報錯：

由於Test有了顯示的帶參數的構造函數，那麼他是沒法依靠編譯器生成無參構造函數的，因此沒有三個int型數據，就沒法建立Test的對象。Test類對象是MyTest的成員，想要初始化這個對象test，那就只能用成員初始化列表，沒有其餘辦法將參數傳遞給Test類構造函數。

②初始化列表在構造函數執行前執行(這個能夠看上面的結果，對同一個變量在初始化列表和構造函數中分別初始化，首先執行參數列表，後在函數體內賦值，後者會覆蓋前者)。

• 狀況二的說明：對象引用或者cosnt修飾的數據成員
  當類成員中含有一個const對象時，或者是一個引用時，他們也必需要經過成員初始化列表進行初始化，由於這兩種對象要在聲明後立刻初始化，而在構造函數中，作的是對他們的賦值，這樣是不被容許的。
  舉個栗子：

#include <iostream>
using namespace std;
// const 
class Test 
{  
 priate:  
    const int a;             //const成員聲明  
 public:  
    Test():a(10){}           //初始化  
};   
// 引用 
class Test  
{  
 private:  
     int &a;                        //聲明  
 public:  
     Test(int a):a(a){}        //初始化  
}

• 狀況三的說明：子類初始化父類的私有成員，須要在(而且也只能在)參數初始化列表中顯示調用父類的構造函數：
  舉個栗子：

#include <iostream>
using namespace std;
class Test{
public:
    Test(){ cout << "111111111";};
    Test (int x){ int_x = x;};
    void show(){cout<< int_x << endl;}
private:
    int int_x;
};
class Mytest:public Test{
public:
    Mytest() :Test(110)
    {
        // 構造函數只能在初始化列表中被顯示調用(若是不顯示初始化，默認調用默認構造函數)，不能在構造函數內部被顯示調用
        // 內部調用的是臨時變量
        //Test(110);            
    };
}; 
int main()
{
 Test *p = new Mytest();
 p->show();
 return 0;
}

結果：若是在構造函數內部被顯示調用輸出結果是：-842150451（緣由是這裏調用了無參構造函數）；

            若是在初始化列表中被顯示調用輸出結果是：110

緣由2.效率要求這樣作：

     類對象的構造順序顯示，進入構造函數體後，進行的是計算，是對成員變量的賦值操做，顯然，賦值和初始化是不一樣的，這樣就體現出了效率差別，若是不用成員初始化類表，那麼類對本身的類成員分別進行的是一次隱式的默認構造函數的調用，和一次賦值操做符的調用，若是是類對象，這樣作效率就得不到保障。

注意：構造函數須要初始化的數據成員，不管是否顯示的出如今構造函數的成員初始化列表中，都會在該處完成初始化，而且初始化的順序和其在類中聲明時的順序是一致的，與列表的前後順序無關，因此要特別注意，保證二者順序一致才能真正保證其效率和準確性。

爲了說明清楚，假設有這樣一個類：

class foo
{
 private:
   int a, b;
};

①、foo(){}和foo(int i = 0){}都被認爲是默認構造函數，由於後者是默認參數。二者不能同時出現。

②構造函數列表的初始化方式不是按照列表的的順序，而是按照變量聲明的順序。好比foo裏面，a在b以前，那麼會先構造a再構造b。因此不管foo():a(b + 1), b(2){}仍是foo():b(2),a(b+1){}都不會讓a獲得指望的值。

③構造函數列表可以對const成員初始化。好比foo裏面有一個int const c;則foo(int x) : c(x){}可讓c值賦成x。

  不過須要注意的是，c必須在每一個構造函數（若是有多個）都有值。

④在繼承裏面，只有初始化列表能夠構造父類的private成員(經過顯示調用父類的構造函數)。好比說：

class child : public foo{};

foo裏面的構造函數是這樣寫的:

foo (int x)
{
  a =x;
}

而在child裏面寫child(int x){ foo(x); }是經過不了編譯的。

只有把子類構造函數寫做child(int x) : foo(x){}才能夠。

原文連接：https://blog.csdn.net/sinat_20265495/article/details/53670644