第十二章 C 物件導向設計方法概述

繼承： is a 基類a，派生類b，b is a a!

組合： is a part of 聚合(has a)，關聯(holds a)

動態特性：

絕大多數情況，程式的功能是在編譯的時候確定下來，此為靜態特性，若是執行時候確定下來，則是動態特性。

c++虛函式，抽象基類，動態繫結（dynamic binding），多型(polymorphism)構成了出色的動態特性..

虛函式：子類自己去實現。一旦乙個函式被宣告為虛函式，派生類自動成為虛函式，一級級傳遞。建議每乙個都加virtual

抽象基類：

abstract class抽象類，無法例項化成乙個物件。將基類的虛函式定義為純虛函式 virtual void f()=0；

抽象基類唯一目的就是讓其派生類繼承並實現它的介面方法。實現「介面與實現分離」。

純虛函式告知編譯器不用為函式編址，從而阻止該類的例項化。

抽象基類可分為好幾層的抽象類。如第一層shape 第二層shape2d,shape3d，抽象基類將提供豐富的介面函式供呼叫，這些都是public的虛函式，這樣的類叫做介面類。

抽象基類不能例項化，並且實現類被完全隱藏，所以必須以其他的途徑獲得實現類的物件，比如提供入口函式來動態建立實現類的物件，入口函式可以是全域性函式，也可以使靜態成員函式。

pubilcbase* create()

#include using namespace std;
class base;
class b:public base
//自動為虛函式，加上virtual更好
virtual void g(){}
};base* base::create()//注意靜態成員函式寫在外面！
int main()

動態繫結：父類指標指向子類物件，可以呼叫虛函式。

每乙個具有虛函式的多型類的物件記憶體有4個位元組的大小存放虛表指標，指向虛函式表，虛函式表本質是乙個函式指標陣列，存放著這個類所有的虛函式的位址，包括那些繼承的但未改寫的虛函式。

#include using namespace std;
class a
};class b:public a
virtual void f(int n){}
};int main()

派生類定義了乙個與其基類的虛函式同名的函式，但是參數列不同，編譯器不會認為這個是對虛函式的改寫，而是隱藏。所以不會發生執行時繫結，相反，要想達成執行時繫結的效果，同名虛函式必須相同的原型，即參數列相同(返回型別可以不同，c++特徵===協變)

虛函式面臨的難題：抽象基類無法例項化，基類指標指向派生類物件，並不能告訴我們到底是哪乙個子類物件，因而不能進行相應的處理，僅有的靜態型別檢查和虛函式機制不足以解決所有的問題。所以我們有了rtti（run-time type identification）

rtti：

typeid:typeid()運算子以乙個物件或者型別名作為引數，返回乙個匹配的const type_info物件，它表明該物件的確切型別。

常用的三個成員函式; operaotr==(),operator()!=(),name()

if(typeid(base* p)==typeid(child)) ====>通過基類指標判斷型別

dynamic_cast<>運算子：派生類物件應該也是基類的物件，typeid()不存在這種功能

dynamic_cast<>可以轉換指標和引用，不能轉換物件。

基類指標或引用===>子類指標或引用(downcast) 子類指標或引用====>基類指標或引用(upcast)

dynamic_cast《目標型別》(被轉換的型別) 目標型別為某種型別的指標（包括void*）,成功轉換則返回目標型別的指標，否則返回null

目標型別為某種型別的引用，成功則返回目標型別引用，失敗返回std::bad_cast，不存在null引用。

注意:

1.dynamic_cast<>轉換引用，需要catch std::bad_cast

2.試圖用typeid來檢索null所指物件的型別，typeid(*p) 將丟擲bad_typeid異常

3.dynamic_cast<>轉換指標，記住返回值是否為null。

第十二章 C 物件導向設計方法概述

第十二章物件下

第十二章面向語言程式設計

第十二章類和物件

第十二章 C 物件導向設計方法概述

第十二章 物件 下

第十二章 面向語言程式設計

第十二章 類和物件

相關推薦

第十二章物件下

第十二章面向語言程式設計

第十二章類和物件