类继承链和指向每个类的指针

Question

所以给出如下简单代码：

class A{
public:
    virtual void foo() const { cout << "foo in A." << endl;}
private:
    int a;
};

class B: public A{int c;};

class C :  public B{
public:
    void foo() const override  {cout << "foo in B." << endl;}
private:
    int a;
    int b;
};

现在，当我创建 C 类型的对象时，我可以想象它在内存中的布局是这样的：

+----------------+
|     C (int)    |
|+--------------+|
||    B (+1)    ||
||+------------+||
|||  A (2int)  |||
||+------------+||
|+--------------+|
+----------------+

所以现在简单的代码：

C objectC;
A* aPtr = &objectC;
B* bPtr = &objectC;
C* cPtr = &objectC;

我希望，即使编译器生成代码，这会使以下表达式返回 true：

(aPtr == bPtr && bPtr == cPtr)

以下表达式应返回 false：

((int)aPtr == (int)bPtr && (int)bPtr == (int)cPtr)

但在我的电脑上它也返回了 true。同样打印出指针的数值后，它们也是一样的。

我的问题是为什么运行程序后没有出现预期的结果？是否有一些 C++ 文档指定在这种情况下指针值的确切行为，或者它更像是依赖于编译器的事情？

Answer 1

对象的布局更有可能与您显示的相反。

+----------------+ +     +
|    A (int)     | |     |
+----------------+ |  B  |
| delta  B (2 int) |     |  C
+------------------+     |
| delta  C (int)         |
+----------------------- +

当编译器使用这样的布局时，aPtr、bPtr 和 cPtr 的数值将是相同的。

我还没有听说过任何编译器可以像您建议的那样创建对象布局。我并不是说没有，只是我没听说过。