单字段结构体的大小是否一定与字段大小一致？

问题核心 #

提问者担忧单字段结构体的大小可能大于其内部字段的大小，这种担忧是否合理？结合C17标准的相关条款，是否存在编译器需要给单字段结构体末尾插入内存填充的场景？

标准依据 #

C17标准条款6.7.2.1-15明确：结构体的首个字段前不允许存在内存填充；条款6.7.2.1-17则规定，允许在结构体的最后一个元素之后添加未指定大小的内存填充。

从标准文本来看，确实允许结构体的整体大小大于其内部字段的总大小，但通常我们会默认这种填充只出现在多字段结构体中——比如包含int和char的结构体数组，为了保证数组中每个元素的int字段都能正确对齐，编译器会在char字段后添加填充字节。

单字段结构体的填充场景 #

答案是存在这类场景，主要和结构体的对齐要求相关：

• 当结构体唯一成员的类型T，其对齐要求A大于sizeof(T)时（比如某些硬件特定的自定义类型，或者编译器扩展的特殊类型），结构体的对齐要求至少要和T保持一致。为了保证结构体数组中每个元素都能满足对齐要求，编译器必须在结构体末尾添加填充，让结构体的总大小成为A的整数倍。
• 另外，使用编译器扩展强制指定结构体的对齐级别时，也会出现这种情况。例如在GCC或Clang中，用__attribute__((aligned(16)))修饰一个仅包含int成员的结构体：

  struct AlignedInt {
      int val;
  } __attribute__((aligned(16)));
  

  此时sizeof(struct AlignedInt)会是16，远大于sizeof(int)（通常为4），这就是编译器为了满足指定的对齐要求而在末尾插入了填充字节。

结论 #

提问者的担忧是合理的，C17标准确实允许单字段结构体的大小大于其成员的大小，并且在特定的对齐需求场景下，编译器有必要插入末尾填充。

内容的提问来源于stack exchange，提问作者nielsen