C++ 多态与虚函数、与构造函数和析构函数的联系

多态与虚函数

面向对象编程中,多态的含义是“一个接口,多种实现”。
多态分为静态多态和动态多态。静态多态是通过模板化和重载技术来实现,在编译的时候确定。动态多态通过虚函数和继承关系来实现,执行动态绑定,在运行的时候确定。
C++中运行时的多态是指根据对象的实际类型来调用相应的函数。如果对象类型是派生类,就调用派生类的函数;如果对象类型是基类,就调用基类的函数。
C++多态性是通过虚函数来实现的,虚函数允许子类重新定义成员函数,而子类重新定义父类方法称为覆盖或重写(override)。

虚函数:
用virtual关键字申明的函数叫做虚函数,虚函数肯定是类的成员函数。
虚函数的作用就是实现动态绑定,也就是在程序的运行阶段动态地选择合适的成员函数。
具体的实现方式,在基类中定义了虚函数后,可以在基类的派生类中对虚函数重新定义,在派生类中重新定义的函数应与虚函数具有相同的形参个数和形参类型,以实现统一的接口,不同定义过程。
如果在派生类中没有对虚函数重新定义,则它继承其基类的虚函数,此时派生类也为抽象类,不能实例化对象。

虚函数表:
当一个类含有一个乃至多个虚函数的时候,将在全局数据区(静态区)中存储该类相应的虚函数表vtbl,编译器给类的每个对象添加一个相同隐藏的成员——虚函数表指针vptr,指向自身类的虚函数表。
虚函数表的大小在编译时确定,不必动态分配内存空间进行存储,因此不虚函数表不存在堆中,根据以上特征,虚函数表类似于类中静态成员变量。静态成员变量也是全局共享,大小确定,所以虚函数表和静态成员变量一样,

你可能感兴趣的:(C++,C++,多态,虚函数)