能否用static_assert检测结构体内存填充？我的假设是否有误？

你的核心逻辑是站得住脚的：如果结构体中某成员的offsetof值等于它之前所有成员的sizeof总和，那么这些成员之间确实没有未命名填充，是连续排布的；如果这些成员类型相同，完全可以在实践中把它们当作数组来访问。

为什么这个假设符合C标准？ #

先回顾你提到的C标准规则：

结构体对象中，非位域成员以及位域所在的存储单元的地址按声明顺序递增。指向结构体对象的指针经适当转换后指向其首个成员（若该成员是位域则指向其所在存储单元），反之亦然。结构体对象内部可能存在未命名填充，但开头不会有。

根据offsetof的定义，它返回的是成员相对于结构体起始地址的字节偏移量。如果成员N的偏移量恰好等于前面所有成员的大小之和，就意味着从第一个成员到成员N之间，没有任何额外的填充字节插入，成员的存储是连续的——这完全符合标准的要求。

例外场景：位域成员的特殊情况 #

当结构体中包含位域成员时，你的假设的前提计算会失效，因为位域的sizeof行为是实现定义的：

• C标准并没有规定sizeof位域的返回值必须是它实际占用的字节数，绝大多数编译器会返回位域所在的存储单元的大小（比如一个占4比特的char位域，sizeof会返回1）。
• 这会导致你计算“前面成员的大小之和”时出现偏差，比如：

struct bit_pack {
    char a : 4;  // 占4比特，sizeof返回1
    char b : 4;  // 占4比特，sizeof返回1
    char c;      // sizeof返回1
};

这里offsetof(struct bit_pack, c)的结果是1（因为a和b被打包到同一个char存储单元里），但前面成员的sizeof总和是1+1=2，此时你的假设的条件不满足，但实际上a、b之间并没有填充——这不是假设本身错误，而是计算“前面成员大小之和”的方法在位域场景下不适用。

如果要验证位域之间是否有填充，应该直接对比相邻成员的offsetof差值，或者对比成员所在存储单元的偏移量。

关于“视为数组”的补充说明 #

如果已经通过static_assert验证了同类型成员是连续的，那么在实践中将它们当作数组访问（比如用指针偏移），在GCC、Clang、MSVC等主流编译器上都是安全的。不过严格来说，C标准并没有明确允许这种结构体成员到数组的转换，但由于存储布局完全匹配数组，主流编译器都会支持这种用法——只要你已经通过编译期断言确保了布局的连续性，就不用担心兼容性问题。

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