全文目录
- 虚函数
- 虚函数的重写
- 接口继承和实现继承
- 重载、重写(覆盖)、隐藏(重定义)
- C++11 override 和 final
- 抽象类
- 多态的概念
- 多态原理
- 虚函数表
- 单继承和多继承的虚函数表
- 打印虚函数表
- 单继承的虚函数表
- 多继承的虚函数表
- 常见面试问答题
虚函数
通过virtual
修饰的成员函数
class Person
{
public:
virtual void BuyTicket() { cout << "买票-全价" << endl;}
};
虚函数的重写
派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的
返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。
如果构成重写子类可以不加virtual
。
class Person
{
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person
{
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
/*注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议
这样使用*/
/*void BuyTicket() { cout << "买票-半价" << endl; }*/
};
特例:
- 协变
派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。
// f()依旧构成重写
class Person
{
public:
virtual A* f() {return new A;}
};
class Student : public Person
{
public:
virtual B* f() {return new B;}
};
- 析构函数的重写
如果基类的析构函数为虚函数,只要子类的析构函数定义就构成重写。因为析构函数编译器会统一特殊处理成destructor()
,天然构成重写条件。
// 析构函数底层是同名函数,天然构成重写
class Person
{
public:
virtual ~Person() {cout << "~Person()" << endl;}
};
class Student : public Person
{
public:
virtual ~Student() { cout << "~Student()" << endl; }
};
在继承体系中建议将析构函数定义成虚函数,保证析构函数的正确调用(父类指针指向父类对象调用父类析构,父类指针指向子类对象调用子类析构)
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2; // 如果重写虚构函数,会只调用父类的析构,导致子类资源没有释放
接口继承和实现继承
普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,普通函数继承是一种实现继承。虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口(也就是说重写的函数的接口是父类的接口(参数名,缺省参数按照父类为准)),目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。
重载、重写(覆盖)、隐藏(重定义)
C++11 override 和 final
final:修饰虚函数,表示该虚函数不能再被重写
virtual void Drive() final {}
override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。
class Car{
public:
virtual void Drive(){}
};
class Benz :public Car {
public:
virtual void Drive() override {cout << "Benz-舒适" << endl;}
};
抽象类
在虚函数的后面写上 =0 ,则这个函数为纯虚函数。
class Car
{
public:
virtual void Drive() = 0;
};
包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
多态的概念
计算机程序运行时,相同的消息可能会送给多个不同的类别之对象,而系统可依据对象所属类别,引发对应类别的方法,而有不同的行为。简单来说,所谓多态意指相同的消息给予不同的对象会引发不同的动作。
在C++继承体系中多态构成有两个条件:
- 必须通过基类的指针或者引用调用虚函数
- 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
多态原理
虚函数表
先看代码:
class Base
{
public:
virtual void Func1()
{
cout << "Func1()" << endl;
}
private:
int _b = 1;
};
一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数
的地址要被放到虚函数表中,虚函数表也简称虚表。
深入研究,改造一下代码:
// 针对上面的代码我们做出以下改造
// 1.我们增加一个派生类Derive去继承Base
// 2.Derive中重写Func1
// 3.Base再增加一个虚函数Func2和一个普通函数Func3
class Base
{
public:
virtual void Func1()
{
cout << "Base::Func1()" << endl;
}
virtual void Func2()
{
cout << "Base::Func2()" << endl;
}
void Func3()
{
cout << "Base::Func3()" << endl;
}
private:
int _b = 1;
};
class Derive : public Base
{
public:
virtual void Func1()
{
cout << "Derive::Func1()" << endl;
}
private:
int _d = 2;
};
int main()
{
Base b;
Derive d;
return 0;
}
同样的通过调试观察对象:
总结:
- 基类b对象和派生类d对象虚表是不一样的,这里我们发现
Func1
完成了重写,所以d的虚表中存的是重写的Derive::Func1
,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法,覆盖是原理层的叫法。 - 只有虚函数是才能进入虚表。
- 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个
nullptr
- 派生类虚表的生成:
- 先将基类中的虚表内容拷贝一份到派生类虚表中
- 如果派生类重写了基类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数
- 派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。
- 虚表存放在对象中,虚函数存放在代码断中。
当构成多态时,父类指针或引用指向父类对象时在父类的虚表中找函数地址,父类指针或引用指向子类对象时在子类的虚表中找函数地址。
单继承和多继承的虚函数表
打印虚函数表
通过将对象地址强转int*
类型后解引用,取到虚表的地址,根据虚表后面的nullptr
判断结束:
typedef void(*VFPTR)(); // void ()类型的函数指针
void PrintVTable(VFPTR vTable[])
{
// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
cout << " 虚表地址>" << vTable << endl;
for (int i = 0; vTable[i] != nullptr; ++i)
{
printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);
VFPTR f = vTable[i];
f();
}
cout << endl;
}
int main()
{
Base b;
Derive d;
// 思路:取出b、d对象的头4bytes,就是虚表的指针,前面我们说了虚函
// 数表本质是一个存虚函数指针的指针数组,这个数组最后面放了一
// 个nullptr
// 1.先取b的地址,强转成一个int*的指针
// 2.再解引用取值,就取到了b对象头4bytes的值,这个值就是指向虚表
// 的指针
// 3.再强转成VFPTR*,因为虚表就是一个存VFPTR类型(虚函数指针类型)
// 的数组。
// 4.虚表指针传递给PrintVTable进行打印虚表
// 5.需要说明的是这个打印虚表的代码经常会崩溃,因为编译器有时对虚
// 表的处理不干净,虚表最后面没有放nullptr,导致越界,这是编译器
// 的问题。我们只需要点目录栏的-生成-清理解决方案,再编译即可。
VFPTR* vTableb = (VFPTR*)(*(int*)&b);
PrintVTable(vTableb);
VFPTR* vTabled = (VFPTR*)(*(int*)&d);
PrintVTable(vTabled);
return 0;
}
单继承的虚函数表
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;
};
其对象的虚表:
在监视窗口看不到fun3() 和 fun4()
,可能是vs的小bug,但是通过打印虚表可以推测出其存放的位置:
多继承的虚函数表
单继承好理解,毕竟只有一个嘛,多继承就有点迷糊,多出来的虚函数放在哪里呢?
同样通过打印虚函数表,可以看出:多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中
如果派生类中重写了父类中的同一个虚函数,虽然指向的函数时同一个函数,但是两个函数的地址是不一样的。
如果构成第一个基类的多态:直接在第一张虚表里面找, 跳转到函数执行的位置。
如果构成第二个基类的多态:先找到第一张虚表的地址,通过第一张虚表来进行调用。
常见面试问答题
- inline函数可以是虚函数吗?
答:可以,不过编译器就忽略inline属性,这个函数就不再是inline,因为虚函数要放到虚表中去。
- 静态成员可以是虚函数吗?
答:不能,因为静态成员函数没有this指针,使用类型::成员函数的调用方式无法访问虚函数表,所以静态成员函数无法放进虚函数表。
- 构造函数可以是虚函数吗?
答:不能,因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。
- 析构函数可以是虚函数吗?什么场景下析构函数是虚函数?
答:可以,并且最好把基类的析构函数定义成虚函数。
- 对象访问普通函数快还是虚函数更快?
答:首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函
数表中去查找。
- 虚函数表是在什么阶段生成的,存在哪的?
答:虚函数表是在编译阶段就生成的,一般情况下存在代码段(常量区)的(不要与虚函数指针搞混了)。
- 什么是抽象类?抽象类的作用?
答:参考(抽象类)。抽象类强制重写了虚函数,另外抽象类体现出了接口继承关系。