[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
请按任意键继续. . .

*/