将类型包装在结构中会导致额外的填充吗？

发布于 2024-12-02 14:10:44 字数 417 浏览 2 评论 0原文

可能的重复：
单个元素的结构大小

给定任何类型A 和以下结构：

struct S
{
    A a;
};

是否存在 sizeof(S) 大于 sizeof(A) 的情况？

例如，sizeof(std::array) 可以大于 sizeof(T[n]) 吗？

原文

Possible Duplicate:
Size of struct with a single element

Given any type A and the following struct:

struct S
{
    A a;
};

Are there any cases where sizeof(S) is greater than sizeof(A)?

For example, can sizeof(std::array<T, n>) be greater than sizeof(T[n])?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

痴者 2024-12-09 14:10:44

能够在 S 内部使用 A 意味着编译器已经了解 A 的结构，并且已经向其中添加了填充字节。我认为没有理由为 S 添加进一步的填充，因为它已经对齐了。

回复收藏 0 原文

戏舞 2024-12-09 14:10:44

虽然结构可以被填充，但在我知道的所有系统上，编译器都会填充，以便结构的对齐方式与其成员的最大对齐方式相同。这样做是为了使结构数组始终正确对齐。

所以：

struct S 
{
   char a;
} // Size 1, no padding

struct S2 
{
   unsigned int a;
   char b;
} // Size 8, 3 bytes padding (assuming 32 bit integer)

编辑：注意，编译器还可以添加内部填充，以保持数据的对齐正确。

C/C++ 标准没有指定任何这些细节。您想要的是您正在运行的系统的 C ABI（应用程序二进制接口），它应该指定结构的默认布局（编译器可以选择覆盖它，如果他们认为合适，另请参阅#pragma pack）。例如，请查看 X86_64 ABI 第 13 页，其中指出：

聚合和联合结构和联合假设对齐
它们最严格对齐的组件。每个成员被分配到
适当对齐的最低可用偏移。尺寸
任何对象的对齐方式始终是对象对齐方式的倍数。一个数组
使用与其元素相同的对齐方式，除了本地或全局
长度至少为 16 个字节的数组变量或 C99 可变长度
数组变量始终具有至少 16 个字节的对齐方式。结构
联合对象可能需要填充以满足大小和对齐的要求
限制。任何填充的内容都是未定义的。

While the struct can be padded, on all systems I know, the compiler will pad so that the alignment of the structure is the same as the largest alignment of its members. It does this so that an array of the structure will always be correctly aligned.

So:

struct S 
{
   char a;
} // Size 1, no padding

struct S2 
{
   unsigned int a;
   char b;
} // Size 8, 3 bytes padding (assuming 32 bit integer)

Edit: Note, that compilers can also add internal padding, to keep the alignment of the data correct.

The C/C++ standard doesn't specify any of these detail. What you want is the C ABI (application binary interface) for the system you're running on, which should specify default layout for structs (compilers can choose to override this if they see fit, see also #pragma pack). For an example, look at the X86_64 ABI page 13, which states:

Aggregates and Unions Structures and unions assume the alignment of
their most strictly aligned compo- nent. Each member is assigned to
the lowest available offset with the appropriate alignment. The size
of any object is always a multiple of the object‘s alignment. An array
uses the same alignment as its elements, except that a local or global
array variable of length at least 16 bytes or a C99 variable-length
array variable always has alignment of at least 16 bytes. Structure
and union objects can require padding to meet size and alignment
constraints. The contents of any padding is undeﬁned.

回复收藏 0 原文