什么是多态?

概念

多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。

条件

在继承体系中,构成多态还必须满足两个条件

  1. 调用函数的对象必须是基类的指针或者引用;多态是:不需要知道对象的实际类型,也能够调用正确的功能。而如果直接操作对象,它的类型就已经被编译器知道了,看似多态,实则不是。
  2. 被调用的函数必须是虚函数,且完成了虚函数的重写。子类对象调用这些函数时就会调用子类的函数。

虚函数和重写

虚函数

函数前面用virtual修饰的就是虚函数,虚函数的意义就是实现多态,如果没有重写,虚函数就没有意义。virtual void func()

重写

重写的必须是虚函数,

final和override

C++11提供override 和 final 来修饰虚函数

  1. final 修饰基类的虚函数不能被派生类重写 。void* func() final
  2. override 修饰派生类虚函数强制完成重写,如果没有重写会编译报错。void func() override

实现继承和接口继承

普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。

虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。所 以如果不实现多态,不要把函数定义成虚函数

多态的原理

虚函数表

一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数的地址要被放到虚函数表中, 虚函数表也简称虚表。虚表在编译时出现的,构造函数对其进行初始化。

基类对象的虚函数表和派生类对象的虚函数表示不一样的,假设基类中有两个虚函数Func1,和Func2,派生类重写了基类中的Func1,派生类的虚表中存的是重写的派生类::Func1和基类::Func2,所以虚函数的重写也叫作覆盖,覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法,覆盖是原理层的叫法。 

虚函数表本质是一个存虚函数指针的指针数组,这个数组最后面放了一个nullptr。 

总结一下派生类的虚表生成:a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基 类中某个虚函数,用派生类自己的虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在 派生类中的声明次序增加到派生类虚表的最后,这里是编译器的监视窗口故意隐藏了派生类自己新增的虚函数, 也可以认为是他的一个小bug。。

虚函数存在代码段,虚函数表也在代码段。

纯虚函数

纯虚函数的作用:一个类中含有纯虚函数就是抽象类,抽象类不能实例化出对象,继承这个抽象类的子类,必须重写这个虚函数,才能实例化出对象

抽象类

虚函数后面加 =0 就成了纯虚函数,有纯虚函数的类叫做抽象类,抽象类又叫做接口类,抽象类是无法实例化出对象的。派生类继承后只有重写了纯虚函数才能实例化出对象。纯虚函数规范了派生类必须重写,抽象类更好的体现了接口继承。

多继承

所谓多继承就是一个子类有两个或多个直接父类。多继承中会有多个虚函数表,几重继承就会有几个虚函数表。这些虚函数表会按照派生的顺序依次排列。如果子类改写了父类的虚函数,那么就会用子类自己的虚函数覆盖相应的父类虚函数;如果子类有新的虚函数,那么就添加到第一个虚函数表的末尾。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值