多态即多种形态,一般指父类中定义的属性或者方法被子类继承后,可以具有不同的数据类型或表现出不同行为。
从广义上来讲,函数的重载(非继承关系,函数名相同,以返回值数据类型或参数列表的数据类型的不同实现)、重写(在继承关系里子类改写父类的虚函数实现),多态变量(父类指针指向子类对象)和泛型(如“模板类”),都是多态的一种表现形式。
重载是在编译时期就确定了调度规则(静态绑定),而重写是在运行时期确定的,具有可选择性(动态绑定)。
重写和多态变量的实现涉及virtual修饰词,如果类里至少有一个成员函数的声明前加了virtual修饰词,那么在编译期编译器将为其生成一张虚函数表(__vftable),由一个虚函数指针(__vfptr)管理。被virtual修饰的函数(即虚函数)将添加到虚函数表,该类在实例化时,通过改变虚函数指针的指向动态绑定类的虚函数表,从而实现多态,实例在访问虚函数时会通过虚函数指针遍历虚函数表,然后调用相匹配的函数。