首页 >后端开发 >C++ >为什么 C 中的空类的大小为 1 字节,而不是 0 字节?

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

Barbara Streisand
Barbara Streisand原创
2024-12-14 19:12:12164浏览

Why Do Empty Classes in C   Have a Size of 1 Byte, Not 0 Bytes?

了解空类对象的大小

在 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中文网其他相关文章!

声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn