我有一个来自两个父母的C子类.我创建了该类的一个对象,然后将它的引用转换为它的两个父类.转换值不相同,但仍保留子引用的值.这是代码：

class Mom
{
public:
    int a = 1;
};

class Dad
{
public:
    int b = 2;
};

class Child : public Mom,public Dad
{
public:
    int c = 3;
};

int main()
{
    Child* c = new Child; // 0x00C5A618

    Mom* m = c; // 0x00C5A618
    Dad* d = c; // 0x00C5A61C

    return 0;
}

现在,我猜测通过应用static_cast<>获得的地址是那些实际的子对象.碰巧,妈妈是第一个子对象,所以它实际上与Child有相同的地址.爸爸是第二个子对象,因此它位于不同的地址.

据我所知,C风格的演员阵容,就像这样

Mom* m = (Mom*)c;
Dad* d = (Dad*)c;

将应用static_cast<>什么时候这样做是合法的.实际上,当我实际编译并执行该版本时,我会看到与以前相同的行为.

继续这个闪烁的传奇,使用隐式演员,像这样

Mom* m = c;
Dad* d = c;

也表现出相同的行为,我从中推断隐式强制转换也适用于static_cast<>当等效的显式演员合法时.

向后转回Child也做同样的事情：

Child* k = static_cast<Child*>(d); // 0x00C5A618

k中的值与d中的值不同,已经被设置回c中最初的值.

我猜测,在这种情况下,有一个运行时检查,看看是否确实d指向Child对象的Dad子对象.

到目前为止,这一切都是有道理的,但我很惊讶,对于单独派生的层次结构,没有这样的地址调整(如果这是正确的调用它).也就是说,如果我的层次结构只是Mom-> Dad-> Child,则将对Child的引用转换为指向Mom或Dad的指针永远不会更改值：

class Mom
{
public:
    int a = 1;
};

class Dad : public Mom
{
public:
    int b = 2;
};

class Child : public Dad
{
public:
    int c = 3;
};

int main()
{
    Child* c = new Child; // 0x00C5A618

    Mom* m = c; // 0x00C5A618
    Dad* d = c; // 0x00C5A618

    Child* k = static_cast<Child*>(d); // 0x00C5A618

    return 0;
}

我希望它可以通过每个附加子类所需的存储大小或四个字节(int的大小)来改变.但是,他们没有.上例中的所有指针c,m,d和k具有相同的值.

所以,现在我猜测对象是在内存中布局的,Mom对象位于最低地址,爸爸对象下一个所需的额外空间,以及Child最后需要的额外空间.既然爸爸是妈妈,爸爸的地址和妈妈的地址一样,不是吗？

同样,一个孩子也是一个妈妈,所以它的地址也和它自己的妈妈子对象的地址一样.

所以…

我认为它的工作原理如下：在内存中,对象相互跟随,在纯粹单独派生的层次结构中,向上转换和向下转换总是产生相同的地址,而在多个派生的层次结构中,一些向上转换产生不同的地址,因为不是所有子对象将从派生对象的相同地址开始.像这样：

Possible Memory Layout for a Singly Derived Hierarchy

+-------+-----+-----+---+
| Child : Dad : Mom : a |
|       |     +-----+---+
|       |           : b |
|       +-----------+---+
|                   : c |
+-----------------------+


Possible Memory Layout for a Multiply Derived Hierarchy

+-------+-----+---+
| Child : Mom : a |
|       +-----+---+
|       : Dad : b |
|       +-----+---+
|             : c |
+-----------------+

对不起,我有点絮絮叨叨,但我的问题是这样的事实：对于一个乘法派生对象的某些基类的向上转换会改变引用的值,这是事后转换后的值是地址的结果内存中的基础对象？