文章目录
前言
前面已经学习了有关继承的内容,接下来将会讲解C++最后的、也是最难的一个特性——多态。需要声明的,本节内容中的代码及解释都是在vs2019下的x86程序中,涉及的指针都是4bytes。如果要其他平台下,部分代码需要改动。比如:如果是x64程序,则需要考虑指针是8bytes问题等等。
1.多态的概念
多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会产生出不同的状态。举个栗子:比如买票这个行为,当普通人买票时,是全价买票;学生买票时,是半价买票;军人买票时是优先买票
2. 多态的定义及实现
2.1多态的构成条件
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了Person。Person对象买票全价,Student对象买票半价。
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
void Func(Person& p)
{
p.BuyTicket();
}
int main()
{
Person ps;
Student st;
Func(ps);
Func(st);
return 0;
}
不同对象调用同一个函数出现了不同的结果,这就是多态。
在继承中要构成多态还有两个条件:
- 必须通过基类的指针或者引用调用虚函数
在上面的Func函数中的参数就是父类对象的引用。
- 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写。
虚函数就是在类的成员函数前面加上virtual关键字。
2.2 虚函数
虚函数:即被virtual修饰的类成员函数称为虚函数。
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
2.3虚函数的重写
虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用。但是也有一些用处,比如在后面将要讲到的析构函数的重写,它可以有效避免派生类的虚函数忘记写virtual。
void BuyTicket() { cout << "买票-半价" << endl; }
2.3.1 虚函数重写的第一个例外——协变
协变:基类与派生类虚函数返回值类型不同。派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。
class A
{};
class B : public A
{};
class Person {
public:
virtual A* f() { return new A; }
};
class Student : public Person {
public:
virtual B* f() { return new B; }
};
2.3.2 虚函数重写的第二个例外——析构函数的重写
如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字,都与基类的析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同,看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor。
class Person {
public:
~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
~Student() { cout << "~Student()" << endl; }
};
int main()
{
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2;
return 0;
}
我们发现它并没有调用子类的析构函数,这是因为delete是根据类型来释放空间的,虽然new的是Student,但是指针是Person*,因此它只会调用Person的析构函数。此时就需要用到多态了,通过调用相同的函数得到不同的效果。
class Person {
public:
virtual ~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
virtual ~Student() { cout << "~Student()" << endl; }
};
int main()
{
Person* p1 = new Person;
Person* p2 = new Student;
//p1->destructor() + operator delete(p)
delete p1;
//p2->destructor() + operator delete(p)
delete p2;
return 0;
}
为什么它们的析构函数是相同的,是因为在底层都会被替换成destructor() + operator delete§,因此虽然看起来不一样,但实际上还是一样的,可以构成虚函数重写关系。
那我们就来看看一道题:
这道题的答案为B。原因:
1.虽然B中的func没有写virtual,但是A中写了,所以我们依旧认为它构成了多态,但是test()在B中并没有实现,所有test()不构成多态。
2.定义的是一个B类的对象,由于B继承了A,所有可以调用A类中的test()函数。
3.继承仅仅只是让B类对象可以使用A类中的public部分,并不是重新拷贝了一份test()来给B使用,因此虽然是B类指针在调用,但test()中的this指针依旧是A*。
4.func()是构成多态的,虽然是A* 的指针调用func(),但是我们知道这刚好构成多态调用的条件:是父类的指针或引用来调用。虽然是父类(A*)调用,但是传过来的是子类(B*)的指针,因此实际上调用的是B类中的func()。
5.虚函数重写的意思只是重写函数内容,而不重写函数接口。意思就是依旧是调用A类中func()的接口,但是走的确实B类中func()的函数体。
2.4 C++11 override 和 final
从上面可以看出,C++对函数重写的要求比较严格,但是有些情况下由于疏忽,可能会导致函数名字母次序写反而无法构成重载,而这种错误在编译期间是不会报出的,只有在程序运行时没有得到预期结果才来debug会得不偿失,因此:C++11提供了override和final两个关键字,可以帮助用户检测是否重写。
- final:修饰虚函数,表示该虚函数不能再被重写
class Car
{
public:
virtual void Drive() final {}
};
class Benz :public Car
{
public:
virtual void Drive() { cout << "Benz-舒适" << endl; }
};
- final 修饰类,不能被继承
- final 修饰虚函数,不能被重写
- override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。
class Car {
public:
virtual void Drive() {}
};
class Benz :public Car {
public:
virtual void Drive() override { cout << "Benz-舒适" << endl; }
};
2.5 重载、覆盖(重写)、隐藏(重定义)的对比
3. 抽象类
3.1 概念
在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,但是可以定义指针。只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
3.2 接口继承和实现继承
普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。
3.2 接口继承和实现继承
普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。
4.多态的原理
4.1虚函数表
虚函数表实际上就是一个函数指针数组,是一个数组,存放的是函数指针。
我们发现结构竟然是8,这是为什么呢?我们通过调试来看看还存储了什么。
通过观察测试我们发现b对象是8bytes,除了_b成员,还多一个__vfptr放在对象的前面(注意有些平台可能会放到对象的最后面,这个跟平台有关),对象中的这个指针我们叫做虚函数表指针(v代表virtual,f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数的地址要被放到虚函数表中,虚函数表也简称虚表。
只有虚函数才会有虚函数表指针。
针对上面的代码我们做出以下改造
- 我们增加一个派生类Derive去继承Base
- Derive中重写Func1
- Base再增加一个虚函数Func2和一个普通函数Func3
通过观察和测试,我们发现了以下几点问题:
- 派生类对象d中也有一个虚表指针,d对象由两部分构成,一部分是父类继承下来的成员,虚表指针也就是存在部分的另一部分是自己的成员。
- 基类b对象和派生类d对象虚表是不一样的,这里我们发现Func1完成了重写,所以d的虚表中存的是重写的Derive::Func1,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法,覆盖是原理层的叫法。
- 另外Func2继承下来后是虚函数,所以放进了虚表,Func3也继承下来了,但是不是虚函数,所以不会放进虚表。
- 虚函数表本质是一个存虚函数指针的指针数组,一般情况这个数组最后面放了一个nullptr。
- 总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。
- 这里还有一个大家很容易混淆的问题:虚函数存在哪的?虚表存在哪的? 答:虚函数存在虚表,虚表存在对象中。注意上面的回答的错的。但是很多童鞋都是这样深以为然的。注意虚表存的是虚函数指针,不是虚函数,虚函数和普通函数一样的,都是存在代码段的,只是他的指针又存到了虚表中。另外对象中存的不是虚表,存的是虚表指针。那么虚表存在哪的呢?实际我们去验证一下会发现vs下是存在代码段的。
- 多个对象是公用同一个虚表的。
- 虚函数和普通函数一样都是存放在代码段的,同时把虚函数地址存放到一份虚函数表。
- 虚表是存放在代码段的。
4.2多态的原理
上面分析了这个半天了那么多态的原理到底是什么?还记得这里Func函数传Person调用的Person::BuyTicket,传Student调用的是Student::BuyTicket。
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
virtual void Func(){}
protected:
int _a = 0;
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
protected:
int _b = 1;
};
void Func(Person& p)
{
p.BuyTicket();
}
int main()
{
Person p;
Student s;
Func(p);
Func(s);
return 0;
}
对于Student类,它的虚函数表起始就是将Person中规定虚函数表拷贝下来,再将虚函数重写的部分在虚函数表中进行覆盖,因此虚函数重写也叫虚函数覆盖。
多态的过程就是父类对象解引用自身的虚函数表指针找到虚函数表,而虚函数表存放着各自的虚函数,再在虚函数表中调用各自的虚函数重写过后的函数。如果是子类对象就是先切片赋值过去(将父类具体的属性赋值过去,自然也包括虚表指针),然后就和父类对象调用函数的过程一样了。
而只有父类的引用或者指针才可以实现多态,哪为什么传值不行呢?这是因此引用和指针传过去依旧是子类原来的部分,虚函数指针是不变的。而传值是进行拷贝构造,而拷贝构造是不会拷贝虚函数指针的,只是将值拷贝过了,因此如果是传值的话,虽然数据都是子类的,但是虚函数指针依旧是父类的,所以不会构成多态。
4.3 动态绑定与静态绑定
- 静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态,比如:函数重载。
- 动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体行为,调用具体的函数,也称为动态多态。
5.单继承和多继承关系的虚函数表
需要注意的是在单继承和多继承关系中,下面我们去关注的是派生类对象的虚表模型,因为基类的虚表模型前面我们已经看过了,没什么需要特别研究的。
5.1 单继承中的虚函数表
所有的虚函数都会存放在虚表中吗?我们来看一个例子:
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;
};
int main()
{
Base b;
Derive d;
return 0;
}
我们发现只有func1和func2,而没有func3和func4,所以就认为虚函数func3和func4并没有存放在虚表中。其实不然,为了更加清晰的对比,我新加了一个WY类继承Derive类,我们从内存的角度来看看:
//新加入的代码
class WY : public Derive
{
public:
virtual void func3()
{
cout << "WY::func3" << endl;
}
};
int main()
{
Base b;
Derive d;
WY x;
return 0;
}
- 我们不难看出d重写了func1,所以在地址中d的func1的地址与b中func1的地址是不同的,但是func2的地址是相同的。
- 而x继承了d,并且重写了func3。观察内存我们发现d和x的第三个地址不同,第四个地址相同,由此我们可以推断出第三个地址就是func3的地址,因此进行的虚函数重新发生了改变,而第四个地址就是func4的地址,由于没有进行虚函数重写,仅仅只是继承下来,所以是相同的。
所以我们就判断出所以的虚函数都是存放在虚表中,这里仅仅只是编译器的一些特殊处理。
5.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;
};
int main()
{
Derive d;
return 0;
}
不难看出在多继承中,Derive继承了两个类,它就有两个虚表,对于自身的虚函数一般都存放在第一个虚表中。
提一个问题:Derive有两个虚表,每个虚表中都有一个func1,但是它们的地址是不同,这是意味着有两个func1吗?
并不是的,实际上两个func1是相同的。在调用时其中一个可能是直接就调用到了func1,而另一个是通过多次地址跳转才调用到了func1,如果想要详细了解过程的小伙伴可以通过反汇编来看具体过程。
6.问答题
- 什么是多态?
- 什么是重载、重写(覆盖)、重定义(隐藏)?
- 多态的实现原理?
- inline函数可以是虚函数吗?
答:可以,不过编译器就忽略inline属性,这个函数就不再是inline,因为虚函数要放到虚表中去。
- 静态成员可以是虚函数吗?
答:不能,因为静态成员函数没有this指针,使用类型::成员函数的调用方式无法访问虚函数表,所以静态成员函数无法放进虚函数表。
- 构造函数可以是虚函数吗?
答:不能,因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。
- 析构函数可以是虚函数吗?什么场景下析构函数是虚函数?
答:可以,并且最好把基类的析构函数定义成虚函数。
- 对象访问普通函数快还是虚函数更快?
答:首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函数表中去查找。
- 虚函数表是在什么阶段生成的,存在哪的?
答:虚函数表是在编译阶段就生成的,一般情况下存在代码段(常量区)的。
-
C++菱形继承的问题?虚继承的原理?
-
什么是抽象类?抽象类的作用?
答:参考本文内容。抽象类强制重写了虚函数,另外抽象类体现出了接口继承关系。
7.总结
关于多态,相比较继承更加复杂,相当于是将之前的知识融合在了一起,还是比较难以理解的,如果有哪里不懂,可以多去看看相关部分的详细讲解,每个人的理解不同,则重点不同,可以参考多方资料来理解,希望大家都能学有所获。
如果大家发现有什么错误的地方,可以私信或者评论区指出喔。我会继续深入学习C++,希望能与大家共同进步,那么本期就到此结束,让我们下期再见!!觉得不错可以点个赞以示鼓励!!