Question

#include <iostream>

using namespace std;

class Empty{
    char omg[0];
};

int main()
{
    Empty em1, em2;
    Empty set[100];
    cout << sizeof(Empty) << " " << sizeof(em1) << " " << sizeof(em2) << endl;
    cout << (long*)&em1 << " " << (long*)&em2 << endl;

    cout << "total numbers of element is: " << sizeof(set)/sizeof(*set) << endl;

    return 0;
}

它的输出是：

0 0 0

0xbff36ad0 0xbff36ac8

元素数量为：4

结果令人惊讶。

如上所示，Empty是一个类，它的大小及其对象都是0，为什么？

也许我猜，因为空类的大小是1，当类不为空时，它的大小由成员决定，但是这里的成员是特殊的，它是一个长度为0的数组，这个数组的大小是0，所以类和对象的大小都是0。

这只是我的猜测。当程序运行时，我们可以看到两个对象都有地址，地址不同。

这是我的问题：如果可以实现0大小的对象，为什么C ++标准声明空对象的sizeof（）= 1，它是为了“确保两个不同对象的地址不同”{ {3}}，但是现在，我们确实有不同的地址作为输出，这是怎么发生的？

此外，无论数组的大小是多少，最后一行输出总是4，为什么？

谢谢：）

PS：我在MacOS上运行此程序，编译器是Apple LLVM版本5.1（clang-503.0.40）（基于LLVM 3.4svn）

Answer 1

我会因为没有更多有经验的人而被刺伤：

如上所示，Empty是一个类，它的大小及其对象都是0，为什么？

标准禁止使用零大小的数组，因此就标准而言sizeof(Empty)是无意义的表达式时，您已经处于未定义行为的范围内。

这是我的问题：如果可以实现0大小的对象，[...]为什么空类的大小不为零？，但现在，我们确实有不同的地址作为输出，这是怎么发生的？

如上所述，大小为0的对象不能存在于有效的标准c ++程序中（基类子对象除外）。

您的编译器允许将其作为标准的扩展，并且只要您在其预期范围内使用此扩展（即作为预灵活的阵列成员hack），您就不应该遇到任何问题，虽然你的代码不可移植。然而，上面的示例并不是如何使用零大小的数组（更不用说c ++中有更好的构造来处理这些情况）。

您的编译器足够智能，可以为em1和em2提供单独的地址，但您应该会发现set的所有元素实际上都具有相同的地址。

此外，无论数组的大小是多少，最后一行输出总是4，为什么？

由于您的编译器将sizeof(Empty)和Empty的数组视为零，因此您将除以零，这是未定义的行为。如果您禁用优化，您可能会发现程序崩溃，例如，您的程序崩溃时使用-O0而不是-O1。

关于完全空洞的课程

1 个答案: