在学习C++多态(静态多态、动态多态)中,遇到了对于早绑定和晚绑定的一些疑问,所以查了下资料,写篇博客记录下,方便以后的继续学习。
1.概念
首先,什么是绑定?( what`s the definition of binding? )
C++编程思想上面说到:
Connecting a function call to a function body is called binding.(将函数体和函数调用关联起来,就叫绑定)
然后,那么什么是早绑定?(Early binding)
When binding is performed before the program is run (by the compiler and linker), it' s called early binding
在程序运行之前(也就是编译和链接时),执行的绑定是早绑定。
然后,什么是迟绑定?(late binding)
late binding, which means the binding occurs at runtime, based on the type of the object. When a language implements late binding, there must be some mechanism to determine the type of the object at runtime and call the appropriate member function.
迟绑定发生在运行时,基于不同类型的对象。当一种语言实现迟绑定时,必须有某种机制确定对象的具体类型然后调用合适的成员函数。
2.举例分析
举例:
class Animal
{
public:
virtual void sleep() //虚函数
{
cout << "Animal sleep!" << endl;
}
void breath()
{
cout << "Animal breath!" << endl;
}
};
class Fish :public Animal
{
public:
void sleep() //函数重写,这里可以添加virtual,也可以不添加
{
cout << "Fish sleep!" << endl;
}
void breath()
{
cout << "Fish breath!" << endl;
}
};
int main()
{
Fish f;
Animal* a = &f; //基类指针指向派生类
a->breath();
a->sleep();
return 0;
}
结果: Animal breath!
Fish sleep!
结果解析: a是指向Animal(基类)的指针,指向派生类对象,调用基类的breath()函数;调用sleep(派生类 )的Fish sleep。 sleep函数是虚函数,在Fish中重写(覆盖)了基类;但breath()函数不是虚函数,在Fish(派生类)里面也有一个同名的函数,发生了同名隐藏。
这 就是多态的性质,当父类指针指向子类对象时,这是会调用子类虚表中的虚函数, 当然如果是非虚函数,则没
有该类没有虚表,则只会按指针去找代码区中的函数实现。 当然父类指针就会找到父类里的函数,所有输出会是
animal breath!
其实,多态也主要通过虚函数来实现。
3.这种特性如何实现的?
首先,在C++中,虚函数用virtual关键字标示。当子类重写父类的虚函数时,在子类中自动的该函数也是虚函数!
对于带有虚函数的类,在数据区里会有其对应的一个虚函数表。而且每一个虚函数表都会有一个虚指针VTPR。如果是同一类型的对象,则虚函数指针指向同一地址。
那让我们再来看看多态的实现机制 :
首先父类会有一个虚函数表,子类对象也对应一个虚函数表,虚函数指针是在对象的构造函数调用时生成的。
当把一个子类对象赋值给父类指针时,由于虚函数指针只是属于对象的,所以父类指针中的虚函数指针则是子类的!
但调用虚函数时,会根据这个虚函数指针去虚函数表里寻找。所以调用的代码和对象的类型相关。
4.两者的优点:
早绑定的优点是:
编译效率
代码提示(代码智能感知)
编译时类型检查
晚绑定的优点是:
不用申明类型
对象类型可以随时更改
参考资料: