为什么C++中空类的大小不为零？

Question

可能重复:
C++:空类对象的大小是多少？

为什么以下输出1？

#include <iostream>

class Test
{
};

int main()
{
    std::cout << sizeof(Test);
    return 0;
}

Answer 1

该标准不允许大小为0的对象(及其类),因为这样可以使两个不同的对象具有相同的内存地址.这就是为什么即使是空类必须具有(至少)1的大小.

Answer 2

确保两个不同对象的地址不同.出于同样的原因,"new"总是返回指向不同对象的指针.

请参阅Stroustrup以获得完整答案.

Answer 3

C++标准保证任何类的大小至少为1.C++标准规定没有对象与另一个对象具有相同的内存地址.这有几个很好的理由.

1. 保证new始终返回指向不同内存地址的指针.

2. 为了避免某些划分为零.例如,指针算术(其中许多由编译器自动完成)涉及除以sizeof(T).

但请注意,这并不意味着空基类会将派生类的大小加1:

struct Empty { };

struct Optimized : public Empty {
    char c;
};

// sizeof(Optimized) == 1 with g++ 4.0.1

Bjarne Stroustrup也谈到了这一点.

Answer 4

没有任何数据成员和成员函数的类这种类的类称为空类.空类对象的大小始终为1个字节.

当我们在那个时候创建​​任何类的对象时,对象总是得到3个特征,即

1. 州
2. 行为
3. 身分

当我们在那个时候创建​​空类的对象时该对象的状态是什么.该对象的行为也没有,但编译器为该对象分配唯一的地址.计算机中的内存始终以字节的形式组织,对象地址位置可用的最小内存为1个字节.这就是为什么空类对象的大小是1个字节的原因.