Linux GNU编译环境下C文件引用含static_assert的头文件报错

错误原因 #

你的代码在C文件中编译报错，核心原因有两点：

1. 关键字差异：C语言在C23标准之前没有static_assert关键字，C11及以后的静态断言使用的是_Static_assert；而static_assert是C11引入的关键字，仅C编译器可正常识别。
2. 版本兼容性：若你的C编译器未启用C11或更高版本，即便替换关键字也无法正常编译。

修正方案 #

修改头文件中的宏定义，通过预处理指令区分C/C++环境，同时兼容不同版本的C编译器：

// 跨C/C++的结构体大小静态断言宏
#if defined(__cplusplus)
// C++环境：直接使用标准static_assert
#define TEST_STRUCTURE_SIZE(structToTest, sizeToCompare) \
    static_assert(sizeof(structToTest) == sizeToCompare, "Structure size error");
#elif defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L
// C11及以上环境：使用C标准的_Static_assert
#define TEST_STRUCTURE_SIZE(structToTest, sizeToCompare) \
    _Static_assert(sizeof(structToTest) == sizeToCompare, "Structure size error");
#else
// 不支持C11的旧C编译器：用数组typedef触发编译错误实现检查
#define TEST_STRUCTURE_SIZE(structToTest, sizeToCompare) \
    typedef char static_assert_failed_##structToTest[sizeof(structToTest) == sizeToCompare ? 1 : -1];
#endif

// 结构体定义（显式指定4字节对齐，彻底避免编译器默认对齐差异）
#pragma pack(push, 4)
typedef struct SExampleStruct   
{
    int field1;
    int field2;
}SExampleStruct;
#pragma pack(pop)

// 执行大小检查
TEST_STRUCTURE_SIZE(SExampleStruct, 8)

补充说明 #

1. 显式对齐设置：添加#pragma pack(push,4)和#pragma pack(pop)可以强制结构体按4字节对齐，彻底避免因编译器默认对齐规则不同导致的内存填充问题，比仅检查大小更可靠。
2. C编译选项：若使用C11及以上的断言逻辑，编译C文件时需要启用对应标准，例如：
   • GCC/Clang：添加-std=c11或-std=gnu11参数
   • MSVC：添加/std:c11或更高版本的参数

内容的提问来源于stack exchange，提问作者Tal V.