一、default constructor---默認(rèn)構(gòu)造函數(shù),亦即無參構(gòu)造函數(shù)。從對象構(gòu)造語義上講,可分為以下2種:1)trivial 平凡的,可以理解為淺構(gòu)造 2)notrivial 非平凡的,可以理解為深構(gòu)造。當(dāng)一個class沒有顯式地(explicitly)聲明或定義任何constructor的時候,一個default constructor就會被編譯器隱式地(implicitly)聲明或定義出來。那么這個implicitly default constructor到底是trivial還是notrivial的呢?對于一個class,當(dāng)存在以下4種情況時,其implicitly default constructor就是notrivial的。
(1)class內(nèi)含一個或多個成員對象(member object),且這些member object中至少一個存在default constructor(無論是顯式的default constructor還是隱式的notrival default constructor)
(2)class派生自一個繼承串鏈,其中至少有一個base class存在default constructor(再次強(qiáng)調(diào),無論是顯式的default constructor還是隱式的notrival default constructor)
(3)class聲明一個或多個虛函數(shù)(virtual function)
(4)class派生自一個繼承串鏈,其中至少有一個虛基類(virtual base class),而不管這些virtual base class是否存在default constructor
顯而易見,這4種情況是正交的,當(dāng)不存在以上4種情況時,其implicitly default constructor就是trivial的。只有notrivial的default constructor才會被編譯器真正生成,而trivial的不會生成。
二、copy constructor---拷貝構(gòu)造函數(shù),亦即帶有當(dāng)且僅有一個參數(shù),類型為同類對象的構(gòu)造函數(shù)。從對象拷貝語義上講,可分為以下2種:1)bitwise copy 位拷貝,可以理解為淺拷貝 2)no bitwise copy 非位拷凡,可以理解為深拷貝。當(dāng)一個class沒有顯式地聲明或定義copy constructor時,一個copy constructor就會被編譯器隱式地聲明或定義出來。那么這個implicitly copy constructor到底是bitwise copy還是no bitwise copy的呢?對于一個class,當(dāng)存在以下4種情況時,其implicitly copy constructor就是no bitwise copy的。
(1)class內(nèi)含一個或多個成員對象,且這些member object中至少一個存在copy constructor(無論是顯式的copy constructor還是隱式的no bitwise copy constructor)
(2)class派生自一個繼承串鏈,其中至少有一個base class存在copy constructor(再次強(qiáng)調(diào),無論是顯式的copy constructor還是隱式的no bitwise copy constructor)
(3)class聲明一個或多個虛函數(shù)
(4)class派生自一個繼承串鏈,其中至少有一個虛基類,而不管這些virtual base class是否存在copy constructor
顯而易見,這4種情況是正交的,當(dāng)不存在以上4種情況時,其implicitly copy constructor就是bitwise copy的。只有no bitwise copy的copy constructor才會被編譯器真正生成,而bitwise copy的不會生成。
三、對于defualt constructor,當(dāng)一個class內(nèi)顯式地存在constructor(包括default constructor)時,編譯器不會再生成它,但如果這個class滿足以上4中情況至少一種時,編譯器就需要負(fù)責(zé)執(zhí)行相關(guān)的初始化:對于情況(1)要調(diào)用成員對象的default constructor;對于情況(2)要調(diào)用基類的default constructor;對于情況(3)要設(shè)定虛函數(shù)表的指針;對于情況(4)要設(shè)定虛基類的指針和偏移量。而這些初始化在用戶代碼執(zhí)行前。
四、對于copy constructor,當(dāng)一個class內(nèi)顯式地存在copy constructor時,編譯器不會再生成它,但如果這個class滿足以上情況(3)或(和)(4)時,編譯器就需要負(fù)責(zé)執(zhí)行相關(guān)的拷貝:對于情況(3)要決定怎么設(shè)定虛函數(shù)表指針。對于情況(4)要決定怎么設(shè)定虛基類的指針和偏移量。同理類推,如果這個class滿足情況(1)或(和)(2),而且其成員對象或基類子對象又滿足情況(3)或(和)(4)時,編譯器也需要負(fù)責(zé)執(zhí)行相關(guān)的拷貝了。而這些拷貝在用戶代碼執(zhí)行前。