<p>应使用有符号类型（如 ssize_t）替代 size_t 做索引或计数，避免无符号减法下溢回绕；若必须用 size_t，则采用 i-- > 0 循环模式或显式范围检查（a >= b 再执行 a - b），并启用编译器溢出检测。</p>
用有符号类型替代 size_t 做索引或计数
无符号类型（如 size_t）减法下溢不会报错，而是回绕成极大正数，比如 0 - 1 变成 SIZE_MAX。最直接的防范方式是避免让它做减法——改用有符号类型控制逻辑。
-
ssize_t是专为“带符号的 size_t”设计的标准类型（POSIX），可安全表示 -1，且能容纳所有合法size_t值（除非你真在处理 >2⁶³ 字节的对象） - 简单场景用
int或long也行，但需确认不会溢出：比如数组长度 ≤ 2³¹−1 时，int足够 - 切忌混合使用：
size_t len = vec.size(); for (int i = len - 1; i >= 0; i--)中，若len超过INT_MAX，强制转换会截断——应先检查len (INT_MAX)
改写循环结构，避开与 0 比较
很多下溢问题其实卡在循环条件里写了 i >= 0。既然 size_t 永远不小于 0，这个判断就失效了。换一种写法，让递减发生在比较之后。
- 正确写法：
for (size_t i = n; i-- > 0; ) { use(arr[i]); }—— 先用i，再递减，最后判断是否 > 0；当i原为 0 时，i-- > 0为假，循环终止 - 注意：这种写法只适用于“从
n-1遍历到 0”的场景，不能用于需要访问arr[n]的情况 - 别写成
for (size_t i = n; i > 0; i--) { use(arr[i-1]); }—— 看似等价，但多一次减法，且易在复杂表达式中漏掉边界校验
运算前做显式范围检查
如果必须用 size_t 做减法（比如计算偏移量），那就把“会不会下溢”这个问题提前回答掉，而不是留给运行时回绕。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 检查模式：
if (a >= b) { result = a - b; } else { /* 下溢风险，拒绝或报错 */ } - 不要写
if (a - b —— <code>size_t永远不小于 0，该条件恒假，编译器可能直接优化掉整块分支 - 涉及用户输入时尤其关键：比如解析协议字段
header_len和payload_len，做total - header_len前，先确认total >= header_len
启用编译器溢出检测和静态分析
人容易漏，工具不会。即使代码逻辑上“看起来安全”，也可能因宏展开、模板实例化或隐式转换引入隐患。
立即学习“C++免费学习笔记（深入）”；
- Clang/GCC 加
-fsanitize=undefined：运行时捕获size_t减法下溢（触发unsigned-integer-overflow报告） - Clang Static Analyzer（
clang++ --analyze）能识别形如for (size_t i = len; i >= 0; i--)这类明显模式 - Cppcheck 启用
--enable=warning,style可标出可疑的无符号比较，比如if (x - y > z)中x和y都是size_t
真实项目里最容易被忽略的点，不是“要不要检查”，而是检查的位置：很多人把校验放在函数入口，却忘了中间某次 size_t 减法是在深嵌套循环里算出来的——那里才是下溢高发区。
