为什么 C 中的空类的大小为 1 字节，而不是 0 字节？

了解空类对象的大小

在 C 中，即使看似空的类也具有非零大小。人们可能会认为它是 0 字节，但事实并非如此。这个问题深入探讨了这种行为背后的原因。

为了说明这一点，请考虑以下程序：

#include <iostream>
using namespace std;

class Empty {};

int main()
{
    Empty e;
    cerr << sizeof(e) << endl;
    return 0;
}

如果编译此程序，各种编译器（例如 Visual C和 Cygwin-g ）始终为 1 字节。这可能看起来出乎意料，因为该对象不包含数据成员。

为什么是 1 字节？

编译器将 1 字节的大小分配给空类对象以确保不同的对象有唯一的地址。这种区别对于正确的内存管理和避免别名问题至关重要。

为什么不是 4 字节（机器字）？

人们可能期望对象的大小能够对齐与机器字大小（32 或 64 位）有关，但事实并非如此。对齐问题对于空类来说变得无关紧要，因为没有要对齐的数据成员。因此，编译器通过分配最小可行大小来优化空间：1 字节。

非零大小调整

0 字节的大小意味着两个对象空类可能占用相同的内存位置，从而无法区分它们。这种歧义可能会导致程序中出现未定义的行为。因此，非零大小（在本例中为 1 字节）可确保唯一地址并保持程序完整性。

以上是为什么 C 中的空类的大小为 1 字节，而不是 0 字节？的详细内容。更多信息请关注PHP中文网其他相关文章！