传入枚举类型非法值时是否可触发gcc/clang/msvc编译器告警？

首先明确：可以通过开启对应编译器选项实现调用时传入枚举外字面量的告警/报错，以下是不同编译器的具体配置和补充方案。

问题示例代码 #

#include <stdint.h>

typedef enum {
    GPIO_0,
    GPIO_1,
    GPIO_2,
    GPIO_3
} gpio_t;

void gpio_set(gpio_t gpionum, uint8_t value) {
    // ...
}

int main(int argc, const char** argv) {
    // 此处传入的5不属于gpio_t的枚举成员，需要触发编译器告警
    gpio_set(5, 1);
    return 0;
}

各编译器告警开启方案 #

• GCC/Clang
  开启-Wenum-conversion编译选项即可触发对应告警，如果需要将该告警升级为错误直接阻断编译，额外添加-Werror=enum-conversion即可。
  编译命令示例：

  gcc test.c -o test -Wenum-conversion
  

  编译后会输出类似告警：warning: implicit conversion from 'int' to 'gpio_t' changes value from 5 to 5 which is not in the enumeration range of type 'gpio_t' [-Wenum-conversion]
• MSVC
  开启/W4告警级别即可触发对应警告，也可以单独启用编号为C4369的专项警告，若要转为错误添加/we4369选项即可。
  编译命令示例：

  cl test.c /W4 /we4369
  

额外增强校验方案 #

1. C++场景下可以使用强类型枚举enum class，其默认不允许隐式int转换，传入非枚举成员的字面量时会直接触发编译错误，无需额外开启告警：

enum class gpio_t {
    GPIO_0,
    GPIO_1,
    GPIO_2,
    GPIO_3
};

// 合法调用
gpio_set(gpio_t::GPIO_0, 1);
// 直接编译错误，无法隐式转换int到enum class类型
gpio_set(5, 1);

2. 运行时校验补充：如果参数是动态传入的变量，编译器静态检查无法识别范围问题，可以在函数内部添加断言做调试阶段校验：

#include <assert.h>
void gpio_set(gpio_t gpionum, uint8_t value) {
    assert(gpionum >= GPIO_0 && gpionum <= GPIO_3);
    // 后续业务逻辑
}

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