是否保证相同类型的值之间没有填充？答案

【问题标题】：Is it guaranteed that there's no padding between values of the same type?是否保证相同类型的值之间没有填充？
【发布时间】：2018-05-12 17:40:40
【问题描述】：

考虑这段代码：

// T is *any* type
struct str_T{
    T a, b;
};

我知道（几乎总是）具有不同对齐方式的对象之间存在填充，因为这两个成员都是T 类型。但这一次没有不同的对齐方式。这个断言能一直通过吗？

static_assert(sizeof(str_T) == 2 * sizeof(T));
// i.e. padding-free

【问题讨论】：

【解决方案1】：

不，这不能保证。编译器总是可以决定在结构成员之间填充或不填充额外的位。（除非被覆盖）

引用C11 draft，6.7.2.1 结构和联合说明符

在结构对象中，非位域成员和单元哪些位域的地址按顺序增加他们被宣布。指向结构对象的指针，适当地转换后，指向其初始成员（或者如果该成员是位域，然后到它所在的单元），反之亦然。 结构对象中可能有未命名的填充，但不是开始

【讨论】：

【解决方案2】：

否，不能保证是相同的内存布局。

C11 6.7.2.1(p6)：

结构是由一系列成员组成的类型，其成员存储按顺序分配

该标准不强制执行任何布局规则。

【讨论】：