这一篇介绍一下 C++ 面向对象三大特征之一的多态(之前面试某大厂的实习生被问到多态,后来又了解到一些设计模式,才体会到多态的强大,在这里把对多态的一点点浅显认识总结一下)
如有侵权,请联系删除,如有错误,欢迎大家指正,谢谢
多态
- 父类的一个指针,可以有多种执行状态(父类的指针调用子类的函数),即多态
- 多态实际上只是一种思想,而虚函数是实现这个思想的语法基础
虚函数
虚表
- 若对象有虚函数,对象空间最开始 4Byte(32Bit目标平台)或 8Byte(64bit目标平台)内容是虚表(虚函数列表)的首地址,叫虚指针
- 在实例化对象时,编译器检测到虚函数(virtual修饰的成员函数)时,会将虚函数的地址放到虚表(类似于一个存放函数指针的数组)中
- 当实例化子类时,检测到有虚函数的重写,编译器会用子类重写的虚函数地址覆盖掉之前父类的虚函数地址,当调用虚函数时,检测到函数是虚函数就会从虚表中找对应的位置调用,若子类没有重写,虚表中的虚函数地址就还是父类的,若子类中有重写,虚表记录的就是子类重写的虚函数地址,即实现了父类的指针调用子类的函数
- 虚表中先记录父类中的虚函数地址,接着记录子类中虚函数地址(若子类重写父类的虚函数则是覆盖)
- 最后虚表还有一个尾值是 0
class Test {
public:
virtual void vfunc() {
cout << "Test virtual function" << endl;
}
};
cout << sizeof(Test) << endl;
Test* p = new Test;
p->vfunc();
// 将类指针p强转为long long指针,访问前8Byte(long long*每次操作8Byte)获取到虚表指针,再将虚表指针转为long long指针,访问前8Byte获取到函数指针,将函数指针强转为void(*)()类型(类中的虚函数类型),即可调用函数
reinterpret_cast<void(*)()>(reinterpret_cast<long long*>(*reinterpret_cast<long long*>(p))[0])();
// 将上面的函数指针下移8Byte获得虚表的尾值0
cout << reinterpret_cast<long long*>(*reinterpret_cast<long long*>