C语言（非C++）如何编译时校验不同标签的两个结构体定义是否一致

标准C没有提供直接对比两个不同标签结构体定义是否完全一致的原生语法，但可以通过C11及更高版本的_Static_assert（静态断言）配合<stddef.h>中的offsetof宏、sizeof运算符实现编译阶段的检查，满足「字段集合完全相同、排列顺序完全一致」的校验需求。

实现原理 #

• 两个字段类型、排列顺序完全相同的结构体，在相同编译环境、编译选项下，总大小必然相等，每个相同字段的内存偏移量也完全相等，仅校验这两个维度即可覆盖需求。
• 若校验不通过，静态断言会直接在编译阶段抛出错误，不会等到运行时。

示例代码 #

#include <stddef.h>
#include <stdint.h>

// 待校验的两个不同标签结构体
typedef struct {
    int32_t id;
    char name[16];
    double score;
} StudentA;

typedef struct {
    int32_t id;
    char name[16];
    double score;
} StudentB;

// 编译阶段校验
// 1. 先校验总大小是否一致
_Static_assert(sizeof(StudentA) == sizeof(StudentB), "结构体总大小不匹配");
// 2. 逐个校验对应字段的偏移量是否一致
_Static_assert(offsetof(StudentA, id) == offsetof(StudentB, id), "字段id的偏移量不匹配");
_Static_assert(offsetof(StudentA, name) == offsetof(StudentB, name), "字段name的偏移量不匹配");
_Static_assert(offsetof(StudentA, score) == offsetof(StudentB, score), "字段score的偏移量不匹配");

如果两个结构体定义不一致，编译时会直接触发对应的断言报错。

适用场景与局限性 #

• 对于C11之前的老标准C环境，可以用负数数组长度的奇技淫巧替代静态断言，比如char check_size[sizeof(StudentA) == sizeof(StudentB) ? 1 : -1];，缺点是报错信息不够直观。
• 如果两个结构体的字段名不同但类型、顺序要求一致，只需要手动对应位置校验偏移量即可，不需要要求字段名完全相同。
• 不支持直接校验包含位域的结构体，因为offsetof宏无法作用于位域成员，这种场景需要额外对位域的总长度、分配顺序做单独校验。
• 带柔性数组的结构体需要额外校验柔性数组前的成员部分，柔性数组本身不参与结构体的sizeof计算。

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