🌈个人主页:秦jh_-CSDN博客
🔥 系列专栏:https://blog.csdn.net/qinjh_/category_12575764.html?spm=1001.2014.3001.5482
目录
前言
💬 hello! 各位铁子们大家好哇。
今日更新了多态的相关内容
🎉 欢迎大家关注🔍点赞👍收藏⭐️留言📝
多态的概念
多态的概念:通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会 产生出不同的状态。
比如买票这个行为,当普通人买票时,是全价买票;学生买票时,是半价买票;军人买票时是优先买票。
多态的定义及实现
多态的构成条件
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了 Person。Person对象买票全价,Student对象买票半价。
继承中要构成多态还有两个条件:
- 必须通过基类的指针或者引用调用虚函数
- 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
如果是通过基类的指针调用虚函数,要如下图所示使用:
虚函数
虚函数:即被virtual修饰的类成员函数称为虚函数。
虚函数的重写
虚函数的重写(覆盖):派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的 返回值类型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。
注意:在重写基类虚函数时,派生类的虚函数在不加virtual关键字时,虽然也可以构成重写(因 为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范,不建议这样使用
虚函数重写的两个例外:
协变(基类与派生类虚函数返回值类型不同)
派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。
返回值类型必须是指针或者引用,且具有父子关系(即继承)。
析构函数的重写(基类与派生类析构函数的名字不同)
如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字, 都与基类的析构函数构成重写。虽然基类与派生类析构函数名字不同, 看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor。
当析构函数不是虚函数时,不能正确的进行析构。 因此我们要把析构函数变成虚函数:
只有派生类Student的析构函数重写了Person的析构函数,下面的delete对象调用析构函数,才能构成多态,才能保证p1和p2指向的对象正确的调用析构函数。
相关题目
B中的func构成重写。因为B中没有test(),就会去A中找,A中test()的this指针是A*类型,p传给了this,此时调用就是多态调用。func的实现就是B中的func(),但是声明还是A中的func(),即A中func()声明和B中func()实现的结合体,最终结果就是B->1
C++11 override 和 final
C++11提供了override和final两个关键字,可以帮助用户检测是否重写。
final
final:修饰虚函数,表示该虚函数不能再被重写
override
override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。
重载、覆盖(重写)、隐藏(重定义)的对比
抽象类
概念
在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口 类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生 类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
Benz没有重写纯虚函数,所以不能实例化对象。
虽然Car不能实例化对象,但是可以用它的指针指向子类,然后调用。
接口继承和实现继承
普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实 现。虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成 多态,继承的是接口。所以如果不实现多态,不要把函数定义成虚函数。
多态的原理
虚函数表
这里的代码是在x86程序中,涉及的指针都是4字节。
可以发现,b对象是8字节,除了_b成员,还多一个_vfptr放在对象的前面(注意有些平台可能会放到对象的最后面,这个跟平台有关),对象中的这个指针我们叫做虚函数表指针(v代表virtual,f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数 的地址要被放到虚函数表中,虚函数表也简称虚表。
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;
};
int main()
{
Base b;
return 0;
}
Func3不是虚函数,所以不会放进虚表。
派生类的虚表生成:1.先将基类中的虚表内容拷贝一份到派生类虚表中 2.如果派生类重写了基类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 3.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。
重写是语法的叫法,覆盖是原理层的叫法。
多态的原理
观察上图的红色箭头我们看到,p是指向mike对象时,p->BuyTicket在mike的虚表中找到虚 函数是Person::BuyTicket。当p指向johnson对象时,找到就是Student::BuyTicket。
如果我们要达到多态,有两个条件,一个是虚函数覆盖,一个是对象的指针或引用调 用虚函数。
满足多态以后的函数调用,不是在编译时确定的,是运行起来以后到对象中取找的。不满足多态的函数调用时编译时确认好的
动态绑定与静态绑定
-
静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态, 比如:函数重载
-
动态绑定又称后期绑定(晚绑定),是在程序运行期间,根据具体拿到的类型确定程序的具体 行为,调用具体的函数,也称为动态多态。
单继承和多继承关系的虚函数表
单继承中的虚函数表
class Base {
public:
virtual void func1() { cout << "Base::func1" << endl; }
virtual void func2() { cout << "Base::func2" << endl; }
private:
int a=1;
};
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=2;
};
int main()
{
Base b;
Derive d;
return 0;
}
从监视窗口中,我们发现看不见func3和func4。这里是编译器的监视窗口故意隐藏了这两个函数。我们可以手动打印验证是否是真的隐藏了。(下方过程只做了解)
如上图,确实是被隐藏了。
虚表是一个存VFPTR类型(虚函数指针类型)的数组。
步骤:
先取d的地址,强转成一个int*的指针
再解引用取值,就取到了b对象头4bytes的值,这个值就是指向虚表的指针。
多继承中的虚函数表
上方Derive的大小是20字节。可以看到func3没有显示放在哪里。我们依旧可以自己打印出来看,这里直接给出答案,func3放在了base1的虚表里面。
结论:多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中。
问答题
- inline函数可以是虚函数吗?答:可以,不过编译器就忽略inline属性,这个函数就不再是 inline,因为虚函数要放到虚表中去。
- 静态成员可以是虚函数吗?答:不能,因为静态成员函数没有this指针,使用类型::成员函数 的调用方式无法访问虚函数表,所以静态成员函数无法放进虚函数表。
- 构造函数可以是虚函数吗?答:不能,因为对象中的虚函数表指针是在构造函数初始化列表 阶段才初始化的。
- 虚函数表是在什么阶段生成的,存在哪的?答:虚函数表是在编译阶段就生成的,一般情况 下存在代码段(常量区)的。
习题
1.
上方结果为1.1 。因为此时是用父类对象调用。
结论:使用父类对象调用的方法永远是父类的方法
2.
基类引用引用子类对象后,通过基类对象调用f2时,调用的是子类的f2(错)
解释:通过对象调用时编译期间就直接确定调用那个函数了,不会通过虚表以多态方式调用
3.
虽然进行了强转,pa指向的依旧是是B类,所以调用B中的f()。
4.
虽然子类重写了父类的虚函数,但只要是用对象去调用,则只能调用相对类型的方法,故调用的是 B::x()