虚拟与多形.ppt

第16章 虛擬與多形 16-1 虛擬函數 16-2 純虛擬函數與抽象類別 16-3 多形 16-4 虛擬繼承與虛擬解構子 16-1 虛擬函數 16-1-1 父類別的指標 16-1-2 虛擬函數 16-1-1 父類別的指標 C++語言的父類別指標可以指向其子類別的物件。例如：shape類別是triangle的父類別，我們可以宣告物件變數和指標，如下所示： shape s; triangle t; shape *p; 程式碼宣告shape和triangle物件變數s和t，和shape父類別的指標p，父類別的指標不只可以指向s，也可以指向子類別的物件t，如下所示： p = s; p = t; 16-1-2 虛擬函數-說明 在C++語言類別的「虛擬函數」（Virtual Functions）是使用virtual關鍵字進行宣告的成員函數。 當我們在類別宣告虛擬函數，其主要目的是讓繼承的子類別可以覆寫此函數，以便建立動態連結（Dynamic Binding）的函數呼叫，在本節後和第16-3-1節有進一步說明。 16-1-2 虛擬函數-注意事項 事實上，虛擬函數就是建立第16-2節的抽象類別和第16-3節多形的基本觀念。在類別宣告虛擬函數的注意事項，如下所示： 虛擬函數是類別的成員函數。 虛擬函數可以宣告成朋友函數。 虛擬函數不可以是類別的靜態成員。 16-1-2 虛擬函數-宣告虛擬函數 在C++類別是使用virtual關鍵字來宣告虛擬函數。例如：shape的父類別，如下所示： class shape { public: double x, y; shape(double x, double y) { this-x = x; this-y = y; } virtual double area() { return 0; } }; 16-1-2 虛擬函數-覆寫虛擬函數 當我們繼承shape類別時，就可以覆寫虛擬函數，例如：宣告circle類別繼承shape類別，如下所示： class circle : public shape { public: double r; circle(double x, double y, double r) : shape(x, y) { this-r = r; } double area() { return (3.1416*r*r); } }; 16-1-2 虛擬函數-呼叫虛擬函數 父類別的物件指標允許指向子類別的物件，以此例，circle也是一種shape類別，所以shape可以指向circle物件，如下所示： shape *c2 = new circle(10.0, 10.0, 7.0); 虛擬函數可以建立動態連結（Dynamic Binding），它和其他成員函數的差異在：當使用物件指標c2呼叫area()函數時，因為area()是虛擬函數，而且c2實際指向的是circle物件，所以實際呼叫的是circle物件的area()成員函數，而不是shape型態的函數，如下所示： c2-area(); 16-1-2 虛擬函數-dynamic_cast運算子 不只如此，因為shape類別的物件變數c2雖然指向circle物件，但是它並不能呼叫或存取子類別新增的成員變數和函數（不包含覆寫的虛擬函數），我們需要先使用dynamic_cast運算子型態（詳見第15-6節的說明）迫換成circle類別的物件變數，如下所示： circle *c; c = dynamic_castcircle *(c2); 16-2 純虛擬函數與抽象類別-什麼是抽象類別 「抽象類別」（Abstract Class）是一種不能完全代表物件的類別，換句話說，它並不能建立物件，其主要的目是作為類別繼承的父類別，用來定義一些子類別的共同部分。 抽象類別並不能建立物件，只能被繼承用來建立子類別。例如：哺乳類動物的分類，如下圖所示： 16-2 純虛擬函數與抽象類別-宣告抽象類別 在C++語言宣告抽象類別是包含純虛擬函數的類別，例如：mammal抽象類別宣告，如下所示： class mammal { public: virtual void show() = 0; }; 類別宣告之所以是抽象類別，因為它包含名為show()的「純虛擬函數」（Pure Virtual Functions），如下所示： virtual void show() = 0; 16-2 純虛擬函數與抽象類別-抽象類別的特點 在抽象類別宣告至少擁有一個純虛擬函數。 抽象類別不能建立物件，可以建立物件的類別稱為「具體類別」（Concrete Classes）。抽象類別只能作為父類別，被繼承用來建立子類別。 抽