C++的動態繫結和靜態繫結

物件的靜態型別： 物件在宣告時採用的型別。是在編譯期確定的。

物件的動態型別： 目前所指物件的型別。是在執行期決定的。物件的動態型別可以更改，但是靜態型別無法更改。

靜態繫結： 繫結的是物件的靜態型別，某特性（比如函式）依賴於物件的靜態型別，發生在編譯期。

動態繫結： 繫結的是物件的動態型別，某特性（比如函式）依賴於物件的動態型別，發生在執行期。

需要注意的是： 虛擬函式是動態繫結的，但是為了執行效率，預設引數是靜態繫結的。因此要記住：“絕不重新定義繼承而來的預設引數（Never redefine function’s inherited default parameters

TODO： 為了更深入瞭解，需要讀《深入探索C++物件模型》

#include <iostream>

using namespace std;

class A {
public:
    void DoSomething()
    {
        cout << "A:DoSomething" << endl;
    }
    virtual void vFun(int i = 10)
    {
        cout << "A:vFun:" << i << endl;
    }
};

class
 
 B : public A {
public:
    void DoSomething()  // //首先說明一下，這個子類重新定義了父類的no-virtual函式，這是一個不好的設計，會導致名稱遮掩；這裡只是為了說明動態繫結和靜態繫結才這樣使用。  
    {
        cout << "B:DoSomething" << endl;
    }
    virtual void vFun(int i = 20)
    {
        cout << "B:vFun:" << i << endl;
    }
};

// 特別需要注意的地方
 

// 當預設引數和虛擬函式一起出現的時候情況有點複雜，極易出錯。我們知道，虛擬函式是動態繫結的，但是為了執行效率，預設引數是靜態繫結的。

class C : public A {
public:
    void DoSomething()
    {
        cout << "C:DoSomething" << endl;
    }
    virtual void vFun()
    {
        cout << "C:vFun" << endl;
    }
};

int main()
{
    A* pA = new B();        // pA的靜態型別是A*，動態型別是B*
    B* pB = new B();        // pB的靜態型別是B*，動態型別也是B*
    C* pC = new C();        // pC的靜態型別是C*，動態型別也是C*

    // 從下面可以看出，只有虛擬函式才使用的是動態繫結，其他的全部是靜態繫結。
    // 另外需要注意的是：虛擬函式是動態繫結的，但是為了執行效率，預設引數是靜態繫結的。
    // 因此要記住：“絕不重新定義繼承而來的預設引數（Never redefine function’s inherited default parameters value.）”
    pA->DoSomething();
    pA->vFun();
    pB->DoSomething();
    pB->vFun();

    pA = pC;

    return 0;
}

/*

A:DoSomething
B:vFun:10
B:DoSomething
B:vFun:20
請按任意鍵繼續. . .

*/