无法在预处理#if指令中用sizeof结合#error检测枚举大小怎么办

失效原因说明 #

你之前的三个方案失效的核心原因是混淆了预处理阶段、编译阶段、运行阶段的执行顺序：

• 第一个方案：#error是预处理指令，会在预处理阶段直接执行，完全不会识别C语言运行时的if分支逻辑，所以要么直接误报错，要么完全不生效。
• 第二个方案：sizeof是编译阶段才会计算的运算符，预处理器只做文本替换，根本无法识别sizeof关键字，所以会直接报预处理语法错误。
• 第三个方案：预处理阶段无法读取C变量的取值，#if只能判断预处理阶段定义的宏常量，所以判断逻辑完全不会生效。

解决方案：用负长度数组实现编译期断言 #

在不支持static_assert的老编译器上，可以利用C标准不允许定义负长度数组的特性，实现编译期断言，具体实现如下：

// 定义编译期断言宏，cond为要满足的条件，msg为报错标识（不能有空格）
#define COMPILE_TIME_ASSERT(cond, msg) typedef char compile_assert_##msg[(cond) ? 1 : -1]

使用方法 #

你的需求是枚举项不超过256个时NAMES_e占1字节，一旦超过就触发告警，所以断言条件为sizeof(NAMES_e) == 1，将以下代码放在全局作用域（不要放在函数内部）即可：

COMPILE_TIME_ASSERT(sizeof(NAMES_e) == 1, NAMES_e_size_exceed_1_byte);

实现原理 #

• 当sizeof(NAMES_e) == 1条件成立时，会定义一个长度为1的char数组类型，编译正常通过。
• 当枚举项超过256个，sizeof(NAMES_e)大于1时，会尝试定义长度为-1的数组，编译器会直接抛出编译错误，错误信息会包含compile_assert_NAMES_e_size_exceed_1_byte的标识，一眼就能看出是枚举大小超限。

注意事项 #

注意你之前的判断逻辑写反了：sizeof(NAMES_e) == 1代表枚举项还未超过256，是符合要求的状态，只有不等于1的时候才需要触发报错。

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