C++之静态绑定和动态绑定

静态绑定（statically bound）：又名前期绑定（eraly binding），绑定的是静态类型，所对应的函数或属性依赖于对象的静态类型，发生在编译期；
动态绑定（dynamically bound）：又名后期绑定（late binding），绑定的是动态类型，所对应的函数或属性依赖于对象的动态类型，发生在运行期；（要求基类必须有virtual，否则执行的是静态绑定）

• 静态绑定发生在编译期，动态绑定发生在运行期；
• 对象的动态类型可以更改，但是静态类型无法更改；
• 要想实现动态，必须使用动态绑定；
• 在继承体系中只有虚函数使用的是动态绑定，其他的全部是静态绑定；

实例1：静态绑定和动态绑定

#include <iostream>

class A
{
public:
    virtual void func(){ std::cout << "A::func()\n"; }
};
class B : public A
{
public:
    void func(){ std::cout << "B::func()\n"; }
};
class C : public A
{
public:
    void func(){ std::cout << "C::func()\n"; }
};

int main()
{
    B *pb = new B();    动态和静态类型均是B类
    C *pc= new C();     动态和静态类型均是C类
    A *pa  = pc;           静态类型为A类，动态类型为C类
    C *pnull = NULL;   静态类型为A类，动态类型为NULL

    pa->func();
    pb->func();
    pc->func();

    pnull->func();

}

（1）基类没有virtual，静态绑定调用静态类型

A::func()
B::func()
C::func()

C::func()

（2）如果删除C类中的func函数，其结果是

A::func()
B::func()
A::func()
A::func()   调用基类的函数

（3）如果仅仅在A类中增加virtual函数，其结果是

（基类有virtual，动态绑定调用动态类型）

C::func()
B::func()
C::func()

段错误(吐核)

如果C类中未重写func函数，则输出结果为（使用基类函数）

A::func()
B::func()
A::func()

实例2- 动态绑定注意默认参数的使用

#include <iostream>

class E
{
public:
    virtual void func(int i = 0)
    { 
        std::cout << "E::func()\t"<< i <<"\n";
    }
};
class F : public E
{
public:
    void func(int i = 1)
    {
        std::cout << "F::func()\t" << i <<"\n";
    }
};

int main()
{
    F* pf = new F();
    E* pe = pf;
    pf->func();
    pe->func(); 
    pf->func(4);

    pe->func(5); 

    return 0;
}

[root@localhost cplusplus]# ./a.out 
F::func() 1
F::func() 0   （默认参数需要静态绑定，而virtual使用动态绑定，冲突）
F::func() 4
F::func() 5

绝对不要重新定义一个继承而来的virtual函数的缺省参数值，因为缺省参数值都是静态绑定（为了执行效率），而virtual函数却是动态绑定

如果F类不定义默认参数时，F::func() 编译时报错提醒。

注意：

（1）一旦基类是virtual函数，则派生类不能改变virtual的属性，派生类可保留virtual属性

（2）用作基类的类必须是已定义的。如 class A; 仅仅是申明，是不能作为基类的

（3）派生类也可作为基类，对于最底层的派生类来说是直接基类，最上层则是间接基类