2

为什么下面的代码打印01
我预计00。如果地址不相等,为什么 operator== 在第一种情况下返回 true?

#include <iostream>

class B1
{
    int m_i;
};

class B2
{
    double m_d;
};

class D
    : public B1
    , public B2
{
};

int main()
{
    D d;
    B2 *b2 = &d;

    std::cout << "d:\t" << reinterpret_cast<void*>(&d) << "\t" << &d << "\n";
    std::cout << "b2:\t" << reinterpret_cast<void*>(b2) << "\t" << b2 << "\n";


    std::cout << (reinterpret_cast<void*>(b2) == reinterpret_cast<void*>(&d));
    std::cout << (b2 == &d);

    return 0;
}

给出输出:

d:  0xbfd65fa4  0xbfd65fa4
b2: 0xbfd65fa8  0xbfd65fa8

01
4

1 回答 1

3

当您比较b2并且&d没有强制转换为 void 时,编译器会将它们隐式强制转换为通用数据类型 - 在这种情况下,d会隐式强制转换为其B2基类。

当您通过强制转换为 void 进行比较时,您将获得对象的真正底层地址,并且由于D继承自B1之前B2this 是其B1基类的地址。

于 2013-09-26T08:24:02.550 回答