C++多继承下的指针偏移问题详解

在学习 C++ 继承时，我们经常会听到“多继承会带来指针偏移”的说法。那么，这种偏移到底是什么？为什么会发生？今天我们通过一道典型的面试题，来彻底搞清楚这个问题。

---

一、题目引入

来看这样一道经典的多继承题：

// C++多继承中指针偏移问题，下面说法正确的是( ) 
// A：p1 == p2 == p3
// B：p1 < p2 < p3
// C：p1 == p3 != p2
// D：p1 != p2 != p3

class Base1 { public: int _b1; };
class Base2 { public: int _b2; };
class Derive : public Base1, public Base2 { public: int _d; };

int main()
{
    Derive d;
    Base1* p1 = &d;
    Base2* p2 = &d;
    Derive* p3 = &d;
    return 0;
}

看似简单的三行赋值语句，却暗藏玄机：
这三个指针 p1、p2、p3 是否真的指向同一个地址？

---

二、从内存布局开始理解

首先要理解一点：多继承下的派生类对象，是按照基类声明顺序依次拼接在一起的。

我们先看一下类结构：

class Base1 { public: int _b1; };
class Base2 { public: int _b2; };
class Derive : public Base1, public Base2 { public: int _d; };

假设在一个常见的 64 位编译环境中，这三个类的内存布局如下：

偏移量	所属类	成员名	说明
0	Base1	_b1	第一个基类从对象首地址开始
4	Base2	_b2	第二个基类紧接其后（可能有内存对齐）
8	Derive	_d	派生类自己的成员

可以看出，Base1 占据了对象的起始部分，而 Base2 的子对象被放在其后。

---

三、指针赋值背后的偏移逻辑

接下来看看代码中的三行赋值：

Base1* p1 = &d;
Base2* p2 = &d;
Derive* p3 = &d;

我们逐一分析它们的指向。

1. p3 = &d

p3 是一个 Derive*，它直接指向整个 Derive 对象的首地址。
也就是说，p3 的地址就是对象的起始位置。

2. p1 = &d

p1 是 Base1*，而 Base1 是第一个继承的基类，它的子对象恰好位于 Derive 对象的最前面。
因此，p1 与 p3 实际上指向同一个地址。

3. p2 = &d

这里是关键。Base2 是第二个继承的基类，它在内存布局中位于 Base1 之后。
为了让 Base2* 正确指向 Base2 的子对象，编译器会在赋值时 对指针自动添加偏移量。

换句话说，p2 的值并不是 &d，而是 &d + sizeof(Base1)（再考虑对齐）。

---

四、关系总结

整理一下三者的关系：

指针	实际指向	地址关系
p1	Base1 子对象	与 p3 相同
p2	Base2 子对象	比前两者大
p3	Derive 对象首地址	与 p1 相同

所以：

✅ 正确答案是：C：p1 == p3 != p2

---

五、实际验证

我们可以打印指针的地址来直观验证：

#include <iostream>
using namespace std;

int main() {
    Derive d;
    Base1* p1 = &d;
    Base2* p2 = &d;
    Derive* p3 = &d;

    cout << "p1 = " << p1 << endl;
    cout << "p2 = " << p2 << endl;
    cout << "p3 = " << p3 << endl;
}

可能得到类似的输出结果（具体数值取决于系统和编译器）：

p1 = 0x61fe00
p2 = 0x61fe04
p3 = 0x61fe00

结果非常清楚：

• p1 与 p3 地址一致；
• p2 的地址比前两者略大，偏移量通常为 4 或 8 字节。

---

六、为什么会有偏移？

原因在于：
每个基类子对象都必须独立、可寻址。
当通过某个基类的指针访问对象时，编译器必须确保该指针指向的是该基类对应的那部分内存，而不是整个派生对象的首地址。
因此，在多继承中，编译器会在指针转换时自动添加偏移量。

这种自动偏移正是多继承带来的一个隐藏细节。
如果有虚继承，还会产生更复杂的指针调整，但那是另一个更深入的话题。

---

七、总结

通过这道题，我们可以得出以下结论：

1. 多继承下，派生类对象的内存布局按基类声明顺序排列；
2. 第一个基类的地址与派生类对象的首地址相同；
3. 第二及之后的基类子对象在内存中后移；
4. 基类指针指向派生类对象时，编译器会根据继承顺序进行自动偏移；
5. 本题正确答案为 C：p1 == p3 != p2。

---

八、写在最后

C++ 的指针偏移问题看似抽象，其实只要抓住“对象内存布局”这一主线，就能理解清楚。
在调试多继承或使用多态时，了解这一点会帮助你更好地理解编译器的行为。

---

免责声明：
本文的分析基于常见的 64 位编译器（如 MSVC、GCC、Clang）默认对象布局。
不同平台和编译器可能存在细微差异。
在修改项目或分析内存布局前，请务必备份工程文件，作者不对由此产生的任何意外结果负责。

博客封面图来源于网络，如有侵权，请联系删除！