• 浅谈为什么多态只能是指针或引用


    其实在很早之前,我一直没有注意到这个问题,直到今天碰见了一道题,顺便前面的博客中,继承写到,子类中不包含父类,子类只是继承了父类的成员变量和函数,由这一点,引发了我对切片以及赋值的疑惑,为什么只有指针和引用才可以发生多态呢?

    那么很多人可能想说的是,这不就是概念吗,也就是说C++委员会定标准就是这样定的,其实我想说的是,如果看过我上一篇内容的朋友,应该也会想到这个问题。如下:

    B继承了A,但是其实B中不包含A的,只不过是B中有了A的成员函数和一些成员变量,但是如果此时A中有虚函数呢?那么此时B中就会发生重写,也就是覆盖,会有虚函数表指针,但是我想说的是,我们在继承中学习过切片,切片是不牵扯类型转换什么的,但是你想过类似于下面的代码吗?

    因为B继承了A,所以此时的B的虚函数指针指向的虚函数表与A不同,但是此时这里发生了切片,如果就像我们平时所说的,切片没有发生类型转换,只是将B类中A的那部分赋值给A的对象,那么此时按道理说赋值给A的对象的那个虚函数表,此时应该是B中重写之后的。但是不是,我们可以看看结果。

    他既然是没有重写之前的,怎么会回事,难道B中,没有重写吗?其实不是的。在这里有两种说法:第一:在赋值拷贝的时候,不拷贝虚函数表指针。这样的话,A就是用的自己的虚函数表指针。所以此时打印出来就是没有重写的.(这种说法也是我的老师说的)。

    第二:因为在切片的时候,其实是发生了浅拷贝的,所以此时因该是A的对象与B的对象一样,不仅一样,如果他们中有指针,还是两个指针指向同一个地址的,但是这里明显没有,所以只有一个解释,那就是B在发生切片的时候,B的虚函数指针指向发生了变化。所以这里有小小的隐式类型转换。(此方法是上网查询,唯一能解释的通的,且自己明白的说法)

    而引用和指针其实是一个道理,拿指针来说,把子类对象地址的开头给父类指针,所以这里也没办法变啊,引用也是一个道理,引用就是起别名,他是给子类对象中父类的成员函数,变量等起了一个别名,这个怎么变啊?所以,这样的话,就相当于是可以发生多态。

    对此,大家有什么看法吗?

  • 相关阅读:
    C++【多态】
    选择排序、冒泡排序、快速排序、归并排序
    从零开始学正则(上)
    JavaSE学习----(七)JDK类库的根类:Object
    C语言—统计从键盘输入的一行英文句子的字符个数
    基于时间触发机制的5G应用确定性方案探索
    ImageNet1K的下载与使用
    Vue中父组件和子组件的关系
    【C++】引用之带你“消除”C语言版数据结构教材的一些困惑(虽然是C++的内容,但是强烈建议正在学习数据结构的同学点进来看看)
    [JSOI2007] 建筑抢修
  • 原文地址:https://blog.csdn.net/huichaochao/article/details/133248783