再谈c++中的继承
繼承的概念
繼承(inheritance)機制是面向對象程序設計使代碼可以復用的最重要的手段,它允許程序員在保持原有類特性的基礎上進行擴展,增加功能,這樣產生新的類,稱派生類。繼承呈現了面向對象程序設計的層次結構,體現了由簡單到復雜的認知過程。以前我們接觸的復用都是函數復用,繼承是類設計層次的復用。
class Person { public:void Print(){cout << "name:" << _name << endl;cout << "age:" << _age << endl;} protected:string _name = "peter"; // 姓名int _age = 18; // 年齡 }; // 繼承后父類的Person的成員(成員函數+成員變量)都會變成子類的一部分。這里體現出了Student和 //Teacher復用了Person的成員。下面我們使用監視窗口查看Student和Teacher對象,可以看到變量的復用。調用 //Print可以看到成員函數的復用。 class Student : public Person { protected:int _stuid; // 學號 }; class Teacher : public Person { protected:int _jobid; // 工號 }; int main() {Student s;Teacher t;s.Print();t.Print();return 0; }繼承的方式
由上圖可以看出,Person是基類也是父類,Student是派生類也叫子類。
繼承基類成員訪問方式的變化
| 基類的public成員 | 派生類的public成員 | 派生類的protected成員 | 派生類的private成員 |
| 基類的protected成員 | 派生類的protected成員 | 派生類的protected成員 | 派生類的private成員 |
| 基類的private成員 | 在派生類中不可見 | 在派生類中不可見 | 在派生類中不可見 |
總結
總結:
基類和派生類對象賦值轉換
- 派生類對象 可以賦值給 基類的對象 / 基類的指針 / 基類的引用。
- 基類對象不能賦值給派生類對象
- 基類的指針可以通過強制類型轉換賦值給派生類的指針。但是必須是基類的指針是指向派生類對象時才是安全的。這里基類如果是多態類型,可以使用RTTI(Run-Time Type Information)的dynamic_cast 來進行識別后進行安全轉換。
- 可以讓基類的指針或者引用直接引用子類的對象,不能直接使用子類的指針或引用去指向基類對象,必須要強制類型轉換。
繼承中的作用域
派生類的默認成員函數
6個默認成員函數
- 基類如果沒有顯示定義構造函數,子類也可以不用定義
- 基類具有無參或者全缺省的構造函數,子類也可以不用定義,除非需要做特定的事情。
- 如果基類具有帶參數的構造函數(不是全缺省),則派生類的構造函數必須顯示提供,而且要在其初始化列表的位置,顯示的調用基類的構造函數。
- 基類如果沒有定義,子類也可以不用定義—兩個類采用默認的拷貝構造函數----前提:類中不會涉及到資源管理(深拷貝)
- 基類如果顯示定義了自己拷貝構造函數,派生類也必須要顯示定義,而且要在其初始化列表的位置顯式調用。
- 如果基類沒有定義,派生類也可以不用提供,除非派生類需要在賦值期間做其他操作,根據情況給出。
- 如果基類定義賦值運算符重載,一般情況下派生類也要給出,而且要在其中調用基類的賦值運算符重載。
實現一個不能被繼承的類
// C++98中構造函數私有化,派生類中調不到基類的構造函數。則無法繼承 class NonInherit { public://成員函數需要通過對象來調,但是現在創建不出對象//所以設置稱為靜態的,可以通過類名::來調用static NonInherit GetInstance() {return NonInherit(); } private://因為基類構造函數訪問權限是private,其在子類中不能直接被調用//因此派生類的構造函數無法生成NonInherit(){} }; // C++11給出了新的關鍵字final禁止繼承 class NonInherit final {};友元關系不能繼承,也就是說基類友元不能訪問基類的子類私有和保護成員
class Person { public:friend void Display(const Person& p, const Student& s); protected:string _name; // 姓名 }; class Student : public Person { protected:int _stuNum; // 學號 }; void Display(const Person& p, const Student& s) {cout << p._name << endl;cout << s._stuNum << endl; } void main() {Person p;Student s;Display(p, s); }基類定義了static靜態成員,則整個繼承體系里面只有一個這樣的成員。無論派生出多少個子類,都只有一個static成員實例 。
class Person { public:Person() { ++_count; } protected:string _name; // 姓名 public:static int _count; // 統計人的個數。 }; int Person::_count = 0; class Student : public Person { protected:int _stuNum; // 學號 }; class Graduate : public Student { protected:string _seminarCourse; // 研究科目 }; void TestPerson() {Student s1;Student s2;Student s3;Graduate s4;cout << " 人數 :" << Person::_count << endl;Student::_count = 0;cout << " 人數 :" << Person::_count << endl; }菱形繼承及菱形虛擬繼承
單繼承
一個類只有一個基類
多繼承
一個類有多個基類(至少是兩個)
在派生類對象模型中,將多個基類中的成員變量全部繼承到子類的對象中。注意:基類中成員在子類對象中的排列次序與繼承列表的次序一致
菱形繼承
可以看出菱形繼承有數據冗余和二義性的問題。在D的對象中B成員會有兩份。
從模型中可以看出D對象中有兩個_b
D d; d._b = 1;//報錯 二義性問題解決方式:
讓其訪問明確
派生類D的對象不會非常大—比較節省空間
也不會存在二義性問題
菱形虛擬繼承
虛擬繼承可以解決菱形繼承的二義性和數據冗余的問題。如上面的繼承關系,在C1和C2的繼承B時使用虛擬繼承,即可解決問題。需要注意的是,虛擬繼承不要在其他地方去使用。
class B { public:int _b; }; class C1 :virtual public B { public:int _c1; }; class C2 :virtual public B { public:int _c2; }; class D:public C1 ,public C2 { public:int d; }; int main() {cout << sizeof(D) << endl;D d;d._b = 1;system("pause");return 0; }發現對象中多了4個字節
虛擬繼承解決數據冗余和二義性的原理
普通的單繼承,對象模型是基類在上,派生類在下,虛擬繼承派生類在上,基類在下,對象多了4個字節,在構造期間填充進去。
前4個字節是什么
class B { public:int _b; }; class D :virtual public B { public:int _d; }; int main() {cout << sizeof(D) << endl;D d;d._b = 1;d._d = 2;system("pause");return 0; }內存窗口,前四個字節在創建完對象后,就有了,所以前4個字節一定是在構造函數時賦值。這個構造函數是由編譯器生成的默認構造函數
從匯編代碼中來思考前4個字節是干什么用的
main函數里的代碼轉匯編
可以得出對象的前4個字節就是一個地址派生類對象起始位置相對于基類部分的偏移量
為什么要偏移量?在對象模型中子類對象為什么要在基類上面?
一般不用虛擬繼承,只有出現菱形繼承時,為了解決二義性問題才出現了虛擬繼承。
通過偏移量表格訪問最頂層基類中成員(第一個基類中的偏移量表格)
繼承總結
- public繼承是一種is-a的關系。也就是說每個派生類對象都是一個基類對象。
- 組合是一種has-a的關系。假設B組合了A,每個B對象中都有一個A對象。
優先使用對象組合,而不是類繼承 。 - 繼承允許你根據基類類的實現來定義派生類的實現。這種通過生成派生類的復用通常被稱為白箱復
用(white-box reuse)。術語“白箱”是相對可視性而言:在繼承方式中,基類的內部細節對子類可見
繼承一定程度破壞了基類的封裝,基類的改變,對派生類類有很大的影響。派生類和基類間的依
賴關系很強,耦合度高。 - 對象組合是類繼承之外的另一種復用選擇.新的更復雜的功能可以通過組裝或組合對象來獲得,對
象組合要求被組合的對象具有良好定義的接口。這種復用風格被稱為黑箱復用(black-box reuse),因為對象的內部細節是不可見的。對象只以“黑箱”的形式出現。 組合類之間沒有很強的依賴關系,耦合度低。優先使用對象組合有助于你保持每個類被封裝。 - 實際盡量多去用組合。組合的耦合度低,代碼維護性好。不過繼承也有用武之地的,有些關系就適合繼承那就用繼承,另外要實現多態,也必須要繼承。類之間的關系可以用繼承,可以用組合,就用組合。
繼承就像是老爹,強耦合,離不開
組合就像是小三,不愛了,就離開
問題
兩個單繼承+一個多繼承
會出現二義性問題,最頂層基類的成員在最下層子類中會出現兩份。
在繼承權限前+virtual關鍵字,
第一個是讓訪問明確,第二個是讓基類的成員在子類中只存在一份,就是菱形虛擬繼承
public繼承是一種is-a的關系。也就是說每個派生類對象都是一個基類對象。
組合是一種has-a的關系。假設B組合了A,每個B對象中都有一個A對象。
實現多態時必須用繼承,其余情況下盡量使用組合,因為高內聚低耦合
總結
- 上一篇: 皇子归来之欢喜知府剧情介绍
- 下一篇: 什么时候会出转区?