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