C 拷貝建構函式的幾個細節

拷貝建構函式是c++最基礎的概念之一，大家自認為對拷貝建構函式了解麼？請大家先回答一下三個問題:

1.以下函式哪個是拷貝建構函式,為什麼?

x::x(const x&);

x::x(x);

x::x(x&, int a=1);

x::x(x&, int a=1, b=2);

2.乙個類中可以存在多於乙個的拷貝建構函式嗎?

3.寫出以下程式段的輸出結果, 並說明為什麼?如果你都能回答無誤的話，那麼你已經對拷貝建構函式有了相當的了解。

#include

#include

struct x template

x& operator=( t& ) }; void main()

解答如下：

1.對於乙個類x,如果乙個建構函式的第乙個引數是下列之一:

a) x&

b) const x&

c) volatile x&

d) const volatile x&

且沒有其他引數或其他引數都有預設值,那麼這個函式是拷貝建構函式.

x::x(const x&); //是拷貝建構函式x::x(x&, int=1); //是拷貝建構函式

2.類中可以存在超過乙個拷貝建構函式,

classx ;

注意,如果乙個類中只存在乙個引數為x&的拷貝建構函式,那麼就不能使用const x或volatile x的物件實行拷貝初始化.

classx ;constx cx;x x = cx; // error

如果乙個類中沒有定義拷貝建構函式,那麼編譯器會自動產生乙個預設的拷貝建構函式.

這個預設的引數可能為x::x(const x&)或x::x(x&),由編譯器根據上下文決定選擇哪乙個.

預設拷貝建構函式的行為如下:

預設的拷貝建構函式執行的順序與其他使用者定義的建構函式相同,執行先父類後子類的構造.

拷貝建構函式對類中每乙個資料成員執行成員拷貝(memberwise copy)的動作.

a)如果資料成員為某乙個類的例項,那麼呼叫此類的拷貝建構函式.

b)如果資料成員是乙個陣列,對陣列的每乙個執行按位拷貝.

c)如果資料成員是乙個數量,如int,double,那麼呼叫系統內建的賦值運算子對其進行賦值.

3.拷貝建構函式不能由成員函式模版生成.

structx ;

原因很簡單, 成員函式模版並不改變語言的規則,而語言的規則說,如果程式需要乙個拷貝建構函式而你沒有宣告它,那麼編譯器會為你自動生成乙個. 所以成員函式模版並不會阻止編譯器生成拷貝建構函式, 賦值運算子過載也遵循同樣的規則.(參見effective c++ 3edition, item45)

C 拷貝建構函式的幾個細節

C 拷貝建構函式幾個細節

C 拷貝建構函式的幾個細節

C 拷貝建構函式的幾個細節

相關推薦