c++ - 为什么类成员的地址与其对象相同？

Question

在以下情况下，每个成员都有不同的名称或实体，为什么他们的地址相同？

struct B { int x; };
struct A { B b; };

int main()
{
    A obj;
    cout << &obj.b.x << endl;
    cout << &obj.b << endl;
    cout << &obj << endl;
}

Answer 1

因为指向结构的指针总是指向它的第一个成员(因为结构是按顺序排列的)。

In C, does a pointer to a structure always point to its first member?

(C1x §6.7.2.1.13: "A pointer to a structure object, suitably converted, points to its initial member ... and vice versa. There may be unnamed padding within as structure object, but not at its beginning.")

注意: mange 正确地指出，如果您开始向结构添加虚函数，C++ 会通过在结构的开头添加 vtable 来实现这一点...这使我的声明(这对 C 来说是正确的)当你谈论你可以用 C++ 中的“结构”做的所有事情时，这是不正确的。