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

關鍵字: c

++

拷貝建構函式是c

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

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

x::x(constx&);   

x::x(x);   

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

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

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

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

#include 

解答如下：

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

a) x&

b) const x&

c) volatile x&

d) const volatile x&

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

x::x(const

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

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

class

x ;

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

class

x ;const

x cx;x x = cx;    // error

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

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

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

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

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

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

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

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

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

struct

x ;

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

++ 3edition, item45)

C 拷貝建構函式幾個細節

拷貝建構函式是c 最為基礎的概念之一，大家自認為對拷貝建構函式了解麼？那麼請先回答三個問題，就知道了！1 以下函式哪個是 拷貝建構函式，為什麼？1 x x const x 2x x x 3 x x x int a 1 4 x x x int a 1,b 2 2 乙個類中可以存在多餘乙個的拷貝建構函式...

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

關鍵字 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.寫出...

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

拷貝建構函式是c 最基礎的概念之一，大家自認為對拷貝建構函式了解麼？請大家先回答一下三個問題 1.以下函式哪個是拷貝建構函式,為什麼?x x constx x x x x x x int a 1 x x x int a 1,b 2 2.乙個類中可以存在多於乙個的拷貝建構函式嗎?3.寫出以下程式段的輸...