目录
上期,我们学习了多态的基本概念,本期我们来学习多态的实现原理。
多态的实现原理
class Base
{
public:
virtual void func1()
{
cout << "Base::func1()" << endl;
}
private:
int _a;
char _ch;
};
对于上述Base这个类而言,sizeof(Base)有多大呢?
大多数人可能认为是8个字节,按照以往的知识,考虑了内存对齐的大小之后,看似是8个字节貌似也没有什么问题,我们不妨通过实践,来看一下这个Base有多大。
通过运行结果不难发现,Base类的大小竟然是12字节,这是为什么呢?我们通过创建了一个Base类对象通过监视窗口进一步查看。
通过监视窗口,我们不难看出,虽然我们只定义了两个成员,但是实际上Base类中有三个成员,那么这个_vfptr成员变量是什么呢?
_vfptr我们称它为虚函数表指针,它指向了一个虚函数表,虚函数表就是一个虚函数指针数组,里面存储虚函数的地址,在子类虚函数表中,会先去存放从子类中继承下来的虚函数地址,然后再去存放自己类中生成的虚函数的地址。
那么有了这个虚函数表指针之后,我们是如何在底层实现多态的呢?
代码如下。
class Base
{
public:
virtual void func1()
{
cout << "Base::func1()" << endl;
}
private:
int _a;
char _ch;
};
class Child:public Base
{
public:
virtual void func1()
{
cout << "Child::func1()" << endl;
}
};
int main()
{
Base b;
Child c;
Base& b2 = b;
b2.func1();
Base& b3 = c;
b3.func1();
return 0;
}
运行结果如下。
我们发现,上述代码实现了多态。通过图示为大家讲解原理。
当我我们把b对象传给它的引用b2时,b2调用func1函数时,先会去找b的虚函数指针,然后通过虚函数指针找到b的虚函数表,然后在虚函数表中找到func1函数的地址然后去调用,这样就完成了调用父类Base类中的虚函数func1。
当我们把c对象床位它的引用b3时,b3调用func1函数时,先会去找c的虚函数指针,然后通过虚函数指针找到c的虚函数表,然后在虚函数表中找到func1函数的地址然后去调用,这样就完成了调用子类Child类中的虚函数func1。
简单来说,就是父类类的指针或者引用会根据传来的是子类还是父类对象,去对应的子类或者父类对象的虚函数表中去调用对应的虚函数,这便是多态的实现原理。
多态的拓展
示例代码如下。
我们发现,同样的两个父类对象,他们的虚函数指针也是相同的。这其实也是多态的一个特点,就是同类的对象共用一张虚函数表,子类会继承父类的虚函数表,但是会对继承下来的虚函数表进行改写,所以虽然子类会继承父类的虚函数表,但是因为进行了改写,所以本质上子类的虚函数表和父类的虚函数表是两张不同的表。
这不由得产生了一个问题,虚函数表存放在哪里?栈里面吗?
当然不是,如果是栈里面,那么虚函数表的生命周期就随对象,太过麻烦,我们直接给出结论,虚函数表是与虚函数一眼个都是存放在代码段的。
单继承中的多态
代码如下。
#include<iostream>
using namespace std;
class Base
{
public:
virtual void func1()
{
cout << "Base::func1()" << endl;
}
virtual void func2()
{
cout << "Base::func2()" << endl;
}
private:
int _a;
char _ch;
};
class Child:public Base
{
public:
virtual void func1()
{
cout << "Child::func1" << endl;
}
virtual void func3()
{
cout << "Child::func3" << endl;
}
};
int main()
{
Base b;
Child c;
return 0;
}
调试窗口如下。
我们发现子类的虚表中,存储从父类中继承下来的func2以及重写之后的func1,自己的func3函数其实也在虚表中,但是通过调试窗口看不见,只能通过内存观察。
多继承中的多态
代码如下。
#include<iostream>
using namespace std;
class Base1
{
public:
virtual void func1()
{
cout << "Base1::func1()" << endl;
}
virtual void func2()
{
cout << "Base1::func2()" << endl;
}
private:
int _a;
char _ch;
};
class Base2
{
public:
virtual void func3()
{
cout << "Base2::func3()" << endl;
}
virtual void func4()
{
cout << "Base2::func4()" << endl;
}
private:
int _a;
char _ch;
};
class Child:public Base1,public Base2
{
public:
virtual void func1()
{
cout << "Child::func1" << endl;
}
virtual void func3()
{
cout << "Child::func3" << endl;
}
virtual void func5()
{
cout << "Child::Func5" << endl;
}
};
int main()
{
Child c;
return 0;
}
监视窗口如下。
多继承中,子类会继承父类中的两个虚表并进行改写。继承下来的父类1的虚表存放从父类1中继承下来的fun1和func2函数,同样的,继承下来的父类2的虚表中存放从父类2中继承下来的func3和func4函数。
那么问题来了,子类中的虚函数func5到底存储在那个虚表里呢,是父类1还是父类2,父类1为Base1,父类2为Base2,调试通过内存进行观察。
Base1虚表中的内容如下。
Base2虚表中的内容如下。
子类首先继承了父类Base1,然后继承了父类Base2,所以我们得出了结论,多继承中,子类的虚函数存放在首先继承的父类的虚表里面。
以上便是多态的所有内容。
本期内容到此结束^_^