如何在编译时因枚举参数配置错误触发#error指令？

问题描述 #

想实现当多个枚举类型的配置参数不符合规则时，在编译阶段触发#error指令。例如定义了如下枚举及配置参数：

enum config_choice {
  YES,
  NO
};

enum config_choice PARAM_1 = YES;
enum config_choice PARAM_2 = NO;
enum config_choice PARAM_3 = YES;

期望实现类似如下逻辑，当配置不合法时抛出编译错误：

if(PARAM_1 == YES && (PARAM_2 == YES || PARAM_3 == YES)){
    #error "Bad configuration!!!"
}

注：枚举值在运行时不会发生改变。

实现方案 #

直接用普通if语句无法触发#error，因为#error是预处理阶段指令，只能在预处理条件判断中生效，而普通if是运行时执行的代码。

由于你的配置参数是编译期固定的，可通过以下方式实现需求：

1. 将配置参数改为预处理宏定义（最稳妥的方式）

enum config_choice {
  YES,
  NO
};

// 用#define定义编译期配置参数
#define PARAM_1 YES
#define PARAM_2 NO
#define PARAM_3 YES

// 预处理阶段判断配置合法性
#if (PARAM_1 == YES) && ((PARAM_2 == YES) || (PARAM_3 == YES))
#error "Bad configuration!!!"
#endif

2. 利用枚举值的编译期常量特性
   部分编译器支持直接在#if中使用被const修饰且用常量初始化的枚举变量，写法如下：

enum config_choice {
  YES,
  NO
};

const enum config_choice PARAM_1 = YES;
const enum config_choice PARAM_2 = NO;
const enum config_choice PARAM_3 = YES;

#if (PARAM_1 == YES) && ((PARAM_2 == YES) || (PARAM_3 == YES))
#error "Bad configuration!!!"
#endif

不过这种方式兼容性不如宏定义，建议优先选择第一种方案。

原理说明 #

预处理指令（如#if、#error）在编译的最早期阶段执行，此时还未生成运行时代码。通过预处理条件判断编译期已知的配置参数，就能在编译阶段直接检测到非法配置并抛出错误，避免运行时才发现问题。

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