8、枚举与布尔安全：枚举值范围检查、布尔变量的正确使用、三态逻辑处理、布尔函数返回值规范
好，咱们今天聊一个看似简单，实则坑特别多的主题——枚举与布尔安全。
你可能会想：“枚举不就是几个常量吗？布尔不就是 true/false 吗？这有什么好讲的？”
嗯，我以前也这么觉得。直到我在一个电机控制项目里，因为枚举值越界导致整个系统跑飞，才明白——越是基础的东西，越容易出大问题。
8.1 枚举值范围检查：别让编译器“惯坏”了你
先问一个问题：C语言里，枚举的本质是什么？
说白了，枚举就是一组命名的整型常量。编译器会帮你从0开始赋值，但它不会限制你只能赋这些值。
看个例子：
typedef enum {
STATE_IDLE = 0,
STATE_RUNNING,
STATE_STOPPED,
STATE_ERROR
} motor_state_t;
motor_state_t state = 99; // 编译器不会报错！
你看，我赋了个99，编译器一声不吭。但在运行时，这个值可能让 switch-case 掉进未定义分支，或者让数组访问越界。
我个人习惯：凡是枚举变量，在赋值或传参时，必须做范围检查。
防御式编程做法：
bool set_motor_state(motor_state_t new_state) {
// 显式检查枚举值范围
if (new_state < STATE_IDLE || new_state > STATE_ERROR) {
log_error("Invalid motor state: %d", new_state);
return false;
}
motor.state = new_state;
return true;
}
你可能会问：“每次都要写范围检查，不麻烦吗？”
嗯，是有点麻烦。但比起半夜被电话叫起来修bug，这点麻烦算什么？
我曾经在一个通信协议栈里，因为没做枚举检查，收到一个非法命令码后，程序直接跳到了一个未初始化的函数指针上……那次排查花了我整整两天。
8.2 布尔变量的正确使用：别把 true/false 当儿戏
布尔变量看起来简单，但用起来有很多讲究。
先看一个常见的错误：
int flag = 5;
if (flag) { // 非零即为真
// 执行某些操作
}
这段代码能跑，但隐患很大。如果 flag 的值是 2、3、5 呢？它们都是“真”，但含义可能完全不同。
我建议：布尔变量只用来表示“是/否”、“开/关”、“成功/失败”这种二值状态。如果变量有多个可能的值，请用枚举。
布尔变量的黄金法则：
- 永远不要用整型代替布尔型
- 永远不要对布尔变量做“== true”或“== false”的比较
- 永远不要给布尔变量赋非0/1的值
正确的写法：
#include <stdbool.h>
bool is_sensor_ready = false;
// 正确：直接判断
if (is_sensor_ready) {
read_sensor_data();
}
// 错误：不要这样写
if (is_sensor_ready == true) { // 多此一举
// ...
}
为什么不要写 == true？因为如果 is_sensor_ready 不小心被赋值为 2，if (is_sensor_ready) 仍然为真，但 if (is_sensor_ready == true) 就为假了——因为 2 != 1。这种隐蔽的bug，你找三天都未必能找到。
8.3 三态逻辑处理：当“是/否”不够用时
现实世界不是非黑即白的。有时候，一个状态可能是“未知”、“未初始化”或“正在处理中”。
这就是三态逻辑的用武之地。
举个例子，一个温度传感器：
typedef enum {
TEMP_UNKNOWN = -1, // 未知状态
TEMP_NORMAL = 0, // 正常
TEMP_HIGH = 1 // 高温
} temp_status_t;
为什么要加一个 TEMP_UNKNOWN？
因为传感器刚上电时，数据还没准备好。如果你用 bool 表示“是否高温”，那在数据准备好之前，你没法区分“未初始化”和“正常”。
注意：三态逻辑不要滥用。如果一个变量只有两种确定状态，就别硬塞一个“未知”进去。否则你的代码会变得像政治家的发言一样——模棱两可。
处理三态逻辑时，我常用的模式：
temp_status_t get_temperature_status(void) {
if (!sensor_is_ready()) {
return TEMP_UNKNOWN; // 数据还没准备好
}
float temp = read_temperature();
if (temp > 85.0f) {
return TEMP_HIGH;
}
return TEMP_NORMAL;
}
void handle_temperature(void) {
temp_status_t status = get_temperature_status();
switch (status) {
case TEMP_UNKNOWN:
// 等待或重试
break;
case TEMP_NORMAL:
// 正常运行
break;
case TEMP_HIGH:
// 启动散热
break;
default:
// 不可能到达这里，但防御式编程还是要写
log_error("Unexpected status");
break;
}
}
8.4 布尔函数返回值规范：让调用者一目了然
函数返回布尔值时，命名和语义要一致。这是很多团队容易忽略的地方。
看两个函数：
bool check_temperature(void); // 这个函数返回 true 表示什么？
bool is_temperature_ok(void); // 这个呢？
第一个函数 check_temperature，你根本不知道返回 true 是“检查通过”还是“检查到异常”。
第二个函数 is_temperature_ok，语义就清晰多了——true 表示温度正常。
我建议的命名规范：
| 前缀 | 含义 | 示例 |
|---|---|---|
| is_ | 是否处于某种状态 | is_ready(), is_empty() |
| has_ | 是否拥有某个属性 | has_error(), has_data() |
| can_ | 是否允许执行某个操作 | can_send(), can_write() |
| should_ | 是否应该执行某个操作 | should_retry(), should_stop() |
另外，布尔函数的返回值一定要明确：true 表示“是/好/成功”，false 表示“否/坏/失败”。不要搞反了。
避坑指南：
我曾经接手过一个项目，里面有个函数叫 check_error()，返回 true 表示“有错误”。结果整个团队都以为返回 true 表示“检查通过”……那段时间，我们修复的bug比写的代码还多。
知识体系总览
下面这张图，把本章的核心知识点串起来了：
总结一下：枚举和布尔，看似简单，但用好了是利器，用不好就是定时炸弹。记住三点：枚举要检查范围、布尔要语义清晰、三态要合理使用。做到这三点，你的代码会少很多莫名其妙的bug。
好，今天就聊到这里。下次写代码时，多想想你用的枚举值到底安不安全。
公众号：蓝海资料掘金营，微信 deep3321