C++多繼承多型的實現

如果一個類中存在虛擬函式，在宣告類的物件時，編譯器就會給該物件生成一個虛擬函式指標，該虛擬函式指標指向該類對應的虛擬函式表。
多型的實現是因為使用了一種動態繫結的機制，在編譯期間不確定呼叫函式的地址，在呼叫虛擬函式的時候，去查詢虛擬函式指標所指向的虛擬函式表。
派生類生成的物件中的虛擬函式指標指向的是派生類的虛擬函式表，因此無論是基類還是派生來呼叫，都是查詢的是派生類的表，呼叫的是派生類的函式。

如果發生了多繼承，多個基類中都有虛擬函式，那麼該是怎樣的呢？虛擬函式指標如何排列，多個基類的指標為什麼能夠同時指向派生類物件，同時發生多型？
請看下面這段程式

#include <stdio.h>
 

#include <iostream>
using namespace std;

class Base1{

    public:
    void fun()
    {
        printf("this is Base1 fun\n");
    }
    virtual void fun1()
    {
        printf("this is Base1 fun1\n");
    }
};

class Base2{
    public:
    void fun()
    {
        printf("this is Base2 fun\n"
 
);
    }
    virtual void fun2()
    {
        printf("this is Base2 fun1\n");
    }
};

class Derived : public Base1,public Base2{
    public:
    void fun()
    {
        printf("this is Derived fun\n");
    }
    void fun1()
    {
        printf("this is Derived fun1\n");
    }
    void fun2()
    {
        printf
 
("this is Derived fun2\n");
    }
};

int main()
{
    Derived  *pd = new Derived();
    Base1 *p1 = (Base1 *)pd;
    Base2 *p2 = (Base2 *)pd;
    p1->fun();
    p2->fun();
    p1->fun1();
    p2->fun2();
    printf("Base1 p1:%x\n", p1);
    printf("Base2 p2:%x\n", p2);
    return 0;
}

執行結果如下

[email protected] ~/code/c++/cpp_muti_drived 
$ ./muti_derived 
this is Base1 fun
this is Base2 fun
this is Derived fun1
this is Derived fun2
Base1 p1:2097c20
Base2 p2:2097c28

Derived類分別繼承了Base1和Base2，根據結果來看，均發生了多型。基類指標呼叫函式，呼叫的均是派生類的物件。
通過打印出了p1和p2的地址，發現他們相差了8個位元組，就能明白了，在做型別轉換的過程中，如果把地址傳給第二個基類的指標的時候會自動把地址減去8，在64位系統下，剛好是一個指標的長度。因此p2指向的實際上是第二個虛擬函式指標的地址，這樣，就能夠實現多繼承的多型了。