在下面文章主要介紹C++構造函數的相關問題,使用一個簡單的構造函數定義了名為 Taxi 的類,然後使用 new 運算符來實例化該類,在為新對象分配內存之後,new 運算符立即調用 Taxi 構造函數。
C++構造函數初始化列表以一個冒號開始,接著是以逗號分隔的數據成員列表,每個數據成員後面跟一個放在括號中的初始化式。例如:
- class CExample {
- public:
- int a;
- float b;
- //構造函數初始化列表
- CExample(): a(0),b(8.8)
- {}
- //構造函數內部賦值
- CExample()
- {
- a=0;
- b=8.8;
- }
- };
上面的例子中兩個構造函數的結果是一樣的。上面的C++構造函數使用初始化列表的構造函數)顯式的初始化類的成員;而沒使用初始化列表的構造函數是對類的成員賦值,並沒有進行顯式的初始化。
初始化和賦值對內置類型的成員沒有什麼大的區別,像上面的任一個構造函數都可以。對非內置類型成員變量,為了避免兩次構造,推薦使用類構造函數初始化列表。但有的時候必須用帶有初始化列表的構造函數:
- class CMyClass {
- CMyClass(int x, int y);
- int m_x;
- int m_y;
- };
- CMyClass::CMyClass(int x, int y) : m_y(y), m_x(m_y)
- {
- }
成員類型是沒有默認C++構造函數的類。若沒有提供顯示初始化式,則編譯器隱式使用成員類型的默認C++構造函數,若類沒有默認構造函數,則編譯器嘗試使用默認構造函數將會失敗。
結果上相同,但是性能上存在很大的差別。因為類類型的數據成員對象在進入函數體前已經構造完成,也就是說在成員初始化列表處進行構造對象的工作。調用構造函數,在進入函數體之後,進行的是對已經構造好的類對象的賦值,又調用個拷貝賦值操作符才能完成如果並未提供,則使用編譯器提供的默認按成員賦值行為。
你可能以為上面的代碼將會首先做m_y=I,然後做m_x=m_y,最後它們有相同的值。但是編譯器先初始化m_x,然後是m_y,,因為它們是按這樣的順序聲明的。結果是m_x將有一個不可預測的值。
有兩種方法避免它,一個是總是按照你希望它們被初始化的順序聲明成員,第二個是,如果你決定使用初始化列表,總是按照它們聲明的順序羅列這些成員。這將有助於消除混淆。