一、什么是多态
在面向对象开发中,多态是一个很重要的特性。
什么是多态呢?就是程序运行时,父类指针可以根据具体指向的子类对象,来执行不同的函数,表现为多态。
二、C++ 多态的实现原理
【1】 实现原理
1、当类中存在虚函数时,编译器会在类中自动生成一个虚函数表
2、虚函数表是一个存储类成员函数指针的数据结构
3、虚函数表由编译器自动生成和维护
4、virtual 修饰的成员函数会被编译器放入虚函数表中
5、存在虚函数时,编译器会为对象自动生成一个指向虚函数表的指针(通常称之为 vptr 指针)
【2】举个例子
看完上面的实现原理,你可能会觉得有点懵,接下来我们就一点点分析和验证上面的结论。
#include <iostream>
using namespace std;
class Parent
{
public:
// 父类虚函数必须要有 virtual 关键字
virtual void fun()
{
cout << "父类" << endl;
}
};
class Child : public Parent
{
public:
// 子类有没有 virtual 关键字都可以
void fun()
{
cout << "子类" << endl;
}
};
int main()
{
Parent *p = NULL; // 创建一个父类的指针
Parent parent;
Child child;
p = &parent; // 指向父类的对象
p->fun(); // 执行的是父类的 fun() 函数
p = &child; // 指向子类的对象
p->fun(); // 执行的是子类
本文详细介绍了C++多态的实现原理,包括虚函数表(vptr)的作用和对象大小变化的验证,同时探讨了在父类构造方法中调用虚函数是否能实现多态的问题,揭示了vptr的分步初始化过程。
最低0.47元/天 解锁文章

395

被折叠的 条评论
为什么被折叠?



