[C++]動態綁定和靜態綁定

C++的動態綁定和靜態綁定

Ref: https://blog.csdn.net/chgaowei/article/details/6427731

對象的靜態類型： 對象在聲明時採用的類型。是在編譯期確定的。

對象的動態類型： 目前所指對象的類型。是在運行期決定的。對象的動態類型可以更改，但是靜態類型無法更改。

靜態綁定： 綁定的是對象的靜態類型，某特性（比如函數）依賴於對象的靜態類型，發生在編譯期。

動態綁定： 綁定的是對象的動態類型，某特性（比如函數）依賴於對象的動態類型，發生在運行期。

需要注意的是： 虛函數是動態綁定的，但是爲了執行效率，缺省參數是靜態綁定的。因此要記住：“絕不重新定義繼承而來的缺省參數（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
請按任意鍵繼續. . .

*/