ARM GCC编译下多重继承导致成员指针偏移错误排查求助

类结构概述 #

类采用多层多重继承结构，简化后的定义如下：

class Foo;

class MyClass:
    public A,
    public B,
    public C
{
public:
    Foo& foo() { 
        assert(_ptr);
        return *_ptr;
    }

private:
   // 其他成员
   std::unique_ptr<Foo> _ptr; // 距类起始地址偏移0x2710
};

其中基类也存在多重继承，例如：

class A :
    public Q,
    public R,
    public S
{
// 成员与函数...
};

观测到的指针偏移错误 #

现有指针 MyClass* myClassPtr 指向地址 0x20005c98，按计算 myClassPtr->_ptr 的地址应为 0x200083A8（0x20005c98 + 0x2710），但调试汇编时发现偏移计算错误：

0800883a:   ldr     r6, [r6, #4]
0800883c:   add.w   r3, r4, #94208  ; 0x17000
08008840:   str.w   r6, [r3, #3308] ; 0xcec

08008844:   add.w   r3, r6, #8192   ; 0x2000
08008848:   ldr.w   r3, [r3, #1532] ; 0x5fc

在 str.w 指令处确认 r6 为 MyClass 实例起始地址 0x20005c98，但 08008844 处计算出的地址 0x20007C98 远早于 _ptr 的实际位置。已尝试多个GCC版本，排除编译器版本问题，确定错误与多重继承相关。

构造函数中的正确偏移计算 #

在 MyClass 构造函数中调用同一指针的bool转换运算符时，汇编的偏移计算是正确的：

0802f5a2:   add.w   r3, r4, #8192   ; 0x2000
0802f5a6:   ldr.w   r5, [r3, #1812] ; 0x714

此处 r4 为 this 指针，计算出的偏移与预期一致。

排查方向建议 #

• 检查 foo() 函数中使用的 this 指针是否被意外转换为基类指针：多重继承场景下，当成员函数通过基类指针调用时，this 指针会自动调整偏移，若代码中存在隐式的基类转换（比如函数参数、返回值错误转换），会导致偏移计算错误。
• 确认类的内存布局是否符合预期：使用 offsetof 宏编译期验证 _ptr 的偏移是否为 0x2710，同时检查所有基类的大小是否正确，避免因基类内存布局计算错误导致整体偏移偏差。
• 检查是否存在虚函数表的干扰：若类或基类包含虚函数，虚函数表的位置会影响成员变量的偏移，需确认编译时的虚函数表生成逻辑是否正确，尤其是多层继承下的虚表合并与偏移调整。
• 排查代码中的未定义行为：比如野指针、越界访问导致的内存破坏，可能篡改了类实例的内存布局或指针本身的值，进而引发偏移计算错误。
• 检查编译选项是否正确：某些优化选项（如 -fstrict-aliasing、-O2 及以上优化）可能在多重继承场景下触发非预期的指针转换优化，尝试关闭优化后重新编译验证问题是否消失。

内容的提问来源于stack exchange，提问作者Patrick Wright