C++类的多态性
1、多态的介绍
所谓多态性就是用一个函数名调用不同内容的函数,实现“一个接口,多种方法”。
简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数。(通过虚函数)
多态分为两种:静态多态和动态多态。
- 静态多态:函数重载和运算符重载。
- 动态多态:派生类和虚函数运行时多态。
两者区别:静态多态函数地址早绑定,编译阶段确定函数地址动态多态函数地址晚绑定,运行阶段确定函数地址。
多态满足的条件:
- 有继承关系。只有父类和子类,才会有多态这种现象
- 父类指针或者父类引用指向子类对象
- 父类和子类中有同名的虚函数,并且在子类中重写同名虚函数
多态的缺点:
- 降低了程序运行效率(多态需要去找虚表的地址)
- 空间浪费
2、静态多态
1、函数重载
重载:函数名相同,作用域不同,函数参数不同。
2、泛型编程
3、虚函数
1、什么是虚函数?
在某个基类声明为virtual并在一个或多个派生类中被重新定义的成员函数。
语法格式:
virtual 函数返回类型 函数名(参数列表){函数名}
2、虚函数的作用
虚函数继承是解决多态性的,当用基类指针指向派生类对象时,基类指针调用虚函数的时候会自动调用派生类的虚函数,这就是多态性,也叫动态编联。
#include<iostream>
using namespace std;
class A {
public:
virtual void print1() {}//虚函数,由子类B完善
virtual void print2(){}//虚函数,由子类C完善
};
class B :public A {
public:
void print1() {//完善A类的虚函数print1()
cout << "这里是B的成员函数!" << endl;
}
};
class C : public A {
public:
void print2() {//完善A类的虚函数print2()
cout << "这里是C的成员函数!" << endl;
}
};
int main() {
A *a;//建立基类A的指针
a = new B;
a->print1();//使用B子类的函数
a = new C;
a->print2();//使用C子类的函数
}
输出:
这里是B的成员函数!
这里是C的成员函数!
3、虚函数的工作原理
编译器处理虚函数的方法是:
给每个对象添加一个隐藏成员。隐藏成员中保存了一个指向函数数组的指针。这种数组称为虚函数表(vtbl)。虚函数表中存储了为类对象进行声明的虚函数的地址。
例子:
例如,基类对象包含一个指针,该指针指向基类中所有虚函数的地址表。派生类对象将包含一个指向独立地址表的指针。
如果派生类提供了虚函数的新定义,该虚函数表将保存新函数的地址;如果派生类没有重新定义虚函数,该vtbl将保存函数原始版本的地址。如果派生类定义了新的虚函数,则该函数的地址也将被添加到vtbl中。
注意,无论类中包含的虚函数是1个还是10个,都只需在对象中添加一个地址成员,只是表的大小不同而已。
虚函数使用的过程:
调用虚函数时,程序将查看存储在对象中vtbl地址,然后转向相应的函数地址表。如果使用类声明中定义的第一个虚函数,则程序将使用数组中的第一个函数地址,并执行具有该地址的函数;如果使用类声明中定义的第三个虚函数,程序将使用地址为数组中第三个元素的函数。
使用虚函数,在内存和执行速度方面有一定的成本,包括:
每个对象都将增大,增大量为存储地址的空间;
对于每个类,编译器都创建一个虚函数地址表(数组)
对于每个函数调用,都需要执行一项额外的操作,即到表中查找地址。
虽然非虚函数的效率比虚函数稍高,但不具备动态联编功能。
4、动态多态
1、动态多态的条件:
- 基类中必须包含虚函数,并且派生类中一定要对基类中的虚函数进行重写。
- 通过基类对象的指针或者引用调用虚函数。
未完待续……