空基类优化

Question

下面是对ebco的简单测试,我在vc9和g ++上编译了它.两个编译器的输出不同.我想知道的是vc的行为是否符合要求.

#include <iostream>

class empty
{
};

class empty_one : public empty {};
class empty_two : public empty {};

class non_empty
    : public empty_one
    , public empty_two
{
};

int main()
{
    std::cout << "sizeof(empty): " << sizeof(empty) << std::endl;
    std::cout << "sizeof(empty_one): " << sizeof(empty_one) << std::endl;
    std::cout << "sizeof(empty_two): " << sizeof(empty_two) << std::endl;
    std::cout << "sizeof(non_empty): " << sizeof(non_empty) << std::endl;

    std::cout << std::endl;

    non_empty a[2];

    void* pe10 = static_cast<empty*>(static_cast<empty_one*>(&a[0]));
    void* pe20 = static_cast<empty*>(static_cast<empty_two*>(&a[0]));
    std::cout << "address of non_empty[0]: " << &a[0] << std::endl;
    std::cout << "address of empty of empty_one: " << pe10 << std::endl;
    std::cout << "address of empty of empty_two: " << pe20 << std::endl;

    std::cout << std::endl;

    void* pe11 = static_cast<empty*>(static_cast<empty_one*>(&a[1]));
    void* pe21 = static_cast<empty*>(static_cast<empty_two*>(&a[1]));
    std::cout << "address of non_empty[1]: " << &a[1] << std::endl;
    std::cout << "address of empty of empty_one: " << pe11 << std::endl;
    std::cout << "address of empty of empty_two: " << pe21 << std::endl;
}

在vc上,

pe20 == pe11. (test1)

两个对象的两个子对象可以具有相同的地址吗？这符合吗？

除了,

pe20 >= &a[0] + sizeof(a[0]) (test2)

子对象的地址可以通过对象的结尾吗？

在g ++上,以上两个测试不成立.

编辑:在c ++ 0x标准草案中,1.8/6,

除非对象是零字段或零大小的基类子对象,否则该对象的地址是它占用的第一个字节的地址.两个不同的对象既不是位字段也不是零大小的基类子对象应具有不同的地址

该标准要求当两个对象既不是位字段也不是零大小的基类子对象时,它们具有不同的地址.但它不要求零大小的两个子对象不能具有相同的地址.那么test1可以是真的吗？

Answer 1

pe10 == pe11。两个对象的两个子对象可以有相同的地址吗？这符合吗？

不，两个不同的对象不能具有相同的地址。如果有，则编译器不是标准投诉。

顺便问一下，您使用的是哪个版本的 VC++？我使用的是 MSVC++2008，它的输出是这样的：

我想，你的意思是pe20==pe11？如果是这样，那么这也是错误的、不规范的。MSVC++2008编译器有bug！

海湾合作委员会是正确的；自己查看输出： http: //www.ideone.com/Cf2Ov

类似主题：

程序员什么时候使用空基优化（EBO）