静态绑定(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)派生类也可作为基类,对于最底层的派生类来说是直接基类,最上层则是间接基类