多态《一》的链接:https://blog.csdn.net/dpfxaca6/article/details/89506636
多态《二》的链接:https://blog.csdn.net/dpfxaca6/article/details/89521976
(1)单继承中的虚函数表
#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;
};
class Derive :public Base {
public:
virtual void func1() { cout << "Derive::func1" << endl; }
virtual void func3() { cout << "Derive::func3" << endl; }
virtual void func4() { cout << "Derive::func4" << endl; }
private:
int b;
};
typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{
// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
cout << " 虚表地址>" << vTable << endl;
for (int i = 0; vTable[i] != nullptr; ++i)
{
//printf(" 第%d个虚函数地址 :0X%x,->\n", i, vTable[i]); //只使用这个不能看出是什么调用哪里?
//VFPTR f = vTable[i];
//f();
printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]); //使用这个进行打印
VFPTR f = vTable[i];
f();
}
cout << endl;
}
int main()
{
Base b;
Derive d;
PrintVTable((VFPTR*)(*(int*)&d));
Base* p = &d;
p->func1(); //调用派生类重写的;
p->func2();//调用基类的,派生类里面没有的;
return 0;
}
下面我们就进行是实现结果;
这里就是单继承的虚函数表的实现。
下面我们在看一下单继承在调试里面看到的结果;
这里我们对应上面的实现,就可以了解到单继承的虚函数表的问题了。
(2)多继承的虚函数表
class Base1 {
public:
virtual void func1() { cout << "Base1::func1" << endl; }
virtual void func2() { cout << "Base1::func2" << endl; }
private:
int b1;
};
class Base2 {
public:
virtual void func1() { cout << "Base2::func1" << endl; }
virtual void func2() { cout << "Base2::func2" << endl; }
private:
int b2;
};
class Derive : public Base1, public Base2 {
public:
virtual void func1() { cout << "Derive::func1" << endl; }
virtual void func3() { cout << "Derive::func3" << endl; }
private:
int d1;
};
typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{
// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
cout << " 虚表地址>" << vTable << endl;
for (int i = 0; vTable[i] != nullptr; ++i)
{
//printf(" 第%d个虚函数地址 :0X%x,->\n", i, vTable[i]); //只使用这个不能看出是什么调用哪里?
//VFPTR f = vTable[i];
//f();
printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);
VFPTR f = vTable[i];
f();
}
cout << endl;
}
int main()
{
Derive d;
VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);
PrintVTable(vTableb1);
//VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d + sizeof(Base1)));
//PrintVTable(vTableb2);
return 0;
}
下面,我们先看一下是先看一下程序执行的代码;
看过这个之后,我们再看一下调试的结果;
《1》通过这俩给的学习,我们可以看出在多继承的虚函数表中,存在base1,和base2,,分别 存在派生类里面,且在派生类的虚函数表里面可以找到的,且是重写的使用派生类的,如果没有被重写,使用的是自己的。
《2》在上面发执行结果哪里可以看到,我们重写的func1使用的派生类的,func2没有被重写,使用的基类base1的,或者base2的,但是func3去哪里了?通过我们的结果,我们可以看到,未被重写的func3存在base1中,没有在base2中。
通过我们之前的类和对象发学习,我们知道还有菱形继承的,但是这里我们不重点说,如果比较想深入了解的同学。可以去网上面搜一搜的。
《二》多继承的常见面试题
- 什么是多态?答:是多种形态,更深的理解 静态与动态(主要的描述)
- 什么是重载、重写(覆盖)、重定义(隐藏)?答:参考上面的内容
- 多态的实现原理?答:虚函数表
- inline函数可以是虚函数吗?答:不能,因为inline函数没有地址,无法把地址放到虚函数表中。
- 静态成员可以是虚函数吗?答:不能,因为静态成员函数没有this指针,使用类型::成员函数的调用方式,可以用类型掉,但是用类型掉,怎么找虚函数啊?
无法访问虚函数表,所以静态成员函数无法放进虚函数表。 - 构造函数可以是虚函数吗?答:不能,因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始
化的。 - 析构函数可以是虚函数吗?什么场景下析构函数是虚函数?答:可以,并且最好把基类的析构函数定义成虚函数。具体参考上面的(2.多态的定义)。
- 。 对象访问普通函数快还是虚函数更快?答:首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函数表中去查找。
8. 虚函数表是在什么阶段生成的,存在哪的?答:虚函数是在编译阶段就生成的,一般情况下存在代码段的。
9.虚函数表和虚基表的分别作用
1. 虚函数表–虚函数
2. 虚基表-偏移量。
- 什么是抽象类? 抽象类的作用答:实现纯虚函数的类。叫抽象类。-强制去重写虚函数,不重写,没有意义,反而带来负面影响了,虚函数不定义成多态,反而带来负面影响。另外抽象类体现出
了接口继承关系。