先總結下:
由於類成員初始化總在構造函數執行之前
1)從必要性:
a. 成員是類或結構,且構造函數帶參數:成員初始化時無法調用缺省(無參)構造函數
b. 成員是常量或引用:成員無法賦值,只能被初始化
2)從效率上:
如果在類構造函數里賦值:在成員初始化時會調用一次其默認的構造函數,在類構造函數里又會調用一次成員的構造函數再賦值
如果在類構造函數使用初始化列表:僅在初始化列表里調用一次成員的構造函數並賦值
CMyClass::CMyClass() { // 使用賦值操作符 // CString::operator=(LPCTSTR); m_str = _T( "yada yada "); } //使用類成員列表 // and constructor CString::CString(LPCTSTR) CMyClass::CMyClass() : m_str(_T( "yada yada ")) { }
在 它們之間有什么不同嗎?是的。編譯器總是確保所有成員對象在構造函數體執行之前初始化,因此在第一個例子中編譯的代碼將調用CString:: Cstring來初始化m_str,這在控制到達賦值語句前完成。在第二個例子中編譯器產生一個對CString:: CString(LPCTSTR)的調用並將 "yada yada "傳遞給這個函數。結果是在第一個例子中調用了兩個Cstring函數(構造函數和賦值操作符),而在第二個例子中只調用了一個函數。在 Cstring的例子里這是無所謂的,因為缺省構造函數是內聯的,Cstring只是在需要時為字符串分配內存(即,當你實際賦值時)。但是,一般而言, 重復的函數調用是浪費資源的,尤其是當構造函數和賦值操作符分配內存的時候。在一些大的類里面,你可能擁有一個構造函數和一個賦值操作符都要調用同一個負 責分配大量內存空間的Init函數。在這種情況下,你必須使用初始化列表,以避免不要的分配兩次內存。在內部類型如ints或者longs或者其它沒有構 造函數的類型下,在初始化列表和在構造函數體內賦值這兩種方法沒有性能上的差別。不管用那一種方法,都只會有一次賦值發生。
當考慮初始化列表的問題時,有一個奇怪的特性應該注意,它是關於C++初始化類成員的,它們是按照聲 明的順序初始化的,而不是按照出現在初始化列表中的順序。
class CMyClass { CMyClass(int x, int y); int m_x; int m_y; }; CMyClass::CMyClass(int i) : m_y(i), m_x(m_y) { }
你 可能以為上面的代碼將會首先做m_y=I,然后做m_x=m_y,最后它們有相同的值。但是編譯器先初始化m_x,然后是m_y,,因為它們是按這樣的順 序聲明的。結果是m_x將有一個不可預測的值。我的例子設計來說明這一點,然而這種bug會更加自然的出現。有兩種方法避免它,一個是總是按照你希望它們 被初始化的順序聲明成員,第二個是,如果你決定使用初始化列表,總是按照它們聲明的順序羅列這些成員。這將有助於消除混淆。
很多的人對中構造函數寢初始化很多的困惑,對冒號后初始化不是太明白,總搞不清楚它們之間的區別,我想把我對這個問題的理解和看法和大家討論討 論。
在程序中定義變量並初始化的機制中,有兩種形式,一個是我們傳統的初始化的形式,即賦值運算符賦值,還有一種是括號賦值,如:
int a=10;
char b='r';\\賦值運算符賦值
int a(10);\
char b('r');\\括號賦值
以上定義並初始化的形式是正確的,可以通過編譯,但括號賦值只能在變量定義並初始化中,不能用在變量定義后再賦值,這是和賦值運算符賦值的不同之處,如:
(1)
int a; \\先定義一個變量
......
a=10; \\根據需要賦值
(2)
int b; \\先定義一個變量
......
b(10); \\和(1)一樣根據需要賦值
(1)是可以用通過編譯,定義一個變量a但並沒有初始化,在需要變量a的時候,通過賦值運算符把10賦給a,而在(2)中,是通過括號把10賦值給b,但 編譯系統認為
這是一個函數的調用,函數名為b,10為實際參數,所以編譯錯誤。因此,括號賦值只用在定義變量並初始化中。
現在我們來看構造函數中冒號初始化和函數初始化的問題,類構造函數的作用是創建一個類的對象時,調用它來構造這個類對象的數據成員,一要給出此數據成員分 配內存空間,二是要給函數數據成員初始化,構造數據成員是按數據成員在類中聲明的順序進行構造。
冒號初始化與函數體初始化的區別在於:
冒號初始化是給數據成員分配內存空間時就進行初始化,就是說分配一個數據成員只要冒號后有此數據成員的賦值表達式(此表達式必須是括號賦值表達式),那么 分配了內存空間后在進入函數體之前給數據成員賦值,就是說初始化這個數據成員此時函數體還未執行。
對於在函數中初始化,是在所有的數據成員被分配內存空間后才進行的。
這樣是有好處的,有的數據成員需要在構造函數調入之后函數體執行之前就進行初始化如引用數據成員,常量數據成員和對象數據成員,看下面的一段程序:
class student {public : student () protected: const int a; int &b; } student ::student (int i,int j) { a=i; b=j; }
在Student類中有兩個數據成員,一個是常量數據成員,一個是引用數據成員,並且在構造函數中初始化了這兩個數據成員,但是這並不能通過編譯,因為常 量初始化時必須賦值,它的值是不能再改變的,與常量一樣引用初始化也需要賦值,定義了引用后,它就和引用的目標維系在了一起,也是不能再被賦值的。所以C
++":"后初始化的機制,使引用和常量數據成員變為可能的,Student類的構造函數應為:
student ::student(int i,int j):a(i),b(j){}
class teach
{
public :
teach(char *p="name",int a=0);
protected:
char name[30];
int age;
};
teach::teach(char*p, int a)
{
strcpy(name ,p);
age = a;
cout << name << endl;
}
class student
{
public:
student (char *p="name");
protected:
char name[30];
teach teacher;
};
student::student(char *p)
{
strcpy(name,p);
cout << name << endl;
}
在上面的程序中通不過編譯,編譯系統會告訴你teacher這個類對象缺默認構造函數,因為在teach 類中沒有定義默認的構造函數。那么帶參數的構造函數怎么進行構造呢?通過我們前面提到的冒號賦值。那它的構造函數應該是:
student::student(char *p,char *pl,int ag):teacher(pl,ag) { strcopy(name,p); cont<<name<<endl; }
就是說在沒有默認構造函數的時候,如果一個類對象是另一個類的數據成員,那么初始化這個數 據成員,就應該放到冒號后面。這樣可以帶參數。在類的定義中,如:
protected;
char name[30];
teach teacher
類對象是不能帶參數的,因為它只是聲明。