C++多继承与虚方法场景下错误调用非目标虚函数问题排查

核心原因是多继承场景下非法的二级指针强制转换，破坏了C++多态调用的指针偏移规则，具体拆解如下： #

1. Apple对象的内存布局规则 #

Apple类的继承顺序是public Fruit, public Comparable，C++会按照继承声明顺序排布多继承基类的子对象，所以Apple实例的内存结构从上到下为：

• Fruit基类子对象：首地址存指向Fruit虚表的指针vptr_Fruit，Fruit虚表的第一个虚函数入口是anyMethod
• Comparable基类子对象：首地址存指向Comparable虚表的指针vptr_Comparable，Comparable虚表的第一个虚函数入口是compareTo
• Apple自有成员变量m_state

2. 二级指针转换的错误点 #

C++中，单个Apple*转Comparable*时，编译器会自动做指针偏移调整：把原本指向Apple首地址（也就是Fruit子对象首地址）的指针，向后偏移到Comparable子对象的首地址，保证拿到的Comparable*指向正确的vptr_Comparable，虚函数调用才能正常工作。
但你代码中直接用C风格强转把Apple**转为Comparable**，这个操作本质是reinterpret_cast，仅会改变二级指针的类型解释，不会对数组中存储的每一个Apple*元素做偏移调整，最终sort函数拿到的数组里的所有指针，仍然是指向Fruit子对象首地址的原始值。 #

3. 调用错位的具体逻辑 #

sort函数中执行c[0]->compareTo(c[1])时，会按照Comparable*的类型规则寻址虚函数：

• 取c[0]指向地址的第一个字段（虚表指针），取虚表中第一个虚函数入口执行
• 但此时c[0]实际指向的是vptr_Fruit，对应Fruit虚表的第一个虚函数就是anyMethod，所以最终错误调用了anyMethod而非预期的compareTo

修复方案 #

不要直接强转二级指针，而是单独创建Comparable*类型的数组，逐个将Apple*隐式转为Comparable*后存入数组，再传给sort函数即可，示例如下：

int main(void) {
    Apple a1(21), a2(10), a3(30);
    Comparable* comparables[3] = {&a1, &a2, &a3}; // 逐个转换会自动做指针偏移
    sort(comparables);
}

内容的提问来源于stack exchange，提问作者g.pickardou