第四十篇,C++虚函数底层实现原理和多态的实现。

虚函数和多态
==============================================
   1.多态的概念
        字面上理解:多种表现形式
        专业术语:C++允许父类的指针或者父类引用指向不同的子类对象,通过这个指针或者引用去调用不同子类的同名方法--》叫做多态
                 父类的同名函数在不同的子类中具有不同的表现形式--》叫做多态

        多态要解决的两个问题:
              问题一:参数具有通用性
              解决方法:C++允许父类的指针或者父类引用指向不同的子类对象(不需要做任何转换)
              问题二:传递不同的子类,可以调用不同子类的同名函数

   2.用虚函数来实现多态
        虚函数的语法规则:在普通函数的前面加上关键字virtual
             virtual 返回值  函数名(参数)
             {

                         代码;
             }

   3.虚函数的特点,虚函数的底层原理
        3.1 虚函数的特点
               第一:一个类定义了虚函数,这个类的地址空间中会多出一个指针,该指针用来指向虚函数表的首地址
                     虚函数表(虚表):用来存放所有虚函数地址的一种数据结构
                                    你写的代码中所有的虚函数都是存储在这个表里面的
               第二:父类的同名函数定义成虚函数,那么子类的同名也是虚函数,子类的同名函数virtual可以省略(可写可不写)

        3.2 虚函数的底层原理(面试的时候喜欢问)
               子类的同名虚函数会替换掉虚表中父类的同名虚函数
               重写/复写:子类重新定义了父类的同名方法

重点:虚函数原理实现代码和内存变化演示

简单地说,有一些结论我们可以记住:

1.虚函数表就是一个指针数组,里面存放着函数地址指针。即每一个含有虚函数(无论是其本身的,还是继承而来的)的类都至少有一个与之对应的虚函数表,其中存放着该类所有的虚函数对应的函数指针。

2.父类定义了虚函数,子类的同名函数也是虚函数,但是子类的virtual可以省略不写。

3.父类创建一个指针指向虚函数表,表里面存储着父类的虚函数地址指针,子类不会再在创建指针,与父类共用一个指针。编译器发现子类复写了父类的同名函数,会将子类的同名函数地址替换掉虚函数表中的父类同名函数地址。

虚函数表和指针的结构关系如下图:

其中:

  • B的虚函数表中存放着B::foo和B::bar两个函数指针。
  • D的虚函数表中存放的既有继承自B的虚函数B::foo,又有重写(override)了基类虚函数B::bar的D::bar,还有新增的虚函数D::quz。

从编译器的角度来说,B的虚函数表很好构造,D的虚函数表构造过程相对复杂。下面给出了构造D的虚函数表的一种方式(仅供参考):

函数是怎样调用的呢?

定义一个父类的指针或者引用,C++允许父类的指针或者引用指向不同的子类对象,传递进去的实参就决定了调用哪个版本的bar函数。

特别地,当一个类继承多个类,且多个基类都有虚函数时,子类对象中将包含多个虚函数表的指针(即多个vptr),如下图所示

函数是怎样调用的呢?

定义一个父类的指针或者引用,C++允许父类的指针或者引用指向不同的子类对象,传递进去的实参就决定了调用哪个版本的bar函数。

 4.总结多态
          第一:实现多态,必须要有继承,没有继承就没有多态
          第二:在继承的基础上,子类必须重写父类的同名方法,而且父类的同名方法必须定义成虚函数
          第三:虚函数是为多态而生的

   5.多态的分类
        C++中总共有两种多态
           第一种:编译时多态 --》指的就是我们前面学习过的函数重载
           第二种:运行时多态 --》指的就是现在我们学习的利用虚函数实现的这种多态
         
练习
==============================================
   1.定义一个图形类 class Shape
     图形类派生出三角形,圆形,长方形

   2.总结其他两种继承
     私有和保护的区别仔细体会一下

   3.验证多继承的知识点是否跟单继承类似

   4.定义国旗类,创建不同的国家国旗子类,把父类的show方法定义成虚函数,子类重写show()观看现象

  • 2
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

肖爱Kun

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值