C 多型，虛函式

在c++中可以用基類指標指向其派生類，如果乙個派生類繼承多個父類，那麼如何通過基類指標訪問同名的成員呢？

如果基類a,基類b中都有函式fun(),派生類在同時繼承a、b後在記憶體中根據繼承的順序分配記憶體，例如在繼承列表中出現的是b,a，那麼b中的成員在a的之前，當我們用b的指標去訪問時候，編譯器便將指標指向b的成員，同理用a的指標去訪問，編譯器便將指標指向a的成員。

class base1
{public: 
int val;
void fun()
{ cout<
deriver *der=new deriver;
base1 *p1=der;
p1->fun();
base2 *p2=der;
p2->fun();

輸出：

output from base1

output from base2

我們知道我們要通過乙個基類的指標訪問派生類中和基類同名的成員的時候，需要將基類中同名的函式宣告為虛函式這樣就可以通過基類的指標訪問派生類的同名成員了

class base1
{public: 
int val;
virtual void fun()
{ cout<
deriver *der=new deriver;
base1 *p1=der;
p1->fun();
base2 *p2=der;
p2->fun();

結果輸出：

因為base1中fun()宣告為虛函式，用base1的指標去訪問fun()的時候會訪問到派生類中的成員，而base2中沒有宣告為虛函式，在訪問時訪問到了基類的成員。可以看到，在派生類中並沒有顯示的宣告fun()為虛函式，當派生類中的成員函式在

與基類都相同時，派生類的函式變覆蓋了基類同名函式，但是任然可以通過base1：：fun()限定符來訪問積累中的成員，一般只有那些希望實現多型的函式採用virtual修飾，否則就會出現用上面那樣，基類指標和派生類指標訪問到的成員不同的情況造成混亂。

最後，只有通過指標和引用訪問成員的時候才會出現多型。

總之，宣告為虛函式，呼叫的時候取決於指向物件的型別，沒有宣告，呼叫取決於指標的型別。

析構函式為虛函式的情況

有了上面的討論可以知道，當我們用乙個基類的指標指向乙個派生類的時候，如果函式宣告為虛函式，那麼就會根據具體是指向哪乙個類來呼叫改函式，析構函式也是如此。當我們用指向派生類的基類指標進行delete操作的時候，如果析構函式宣告為虛函式，那麼就會以以下方式進行析構函式呼叫

class base1
{public: 
virtual ~base1()
{ cout<
deriver *der=new deriver;
base1 *p1=der;
p1->fun();
delete p1;

得到如下結果

可以看到base2的析構函式沒有被呼叫。