C++中的静态绑定和动态绑定（多态）

C++具有多态的特性，理解多态原理需要理解以下四个概念。

       1、对象的静态类型（static type）：就是它在程序中被声明时所采用的类型（或理解为类型指针或引用的字面类型），在编译期确定；

       2、对象的动态类型（dynamic type）：是指“目前所指对象的类型”（或理解为类型指针或引用的实际类型），在运行期确定；

       这两个概念一般发生在基类和派生类之间。

class Base
{
public:
    int a;
    Base()
    {
        a = 1;
        cout << "Base()" << endl;
    }
    ~Base()
    {
        cout << "~Base()" << endl;
    }
};

class Derived : public Base
{
public:
    int b;
    Derived()
    {
        b = 2;
        cout << "Derived()" << endl;
    }
    ~Derived()
    {
        cout << "~Derived()" << endl;
    }
};

int main()
{
    Base *pB = new Derived(); //pB的静态类型为Base, 动态类型为Derived;
    delete pB;
}

 

        3、静态绑定（statically bound）：又名前期绑定（eraly binding），绑定的是静态类型，所对应的函数或属性依赖于对象的静态类型，发生在编译期；
        4、动态绑定（dynamically bound）：又名后期绑定（late binding），绑定的是动态类型，所对应的函数或属性依赖于对象的动态类型，发生在运行期；

一般的，virtual函数是动态绑定，non-virtual函数是静态绑定，缺省参数值也是静态绑定。 

所以~Base()函数是静态绑定的，所以输出结果(delete时会调用析构函数)是: 

Base();
Derived();
~Base();

但将基类析构函数改为虚函数时，即：

public:
    int a;
    Base()
    {
        a = 1;
        cout << "Base()" << endl;
    }
    virtual ~Base()
    {
        cout << "~Base()" << endl;
    }
};

现在输出结果是:

Base();
Derived();
~Derived();
~Base();