4. 整数的疯狂世界：有符号整数溢出、无符号整数回绕、移位操作符的未定义行为、负数的移位
说实话，整数在C语言里看起来人畜无害。但你要是真这么想，迟早会被它坑一把。我见过太多项目因为整数溢出而崩溃，有些甚至是在产品发布后才暴露出来的。今天咱们就把这些坑一个个扒开来看。
4.1 有符号整数溢出：C标准里的“幽灵”
有符号整数溢出，是C标准明确规定的未定义行为。什么意思？就是编译器想怎么处理就怎么处理，你的程序可能崩溃，可能静默出错，甚至可能产生你完全想不到的结果。
我刚开始做嵌入式开发时，一直以为有符号整数溢出会像无符号那样回绕。直到有一次调试一个电机控制程序，发现速度值莫名其妙变成负数，查了两天才找到原因——一个简单的加法溢出了。
// 危险的代码
int a = INT_MAX;
int b = a + 1; // 未定义行为！
// 你以为结果是 INT_MIN？不一定！
为什么会这样？因为C标准故意留了这个口子。有些硬件平台（比如某些DSP）在溢出时会触发异常，有些则不会。编译器优化时，甚至会假设“有符号整数永远不会溢出”，然后生成让你目瞪口呆的代码。
我的建议：永远不要依赖有符号整数溢出的“预期结果”。如果你需要回绕行为，请使用无符号类型。
4.2 无符号整数回绕：唯一“安全”的溢出
无符号整数的溢出行为是C标准明确定义的——它会回绕。说白了，就是模运算。这一点在嵌入式开发中特别有用，比如实现循环计数器、时间戳差值计算等。
// 无符号回绕是定义良好的
unsigned int a = UINT_MAX;
unsigned int b = a + 1; // 结果一定是0
我在项目中经常用这个特性来实现环形缓冲区索引。你想想看，如果每次都要判断边界，代码会变得很啰嗦。利用无符号回绕，代码简洁又高效。
💡 实用技巧：计算两个无符号数的差值时，直接用减法，不用管谁大谁小。比如计算时间戳差值：(t2 - t1)，只要差值在类型范围内，结果就是正确的。
4.3 移位操作符的未定义行为：左移右移都有坑
移位操作看起来简单，但陷阱比你想的多。我总结了几条铁律，你记好了：
| 操作 | 条件 | 行为 |
|---|---|---|
| 左移 | 移位数 ≥ 类型位宽 | 未定义行为 |
| 左移 | 结果超出有符号范围 | 未定义行为 |
| 右移 | 移位数 ≥ 类型位宽 | 未定义行为 |
| 右移 | 有符号负数 | 实现定义（可能是算术移位或逻辑移位） |
// 常见的错误
int a = 1;
int b = a << 32; // 如果int是32位，这是未定义行为！
// 正确的做法
int c = 1;
int d = c << 31; // 安全，但注意不要溢出
嗯，这里要注意：左移有符号整数导致符号位变化，也是未定义行为。我曾经在代码审查时看到有人写 1 << 31 来生成最小负数，这其实是不安全的。
4.4 负数的移位：实现定义的“灰色地带”
负数的右移，C标准把它定义为“实现定义行为”。什么意思？不同的编译器可能给出不同的结果。有些平台做算术移位（保留符号位），有些做逻辑移位（补0）。
// 不可移植的代码
int a = -8; // 二进制：...11111000
int b = a >> 2; // 结果取决于实现！
// 算术移位：-2
// 逻辑移位：一个很大的正数
我个人习惯是：永远不对负数做右移操作。如果你需要位操作，先把负数转换成无符号类型，操作完再转回来。这样代码既清晰又安全。
4.5 知识体系总览
下面这张图把整数相关的未定义行为梳理清楚了，你可以对照着检查自己的代码：
4.6 实用建议总结
说了这么多，最后给你几条硬核建议：
- 能用无符号就别用有符号——特别是在做位操作、循环计数、数组索引时
- 移位前检查移位数——确保它小于类型的位宽
- 不要对有符号负数做右移——先用无符号类型过渡一下
- 开启编译器警告——比如GCC的
-Wshift-count-overflow和-Wstrict-overflow - 代码审查时重点关注整数操作——这是bug的高发区
💡 我的习惯：在嵌入式项目中，我会定义一个安全移位宏，里面做参数检查。虽然多了一点点代码量，但换来的是长期的安全感。
整数操作看似基础，但正是这些基础细节决定了代码的可靠性。记住：C标准给了你自由，但也给了你责任。用好这些规则，你的代码才能在各种平台上稳定运行。
公众号:蓝海资料掘金营，微信deep3321