與其他函式不同,建構函式除了有名字,引數列表和函式體之外,還可以有初始化列表,初始化列表以冒號開頭,後跟一系列以逗號分隔的初始化字段。在c++中,struct和class的唯一區別是預設的訪問性不同,而這裡我們不考慮訪問性的問題,所以下面的**都以struct來演示。
struct建構函式的執行可以分成兩個階段,初始化階段和計算階段,初始化階段先於計算階段。foo ; //
初始化列表
};
所有類型別(class type)的成員都會在初始化階段初始化,即使該成員沒有出現在建構函式的初始化列表中。
一般用於執行建構函式體內的賦值操作,下面的**定義兩個結構體,其中test1有建構函式,拷貝建構函式及賦值運算子,為的是方便檢視結果。test2是個測試類,它以test1的物件為成員,我們看一下test2的建構函式是怎麼樣執行的。
struct呼叫**test1
test1(
const test1& t1) //
拷貝建構函式
test1& operator = (const test1& t1) //
賦值運算子
inta ;
};struct
test2
};
test1 t1 ;輸出test2 t2(t1) ;
解釋一下,第一行輸出對應呼叫**中第一行,構造乙個test1物件。第二行輸出對應test2建構函式中的**,用預設的建構函式初始化物件test1,這就是所謂的初始化階段。第三行輸出對應test1的賦值運算子,對test1執行賦值操作,這就是所謂的計算階段。
初始化類的成員有兩種方式,一是使用初始化列表,二是在建構函式體內進行賦值操作。使用初始化列表主要是基於效能問題,對於內建型別,如int, float等,使用初始化類表和在建構函式體內初始化差別不是很大,但是對於類型別來說,最好使用初始化列表,為什麼呢?由上面的測試可知,使用初始化列表少了一次呼叫預設建構函式的過程,這對於資料密集型的類來說,是非常高效的。同樣看上面的例子,我們使用初始化列表來實現test2的建構函式
struct使用同樣的呼叫**,輸出結果如下。test2
}
第一行輸出對應 呼叫**的第一行。第二行輸出對應test2的初始化列表,直接呼叫拷貝建構函式初始化test1,省去了呼叫預設建構函式的過程。所以乙個好的原則是,能使用初始化列表的時候盡量使用初始化列表。
除了效能問題之外,有些時場合初始化列表是不可或缺的,以下幾種情況時必須使用初始化列表
對於沒有預設建構函式的類,我們看乙個例子。
struct以上**無法通過編譯,因為test2的建構函式中test1 = t1這一行實際上分成兩步執行。test1
inti ;
};struct
test2
};
1. 呼叫test1的預設建構函式來初始化test1
2. 呼叫test1的賦值運算子給test1賦值
但是由於test1沒有預設的建構函式,所謂第一步無法執行,故而編譯錯誤。正確的**如下,使用初始化列表代替賦值操作。
struct成員是按照他們在類中出現的順序進行初始化的,而不是按照他們在初始化列表出現的順序初始化的,看**。test2
}
struct再看下面的**foo; //
ok, 先初始化i,後初始化j
};
struct這裡i的值是未定義的,雖然j在初始化列表裡面出現在i前面,但是i先於j定義,所以先初始化i,但i由j初始化,此時j尚未初始化,所以導致i的值未定義。所以,乙個好的習慣是,按照成員定義的順序進行初始化。foo //
i值未定義
};
C 何時要使用成員初始化列表
要理解這個問題,從概念上,我們要知道一點,那就是建構函式的執行過程會分成兩個階段 隱式或顯示的初始化階段以及一般的計算階段。計 算階段由建構函式體內的所有語句組成,在計算階段,資料成員的設定被認為是賦值,而不是初始化。而初始化是顯式的還是隱式的,取決於是否存在初始化函式列表。隱式初始化階段按照宣告的...
必須使用 初始化列表 初始化資料成員的情況
類物件的構造順序是這樣的 1.分配記憶體,呼叫建構函式時,隱式 顯示的初始化各資料成員 2.進入建構函式後在建構函式中執行一般賦值與計算。使用初始化列表有兩個原因 原因1.必須這樣做 c primer 中提到在以下三種情況下需要使用初始化成員列表 情況一 需要初始化的資料成員是物件的情況 這裡包含了...
初始化 1 預設初始化 列表初始化
初始化的基本概念 事實 初始化和賦值是兩個完全不同的操作。初始化,是建立變數時賦予其乙個初始值。賦值,是把物件的當前值擦除,用乙個新值代替。列表初始化 p39 作為c 11新標準的一部分,用花括號 來初始化變數得到了全面應用。出於某些原因,這種初始化的方式叫做列表初始化。現在,無論是初始化物件還是某...