有符号整数与无符号整数混合运算时，有符号数会隐式转换为无符号数，导致负数变大正数，引发逻辑错误；例如-1与2比较时被视为大于2，循环中size()-1在size为0时溢出，造成死循环；正确做法是使用有符号索引或反向迭代器，避免无符号下溢。
在C++中，有符号整数（signed）和无符号整数（unsigned）的混合使用常常导致难以察觉的陷阱，尤其是在边界处理和比较操作中。理解它们的行为差异，是编写安全、可靠代码的关键。
有符号与无符号的隐式转换规则
C++标准规定：当有符号整数和无符号整数进行运算或比较时，有符号整数会被自动转换为无符号类型。这种转换基于“整型提升”规则，可能导致意外结果。
例如：
int a = -1;
unsigned int b = 2;
if (a < b) {
// 实际上不会进入这里！
}
虽然 -1 小于 2，但 a 被转为 unsigned int 后变成一个极大的正数（如 4294967295），因此比较结果为 false。
立即学习“C++免费学习笔记（深入）”；
避免比较陷阱的方法
为防止这类问题，应尽量避免跨符号类型的直接比较。可以采取以下策略：
- 统一变量类型：在可能的情况下，让参与运算的变量使用相同的符号性。
- 显式判断符号：先检查有符号数是否为负，再决定是否与无符号数比较。
- 使用中间类型：比如将两者都转为更大的有符号类型（如 long long）进行比较。
示例：
int a = -1; unsigned int b = 2; if (a < 0 || static_cast(a) < static_cast (b)) { // 安全比较 }
算术运算中的溢出风险
无符号整数溢出是定义良好的（模运算），而有符号整数溢出是未定义行为（undefined behavior），这是关键区别。
例如：
unsigned int u = 0; u--; // 结果为 UINT_MAX，合法int s = 0; s--; // 没问题 s = INT_MIN; s--; // 溢出，未定义行为！
对有符号整数做加减操作时，必须确保不超出范围。建议在执行前做范围检查：
if (s > INT_MIN && s < INT_MAX) {
s++;
}
容器大小与索引的常见坑
STL 容器的 size() 返回 size_t（无符号类型）。以下写法非常危险：
for (int i = vec.size() - 1; i >= 0; --i) { ... }
当 vec.size() 为 0 时，vec.size() - 1 会变成一个极大正数，且 i >= 0 始终成立（因为 i 是无符号），造成死循环。
正确做法：
- 使用有符号索引类型，如 int i = static_cast
(vec.size()) - 1; - 使用反向迭代器。
- 用 size_t i 并改写循环条件：i != 0; --i，在循环体中访问 vec[i-1]。
基本上就这些。关键是意识到符号转换的隐式发生，并主动防御。不复杂但容易忽略。
