C++多重继承的指针问题

忘是亡心i 2022-08-08 12:47 172阅读 0赞

下面说说C++多重继承中关于指针的一些问题。

**指针指向问题**  
先看下面的程序：

class Base1
    {
    public:
        virtual void fun1() {
       cout << "Base1::fun1" << endl;};
    };
    
    class Base2
    {
    public:
        virtual void fun2() {
       cout << "Base2::fun1" << endl;};
    };
    
    class Derive : public Base1, public Base2
    {
    public:
        virtual void fun1 () {
       cout << "Derive::fun1" << endl;}
        virtual void fun2 () {
       cout << "Derive::fun2" << endl;}
    };
    
    int main()
    {
        Derive oD;
        Base1 *pB1 = (Base1*)(&oD);
        Base2 *pB2 = (Base2*)(&oD);
        cout << "&oD=" << &oD << '\n';
        cout << "pB1=" << pB1 << '\n';
        cout << "pB2=" << pB2 << '\n';
        if (&oD == pB1) cout << "&oD == pB1" << '\n';
        if (&oD == pB2) cout << "&oD == pB2" << '\n';
    }

我电脑上的运行结果：  
![运行结果][20150517203112450]  
首先，可以看到&oD和pB1指针指向相同的存储地址。为什么？  
这是因为当我们new一个Derive类的时候，计算机给Derive类分配的空间可以分为三部分：首先是类Base1的部分，然后是Base2的部分，然后是Derive中除去Base和Base2剩余部分，如下图。

<table> 
 <tbody> 
  <tr> 
   <td>Base1</td> 
  </tr> 
  <tr> 
   <td>Base2</td> 
  </tr> 
  <tr> 
   <td>Derive</td> 
  </tr> 
 </tbody> 
</table>

所以&oD肯定保存的是整体的首地址，而pB1指向的是Base1的首地址，恰好也是整体的首地址，所以有&oD和pB1的值刚好相等。pB2则指向的是Base2的首地址。  
可是后面为什么会有&oD == pB2呢？这是因为当编译器发现一个指向派生类的指针和指向其某个基类的指针进行==运算时，会自动将指针做隐式类型提升已屏蔽多重继承带来的指针差异。因为两个指针做比较，目的通常是判断两个指针是否指向了同一个内存对象实例，在上面的场景中，&oD和pB2虽然指针值不等，但是他们确确实实都指向了同一个内存对象（即new Derive产生的内存对象）。

--------------------

**指针类型转换问题**  
还是使用上面的类，看主函数：

int main(){
        Derive oD;
        cout << "&oD=" << &oD << '\n';
    
        Base1 *pB1 =  &oD;
        cout << "pB1=" << pB1 << '\n';
        pB1->fun1();
        cout << endl;
    
        Base2 *pB2 = (Base2*)(pB1); // 指针强行转换，没有偏移
        cout << "pB2=" << pB2 << '\n';
        pB2->fun2();
        cout << endl;
    
        pB2 = dynamic_cast<Base2*>(pB1); // 指针动态转换,dynamic_cast帮你偏移
        cout << "pB2=" << pB2 << '\n';
        pB2->fun2();
    
        return 0;
    }

猜猜执行结果：  
![执行结果][20150517205010141]  
是不是很意外，为什么pB2->fun2()的结果是Derive::fun1。这里我们看到的是使用强制类型转换是不能把Base1类型的指针转成Base2类型的指针的，必须使用dynamic\_cast的形式进制转换才奏效。

--------------------

下面我们探索下为什么输出的是Derive::fun1。  
我们修改Base1的定义：

class Base1
    {
    public:
        virtual void fun3() {
       cout << "Base1::fun3" << endl;};
        virtual void fun1() {
       cout << "Base1::fun1" << endl;};
    };

给添加一个函数fun3，然后再次执行上面的main函数，结果如下：  
![执行结果][20150517205712250]  
我们可以发现强制转换不会成功，也不会报错，你调用Base2的fun2函数，因为强制转换不成功，所以指针仍然指向Base1，而Base1中没有fun2，所以就会自动调用声明的函数中的第一个函数。（不知道为什么会这样设计！）

--------------------

