C语言typedef enum变量能否取枚举元素外的值？需保留异常分支吗？

先看你贴的这段代码：

typedef enum {
    OPTION1,
    OPTION2
} option_t;

...

void a_function(option_t option){
    if(option == OPTION1){
        ...
    } else if(option == OPTION2){
        ...
    } else {
        // report an error!
        // can we ever get here?
    }
}

核心问题解答 #

1. C语言的typedef enum能接收超出枚举元素的值吗？ #

完全可以。在C标准里，枚举类型的本质是整数类型（通常等价于int），枚举元素只是给特定整数值起的别名（默认OPTION1是0，OPTION2是1）。但枚举变量和普通整数变量一样，可以被赋值任何合法的整数值——哪怕这个值不在枚举定义的元素列表里。

比如直接写a_function(100);，编译器不会报错（除非开启了非常严格的类型检查选项）；或者代码里出现内存越界、错误的强制类型转换，都可能让option变量拿到非法值。

2. 那个报错的else分支有保留的必要吗？ #

必须保留，而且建议把注释里的报错逻辑补实（比如加assert(0);、打印错误日志或者直接终止程序）。原因有三个：

• 捕获非法输入：前面说了，枚举变量可能拿到超出定义的值，这个分支能及时发现问题，避免程序在未知状态下继续运行，引发更隐蔽的bug；
• 代码文档作用：明确告诉后续维护者，这个函数只处理OPTION1和OPTION2两种情况，其他值都是非法的；
• 兼容枚举扩展：如果以后给option_t新增了OPTION3，但忘记更新a_function里的if-else分支，这个else会触发报错，帮你快速定位遗漏的逻辑。

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