動態聯編的意義：省事
一個derived類物件，要呼叫一個函式，他就會在自己的類中查詢函式名，如果找到了就呼叫自己的；
如果沒找到就到基類找，呼叫基類的函式。（名字查詢優先於型別檢查，找到名字符合的就停下來，不向上一個基類的作用域繼續找）。

class A
{
public:
    virtual void fun()      //1
    {
        std::cout << "this is A " << std::endl;
    }
};


class B : public  A
{
public:
    void fun()      
    {
        std
 
::cout << "this is B " << std::endl;
    }
    /*
    void fun(int a)   //   2 
    {
        std::cout << "this is B " << std::endl;
    }
    */
};


int main(int argc, const char* argv[])
{
    A a;
    B b;
    a.fun();
    b.fun();
    return 0;
}

上面的函式執行起來沒問題，結果

this is A
this
 
 is B

但是，如果把B類裡的函式加上引數，即上面程式碼塊的 2 號 函式。此時，執行b.fun( ); 按理應當執行基類A的fun(),因為B的fun()引數和呼叫不符合，但是這段程式碼編譯會報錯error: no matching function for call to ‘B::fun()’,，編譯器找不到匹配的函式。即，名字查詢優先於型別檢查，找到名字符合的就停下來，不向上一個基類的作用域繼續查詢。這就是同名隱藏。

為什麼要用指標或引用：
1、指標或者引用操作時，派生類的虛表會被給過去（這才是重點），這個指標就能按照這個虛表呼叫虛擬函式。
2、預設的賦值運算子並不會操作虛擬函式表。所以要實現多型，必須使用指標或者引用。

為什麼要用基類指向派生類這種方式：
為了跳過同名隱藏這一道坎，使用基類指標變成呼叫虛擬函式變成從上往下找；

class A
{
public:
    virtual void fun()
    {
        std::cout << "this is A " << std::endl;
    }
};


class B : public  A
{
public:
    void fun(int a)
    {
        std::cout << "this is B " << std::endl;
    }
};


class C : public B
{
public:
    void fun ()
    {
        std::cout << "this is C " << std::endl;
    }
};

int main(int argc, const char* argv[])
{
    A* Pb = new B;
    A* Pc = new C;
    Pb->fun();
    Pc->fun();
    return 0;
}                                              

輸出結果：

this is A
this is C

可以看到，A*型別的指標指向了B，但是執行的卻是A的函式。