一、default constructor---默認構造函數，亦即無參構造函數。從對象構造語義上講，可分為以下2種：1）trivial 平凡的，可以理解為淺構造 2）notrivial 非平凡的，可以理解為深構造。當一個class沒有顯式地(explicitly)聲明或定義任何constructor的時候，一個default constructor就會被編譯器隱式地（implicitly)聲明或定義出來。那么這個implicitly default constructor到底是trivial還是notrivial的呢？對于一個class，當存在以下4種情況時，其implicitly default constructor就是notrivial的。
（1）class內含一個或多個成員對象(member object)，且這些member object中至少一個存在default constructor（無論是顯式的default constructor還是隱式的notrival default constructor）
（2）class派生自一個繼承串鏈，其中至少有一個base class存在default constructor（再次強調，無論是顯式的default constructor還是隱式的notrival default constructor）
（3）class聲明一個或多個虛函數(virtual function)
（4）class派生自一個繼承串鏈，其中至少有一個虛基類(virtual base class)，而不管這些virtual base class是否存在default constructor
顯而易見，這4種情況是正交的，當不存在以上4種情況時，其implicitly default constructor就是trivial的。只有notrivial的default constructor才會被編譯器真正生成，而trivial的不會生成。
二、copy constructor---拷貝構造函數，亦即帶有當且僅有一個參數，類型為同類對象的構造函數。從對象拷貝語義上講，可分為以下2種：1）bitwise copy 位拷貝，可以理解為淺拷貝 2）no bitwise copy 非位拷凡，可以理解為深拷貝。當一個class沒有顯式地聲明或定義copy constructor時，一個copy constructor就會被編譯器隱式地聲明或定義出來。那么這個implicitly copy constructor到底是bitwise copy還是no bitwise copy的呢？對于一個class，當存在以下4種情況時，其implicitly copy constructor就是no bitwise copy的。
（1）class內含一個或多個成員對象，且這些member object中至少一個存在copy constructor（無論是顯式的copy constructor還是隱式的no bitwise copy constructor）
（2）class派生自一個繼承串鏈，其中至少有一個base class存在copy constructor（再次強調，無論是顯式的copy constructor還是隱式的no bitwise copy constructor）
（3）class聲明一個或多個虛函數
（4）class派生自一個繼承串鏈，其中至少有一個虛基類，而不管這些virtual base class是否存在copy constructor
顯而易見，這4種情況是正交的，當不存在以上4種情況時，其implicitly copy constructor就是bitwise copy的。只有no bitwise copy的copy constructor才會被編譯器真正生成，而bitwise copy的不會生成。
三、對于defualt constructor，當一個class內顯式地存在constructor（包括default constructor）時，編譯器不會再生成它，但如果這個class滿足以上4種情況至少一種時，編譯器就需要負責執行相關的初始化：對于(1)要調用成員對象的default constructor；對于(2)要調用基類的default constructor；對于(3)要設定虛函數表的指針；對于(4)要設定虛基類的指針和偏移量。而這些初始化在用戶代碼執行前。
四、對于copy constructor，當一個class內顯式地存在copy constructor時，編譯器不會再生成它，但如果這個class滿足以上情況(3)或(和)(4)時，編譯器就需要負責執行相關的拷貝：對于(3)要決定怎么設定虛函數表指針。對于(4)要決定怎么設定虛基類的指針和偏移量。同理類推，如果這個class滿足情況(1)或(和)(2)，而且其成員對象或基類子對象又滿足情況(3)或(和)(4)時，編譯器也需要負責執行相關的拷貝了。而這些拷貝在用戶代碼執行前。
posted on 2011-08-31 11:40
春秋十二月 閱讀(4960)
評論(0) 編輯 收藏 引用 所屬分類:
C/C++