上面强制将Base1转为Base2不会报错，但是不能运行处正确结果。而我们强制将Base2转为Base1呢？

int main()
    {
        Derive *pD = new Derive();
        Base2 *pB2 = pD;
        pB2->fun2();
        Base1 *pB1 = (Base1*)(pB2);
        pB1->fun1();
        return 0;
    }

这样程序执行到第6行的时候会直接奔溃。  
所以：

1. C++多重继承需要慎用
    2. 类型转换尽量采用c++内置的类型转换函数，而不要强行转换。

[20150517203112450]: /images/20220805/225760f6f1124deebf2869e57a48166c.png
[20150517205010141]: /images/20220805/dfc845937418403895d8aaba69ec0aa6.png
[20150517205712250]: /images/20220805/7e9dca2cfbb940cd96f22d045db4745c.png

发表评论取消回复

表情：

评论列表（有 0 条评论，172人围观）

还没有评论，来说两句吧...

相关阅读

相关 Java中的多重继承问题

继承是面向对象编程（OOP）语言（如[Java][]）的主要功能之一。它是一种以增强软件设计中类重用能力的方式组织类的基本技术。多重继承是众多继承类型之一，是继承机制的重要

偏执的太偏执、/ 2023年09月25日 13:18/ 0 赞/ 81 阅读

相关 C++:52---多重继承

一、多重继承概念多重继承是指：从多个直接基类而产生派生类的能力例如： class ZooAnimal {}; //动物class Endange

怼烎@/ 2022年12月30日 03:53/ 0 赞/ 164 阅读

相关 C++:13---继承（单一继承、多重继承、多级继承、菱形继承、虚继承）

一、基类与派生类的概念基类（父类）：在继承关系中处于上层的类派生类（子类）：在继承关系中处于下层的类 class A;class B;class

﹏ヽ暗。殇╰゛Y/ 2022年12月29日 12:40/ 0 赞/ 253 阅读

相关多重继承的优缺点

昨天晚上和G讨论一个问题是否使用多重继承的问题，当时我是极力反对，因为多重继承在我的影响中式极差的，认为这是一个应该让人唾弃的。主要原因是我认为它十分容易引起各种各样的混乱，编

àì夳堔傛蜴生んèń/ 2022年09月26日 14:54/ 0 赞/ 188 阅读

相关 C++多重继承的指针问题

下面说说C++多重继承中关于指针的一些问题。指针指向问题先看下面的程序： class Base1 { public: vir

忘是亡心i/ 2022年08月08日 12:47/ 0 赞/ 173 阅读

相关 C++ 深入理解虚继承、多重继承和直接继承

【摘要】 > 本文从5段代码实例出发，通过类中类的普通继承，类的虚继承，类的多重继承，多个虚函数类的普通继承、虚继承与多重继承，几个交叉概念，详细的阐释了继承、虚函数与虚继承

Bertha 。/ 2022年08月02日 15:40/ 0 赞/ 309 阅读

相关 c++的多重继承

一、前言每个类只继承一个父辈，在现实世界中事情通常是这样的，但是有一些类却代表两个类的合成。例如两用沙发，它是一张床，也是一个沙发。二、示例代码，用作下面提出问题使用

向右看齐/ 2022年07月15日 19:46/ 0 赞/ 275 阅读

相关 C++ 多重继承与虚继承

在派生类中对基类成员的访问应该是唯一的。但是，在多继承情况下,可能造成对基类中某个成员的访问出现了不一致的情况，这时就称对基类成员的访问产生了二义性。原因之一：

分手后的思念是犯贱/ 2022年05月16日 13:29/ 0 赞/ 309 阅读

相关多重继承的陷阱：钻石继承（菱形继承）问题

支持多继承的面向对象编程都可能会导致钻石继承（菱形继承）问题，看以下代码： class A(): def __init__(self):

迈不过友情╰/ 2022年04月21日 14:38/ 0 赞/ 337 阅读

相关多重继承的实现

利用接口 -------------------- 此时实现接口，多半仅是在实现抽象方法。但如果我想使用多个类中的一些具体实现呢？利用内部类 --------

约定不等于承诺〃/ 2021年09月22日 23:08/ 0 赞/ 425 阅读