【正文】 { int x,y。 public: f()。 }。 class B: public A { int z。 public: f()。 g()。 }。 A a。 B b。 a = b。 //OK, b = a。 //Error ()。 //A::f() A amp。r_a=b。 //OK A *p_a=amp。b。 //OK B amp。r_b=a。 //Error B *p_b=amp。a。 //Error 把派生類對(duì)象賦值 給基類對(duì)象 基類的引用或指針可以引用 或指向派生類對(duì)象 func1(Aamp。 a) { … ()。 … } func2(A *pa) { … paf()。 …} func1(b)。 func2(amp。b)。 A::f? B::f？ 虛函數(shù) ? 前期綁定 （ Early Binding） ? 編譯時(shí)刻 ? 依據(jù)對(duì)象的靜態(tài)類型 ? 效率高 、 靈活性差 ? 動(dòng)態(tài)綁定 （ Late Binding） ? 運(yùn)行時(shí)刻 ? 依據(jù)對(duì)象的實(shí)際類型 （ 動(dòng)態(tài) ） ? 靈活性高 、 效率低 ? 注重效率 ? 默認(rèn)前期綁定 ? 后期綁定需顯式指出 virtual 虛函數(shù) ? 定義 ? virtual class A { … public: virtual f()。 }。 ? 動(dòng)態(tài)綁定 ? 根據(jù) 實(shí)際引用和指向的對(duì)象類型 虛函數(shù) ? 如基類中被定義為虛成員函數(shù) ， 則派生類中對(duì)其重定義的成員函數(shù)均為虛函數(shù) ? 限制 ? 類的成員函數(shù)才可以是虛函數(shù) ? 靜態(tài)成員函數(shù)不能是虛函數(shù) ? 內(nèi)聯(lián)成員函數(shù)不能是虛函數(shù) ? 構(gòu)造函數(shù)不能是虛函數(shù) ? 析構(gòu)函數(shù)可以 （ 往往 ） 是虛函數(shù) 虛函數(shù) class A { public: A() { f()。} virtual void f()。 void g()。 void h() { f()。 g()。 } }。 class B: public A { public: void f()。 void g()。 }。 … B b。 A *p=amp。b。 pf()。 pg()。 ph()。 //調(diào)用 ::B(), ::A(), ::f //調(diào)用 ::f //調(diào)用 ::g //調(diào)用 ::h, ::f, ::g class A { public: virtual void f() 。 void g() 。 }。 class B: public A { public: void f() { g()。 } void g() 。 }。 B b。 A* p = amp。b。 pf()。 //::g 虛函數(shù) ? 純虛函數(shù)和抽象類 ? 純虛函數(shù) ? 聲明時(shí)在函數(shù)原型后面加上 = 0 virtual int f()=0。 ? 往往 只給出函數(shù)聲明，不給出實(shí)現(xiàn) ? 抽象類 ? 至少包含一個(gè)純虛函數(shù) ? 不能用于創(chuàng)建對(duì)象 ? 為派生類提供框架 ， 派生類提供抽象基類的所有成員函數(shù)的實(shí)現(xiàn) class AbstractClass { … public: virtual int f()=0。 }。 虛函數(shù) Figure Rectangle Ellipse Line virtual display()=0。 display display display Figure *a[100]。 a[0] = new Rectangle()。 a[1] = new Ellipse()。 a[2] = new Line()。 … for (int i=0。 inum_of_figures。 i++) a[i]display()； 虛函數(shù) ? 后期綁定的實(shí)現(xiàn) class A { int x,y。 public: virtual f()。 virtual g()。 h()。 }。 class B: public A { int z。 public: f()。 h()。 }。 A a。 B b。 A *p。 ?創(chuàng)建一個(gè) 虛函數(shù)表 (vtable) ?記錄所有虛函數(shù)入口地址 ?對(duì)象的內(nèi)存空間中含有指針，指向其虛函數(shù)表 B::f A::g b x y z B_vtable pf() (*(*p))(p) (**((char *)p4))(p) a x y A::f A::g A_vtable 虛函數(shù) ? 虛析構(gòu)函數(shù) class B {…}。 class D: public B{…}。 B* p = new D。 class string {…} class B {…} class D: public B{ string name。 …} B* p = new D。 虛函數(shù) ? 確定 public inheritance,表現(xiàn) “ is_a”關(guān)系 ? 不要重定義繼承而來的非虛成員函數(shù) class person { … }。 class student: public person { … }。 void dance(const personamp。 p)。 void study(const studentamp。 s)。 person p。 student s。 dance(p)。 dance(s)。 study(s)。 study(p)。 //Error class B { public: void mf()。 … }。 class D: public B { … }。 D x。 B* pB = amp。x。 pBmf()。 D* pD = amp。x。 pDmf()。 public: void mf()。 //B:mf //D:mf class rectangle { public: virtual void setHeight(int) … }。 class Square: public rectangle { … }。 虛函數(shù) ? 明智地運(yùn)用 private Inheritance ? Implementedintermof ? 在軟件設(shè)計(jì)層面沒有意義，只用于軟件實(shí)現(xiàn)層面 class A { … }。 class B: private A { … }。 void f(const Aamp。 a) { … } A a。 B b。 f(a)。 f(b)。 //Error 虛函數(shù) ? 純虛函數(shù) 只有函數(shù)接口會(huì)被繼承 ? 子類 必須 繼承函數(shù)接口 ? （必須）提供實(shí)現(xiàn)代碼 ? 一般虛函數(shù) 函數(shù)的接口及缺省實(shí)現(xiàn)代碼都會(huì)被繼承 ? 子類 必須 繼承函數(shù)接口 ? 可以 繼承缺省實(shí)現(xiàn)代碼 ? 非虛函數(shù) 函數(shù)的接口和其實(shí)現(xiàn)代碼都會(huì)被繼承 ? 必須 同時(shí)繼承接口和實(shí)現(xiàn)代碼 class Shape { public: virtual void draw() const = 0。 virtual void error(const std::stringamp。 msg)。 int objectID() const。 }。 虛函數(shù) ? 絕對(duì)不要重新定義繼承而來的缺省參數(shù)值 ? 靜態(tài)綁定 ? 效率 class A { public: virtual void f(int x=0) { …} }。 class B: public A { public: virtual void f(int x=1) { …} }。 class C: public A { public: virtual void f(int ) { …} }。 A *p_a。 B b。 p_a = amp。b。 p_af()。 A *p_a1。 C c。 p_a1 = amp。c。 p_a1f()。 多繼承 ? 多繼承 ? 定義 class 派生類名 ： [繼承方式 ] 基類名 1， [繼承方式 ] 基類名 2， … { 〈 成員表 〉 } ? 繼承方式 ? public、 private 、 protected ? 繼承方式及訪問控制的規(guī)定同單繼承 ? 派生類擁有所有基類的所有成員 多繼承 Bed weight Sleep() SetWeight() Sofa weight WatchTV() SetWeight() SleeperSofa foldOut() 多繼承 Furniture weight SetWeight() Furniture weight SetWeight() Bed Sleep() Sofa WatchTV() SleepSofa FoldOut() BaseClass Deposition 多繼承 Furniture weight SetWeight() Bed Sleep() Sofa WatchTV() SleepSofa FoldOut() Virtual Inheritance 多繼承 ? 基類的聲明次序決定： ? 對(duì)基類構(gòu)造函數(shù) /析構(gòu)函數(shù)的調(diào)用次序 ? 對(duì)基類數(shù)據(jù)成員的存儲(chǔ)安排 ? 名沖突 ? 基類名 ::基類成員名 ? 虛基類 ? 如果直接基類有公共的基類 ， 則 ， 該公共基類中的成員變量在多繼承的派生類中有多個(gè)副本 D A B C class A { int x。 … }。 class B: A。 class C: A。 class D: B, C。 多繼承 ? 類 D擁有兩個(gè) x成員： B::x和 C::x ? 虛基類 ? 合并 class A。 class B: virtual A。 class C: virtual A。 class D: B, C。 ? 注意： ? 虛基類的構(gòu)造函數(shù)由最新派生出的類的構(gòu)造函數(shù)調(diào)用 ? 虛基類的構(gòu)造函數(shù)優(yōu)先非虛基類的構(gòu)造函數(shù)執(zhí)行