有符号无符号比大小异常：混比触发隐式转无符号，统一类型再比较

有符号无符号比大小异常：混比触发隐式转无符号，统一类型再比较

摘要：C 语言中，有符号数与无符号数混合比较时，有符号数会被隐式转换为无符号数，导致负数（如 -1）变成超大正数（0xFFFFFFFF），比较结果完全反直觉，负数被当作大正数放行，引发越界访问等隐患。本文通过真实翻车现场、C 的寻常算术转换原理、错误代码剖析，给出「先判负 + 统一类型再比较」的正确解法，并配套 -Wsign-compare 编译警告与最佳实践清单，帮你彻底避开混比陷阱。

一、开篇：一个真实翻车现场

一段代码比较两个长度：int len = read_len(); 和 uint32_t max = 256;，判断 if (len < max) 本意"长度为负或超 max 都拒绝"。但发现：当 len 为负数（如 -1 表示读错）时，if (len < max) 居然为 false，负数被放进了后续处理 → 越界访问。

原因：C 语言里有符号与无符号比较，有符号数会被隐式转换成无符号。-1 变成 0xFFFFFFFF（超大正数），远大于 max=256 → len < max 为 false → 漏检负数。

根因一句话：C 中"有符号 vs 无符号"混合比较/运算时，有符号数会隐式提升为无符号（C 的"寻常算术转换"规则）。负数变超大正数，比较结果完全反直觉。解法：统一类型再比较——要么都转有符号（且先判非负），要么都用无符号并对负数单独处理，杜绝隐式混比。

适用读者：写 if (a < b) 其中 a 是 int、b 是 uint32，出现"负数比较反常"的同学。
读完你能做：识别有符号/无符号混比陷阱，统一类型或拆分判断，避免负数被当大正数放过。

二、先搞懂：C 的寻常算术转换（认知）

2.1 混比时发生什么

当表达式里同时有符号和无符号操作数（且无符号类型"秩"不低于有符号），有符号操作数被转换成无符号。于是 int -1 在比较时变成 unsigned 0xFFFFFFFF，比任何正常正数都大。

2.2 为什么危险

很多业务逻辑用负数表示"错误码"（如 -1）。一旦和无符号比较，负数变超大正数 → 本该拦截的非法值被放行 → 越界/崩溃。

#mermaid-svg-MVGSSTJFd7Ml8qqb{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-MVGSSTJFd7Ml8qqb .error-icon{fill:#552222;}#mermaid-svg-MVGSSTJFd7Ml8qqb .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-MVGSSTJFd7Ml8qqb .marker{fill:#333333;stroke:#333333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .marker.cross{stroke:#333333;}#mermaid-svg-MVGSSTJFd7Ml8qqb svg{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-MVGSSTJFd7Ml8qqb p{margin:0;}#mermaid-svg-MVGSSTJFd7Ml8qqb .label{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;color:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .cluster-label text{fill:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .cluster-label span{color:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .cluster-label span p{background-color:transparent;}#mermaid-svg-MVGSSTJFd7Ml8qqb .label text,#mermaid-svg-MVGSSTJFd7Ml8qqb span{fill:#333;color:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .node rect,#mermaid-svg-MVGSSTJFd7Ml8qqb .node circle,#mermaid-svg-MVGSSTJFd7Ml8qqb .node ellipse,#mermaid-svg-MVGSSTJFd7Ml8qqb .node polygon,#mermaid-svg-MVGSSTJFd7Ml8qqb .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .rough-node .label text,#mermaid-svg-MVGSSTJFd7Ml8qqb .node .label text,#mermaid-svg-MVGSSTJFd7Ml8qqb .image-shape .label,#mermaid-svg-MVGSSTJFd7Ml8qqb .icon-shape .label{text-anchor:middle;}#mermaid-svg-MVGSSTJFd7Ml8qqb .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .rough-node .label,#mermaid-svg-MVGSSTJFd7Ml8qqb .node .label,#mermaid-svg-MVGSSTJFd7Ml8qqb .image-shape .label,#mermaid-svg-MVGSSTJFd7Ml8qqb .icon-shape .label{text-align:center;}#mermaid-svg-MVGSSTJFd7Ml8qqb .node.clickable{cursor:pointer;}#mermaid-svg-MVGSSTJFd7Ml8qqb .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .arrowheadPath{fill:#333333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-MVGSSTJFd7Ml8qqb .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-MVGSSTJFd7Ml8qqb .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-MVGSSTJFd7Ml8qqb .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-MVGSSTJFd7Ml8qqb .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .cluster text{fill:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb .cluster span{color:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-MVGSSTJFd7Ml8qqb .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-MVGSSTJFd7Ml8qqb rect.text{fill:none;stroke-width:0;}#mermaid-svg-MVGSSTJFd7Ml8qqb .icon-shape,#mermaid-svg-MVGSSTJFd7Ml8qqb .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-MVGSSTJFd7Ml8qqb .icon-shape p,#mermaid-svg-MVGSSTJFd7Ml8qqb .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-MVGSSTJFd7Ml8qqb .icon-shape rect,#mermaid-svg-MVGSSTJFd7Ml8qqb .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-MVGSSTJFd7Ml8qqb .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-MVGSSTJFd7Ml8qqb .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-MVGSSTJFd7Ml8qqb :root{–mermaid-font-family:\”trebuchet ms\”,verdana,arial,sans-serif;}

混比 隐转无符号

都转有符号

int a 与 uint b 比

类型统一?

a负数变超大 比较反

正常

图 1：有符号无符号混比（如图 1 所示，隐转无符号致负数变超大）。

[注意] 转换规则还和类型宽度有关（如 int 与 unsigned int 同宽则转无符号；int 与 unsigned long long 也转无符号）。编译器常开 -Wsign-compare 警告，务必打开。

三、为什么反常（原理 + 真实错误代码）

3.1 错误版

// ❌ 错：int 与 uint 混比
int len = read_len(); // 读错返回 -1
uint32_t max = 256;
if (len < max) { // len=-1 被转无符号=0xFFFFFFFF > 256 → false
process(len); // 负数被放行！越界
}

错：①len=-1；②与 uint32_t max 比较，隐转无符号 0xFFFFFFFF；③0xFFFFFFFF < 256 为 false → 负数漏检；④process(-1) 越界访问。

[坑] 铁律：有符号无符号混比，负数变超大正数。比较前统一类型，负数先单独判。

3.2 为什么"看似正常"

只有 len 为负才暴露；正常正数区间比较结果"恰好对"，掩盖了隐患 → 偶发（读错时才崩）。

下面是错误代码的执行流程，可以看到负数如何被隐式转换后漏检：

#mermaid-svg-6aTbkZzrQ6NhVP47{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-6aTbkZzrQ6NhVP47 .error-icon{fill:#552222;}#mermaid-svg-6aTbkZzrQ6NhVP47 .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-6aTbkZzrQ6NhVP47 .marker{fill:#333333;stroke:#333333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .marker.cross{stroke:#333333;}#mermaid-svg-6aTbkZzrQ6NhVP47 svg{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-6aTbkZzrQ6NhVP47 p{margin:0;}#mermaid-svg-6aTbkZzrQ6NhVP47 .label{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;color:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .cluster-label text{fill:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .cluster-label span{color:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .cluster-label span p{background-color:transparent;}#mermaid-svg-6aTbkZzrQ6NhVP47 .label text,#mermaid-svg-6aTbkZzrQ6NhVP47 span{fill:#333;color:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .node rect,#mermaid-svg-6aTbkZzrQ6NhVP47 .node circle,#mermaid-svg-6aTbkZzrQ6NhVP47 .node ellipse,#mermaid-svg-6aTbkZzrQ6NhVP47 .node polygon,#mermaid-svg-6aTbkZzrQ6NhVP47 .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .rough-node .label text,#mermaid-svg-6aTbkZzrQ6NhVP47 .node .label text,#mermaid-svg-6aTbkZzrQ6NhVP47 .image-shape .label,#mermaid-svg-6aTbkZzrQ6NhVP47 .icon-shape .label{text-anchor:middle;}#mermaid-svg-6aTbkZzrQ6NhVP47 .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .rough-node .label,#mermaid-svg-6aTbkZzrQ6NhVP47 .node .label,#mermaid-svg-6aTbkZzrQ6NhVP47 .image-shape .label,#mermaid-svg-6aTbkZzrQ6NhVP47 .icon-shape .label{text-align:center;}#mermaid-svg-6aTbkZzrQ6NhVP47 .node.clickable{cursor:pointer;}#mermaid-svg-6aTbkZzrQ6NhVP47 .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .arrowheadPath{fill:#333333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-6aTbkZzrQ6NhVP47 .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-6aTbkZzrQ6NhVP47 .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-6aTbkZzrQ6NhVP47 .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-6aTbkZzrQ6NhVP47 .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .cluster text{fill:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 .cluster span{color:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-6aTbkZzrQ6NhVP47 .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-6aTbkZzrQ6NhVP47 rect.text{fill:none;stroke-width:0;}#mermaid-svg-6aTbkZzrQ6NhVP47 .icon-shape,#mermaid-svg-6aTbkZzrQ6NhVP47 .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-6aTbkZzrQ6NhVP47 .icon-shape p,#mermaid-svg-6aTbkZzrQ6NhVP47 .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-6aTbkZzrQ6NhVP47 .icon-shape rect,#mermaid-svg-6aTbkZzrQ6NhVP47 .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-6aTbkZzrQ6NhVP47 .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-6aTbkZzrQ6NhVP47 .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-6aTbkZzrQ6NhVP47 :root{–mermaid-font-family:\”trebuchet ms\”,verdana,arial,sans-serif;}

是（如 -1）

false（错）

否（正数）

int len = read_len()

len < 0 ?

len 隐式转 unsigned 0xFFFFFFFF

0xFFFFFFFF < 256 ?

负数被放行

process(-1) 越界访问

正常比较

图 2：错误版执行流程（负数经隐式转无符号后漏检）。

四、正确解法：统一类型 + 先判负（完整落地）

4.1 方案对比

4.2 配置（照着点）

开编译警告 -Wsign-compare（GCC），混比会被警告。

4.3 完整代码

// ✅ 正确：先判负，再用同号比较
int len = read_len(); // -1 表示错
if (len < 0) { handle_error(); return; } // 负数单独拦
if ((uint32_t)len < max) { // 都无符号，语义清晰
process((uint32_t)len);
}
// 或都用有符号（max 不超过 INT_MAX 时）
if (len >= 0 && len < (int)max) { process(len); }

[坑] 两个翻车点收好：

4.4 改完对比

下面是正确解法的判断流程，先判负再统一类型比较：

#mermaid-svg-MI7IcgBIQDLNtFIx{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;fill:#333;}@keyframes edge-animation-frame{from{stroke-dashoffset:0;}}@keyframes dash{to{stroke-dashoffset:0;}}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-animation-slow{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 50s linear infinite;stroke-linecap:round;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-animation-fast{stroke-dasharray:9,5!important;stroke-dashoffset:900;animation:dash 20s linear infinite;stroke-linecap:round;}#mermaid-svg-MI7IcgBIQDLNtFIx .error-icon{fill:#552222;}#mermaid-svg-MI7IcgBIQDLNtFIx .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-thickness-normal{stroke-width:1px;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-thickness-invisible{stroke-width:0;fill:none;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-MI7IcgBIQDLNtFIx .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-MI7IcgBIQDLNtFIx .marker{fill:#333333;stroke:#333333;}#mermaid-svg-MI7IcgBIQDLNtFIx .marker.cross{stroke:#333333;}#mermaid-svg-MI7IcgBIQDLNtFIx svg{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-MI7IcgBIQDLNtFIx p{margin:0;}#mermaid-svg-MI7IcgBIQDLNtFIx .label{font-family:\”trebuchet ms\”,verdana,arial,sans-serif;color:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx .cluster-label text{fill:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx .cluster-label span{color:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx .cluster-label span p{background-color:transparent;}#mermaid-svg-MI7IcgBIQDLNtFIx .label text,#mermaid-svg-MI7IcgBIQDLNtFIx span{fill:#333;color:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx .node rect,#mermaid-svg-MI7IcgBIQDLNtFIx .node circle,#mermaid-svg-MI7IcgBIQDLNtFIx .node ellipse,#mermaid-svg-MI7IcgBIQDLNtFIx .node polygon,#mermaid-svg-MI7IcgBIQDLNtFIx .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-MI7IcgBIQDLNtFIx .rough-node .label text,#mermaid-svg-MI7IcgBIQDLNtFIx .node .label text,#mermaid-svg-MI7IcgBIQDLNtFIx .image-shape .label,#mermaid-svg-MI7IcgBIQDLNtFIx .icon-shape .label{text-anchor:middle;}#mermaid-svg-MI7IcgBIQDLNtFIx .node .katex path{fill:#000;stroke:#000;stroke-width:1px;}#mermaid-svg-MI7IcgBIQDLNtFIx .rough-node .label,#mermaid-svg-MI7IcgBIQDLNtFIx .node .label,#mermaid-svg-MI7IcgBIQDLNtFIx .image-shape .label,#mermaid-svg-MI7IcgBIQDLNtFIx .icon-shape .label{text-align:center;}#mermaid-svg-MI7IcgBIQDLNtFIx .node.clickable{cursor:pointer;}#mermaid-svg-MI7IcgBIQDLNtFIx .root .anchor path{fill:#333333!important;stroke-width:0;stroke:#333333;}#mermaid-svg-MI7IcgBIQDLNtFIx .arrowheadPath{fill:#333333;}#mermaid-svg-MI7IcgBIQDLNtFIx .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-MI7IcgBIQDLNtFIx .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-MI7IcgBIQDLNtFIx .edgeLabel{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-MI7IcgBIQDLNtFIx .edgeLabel p{background-color:rgba(232,232,232, 0.8);}#mermaid-svg-MI7IcgBIQDLNtFIx .edgeLabel rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-MI7IcgBIQDLNtFIx .labelBkg{background-color:rgba(232, 232, 232, 0.5);}#mermaid-svg-MI7IcgBIQDLNtFIx .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-MI7IcgBIQDLNtFIx .cluster text{fill:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx .cluster span{color:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:\”trebuchet ms\”,verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-MI7IcgBIQDLNtFIx .flowchartTitleText{text-anchor:middle;font-size:18px;fill:#333;}#mermaid-svg-MI7IcgBIQDLNtFIx rect.text{fill:none;stroke-width:0;}#mermaid-svg-MI7IcgBIQDLNtFIx .icon-shape,#mermaid-svg-MI7IcgBIQDLNtFIx .image-shape{background-color:rgba(232,232,232, 0.8);text-align:center;}#mermaid-svg-MI7IcgBIQDLNtFIx .icon-shape p,#mermaid-svg-MI7IcgBIQDLNtFIx .image-shape p{background-color:rgba(232,232,232, 0.8);padding:2px;}#mermaid-svg-MI7IcgBIQDLNtFIx .icon-shape rect,#mermaid-svg-MI7IcgBIQDLNtFIx .image-shape rect{opacity:0.5;background-color:rgba(232,232,232, 0.8);fill:rgba(232,232,232, 0.8);}#mermaid-svg-MI7IcgBIQDLNtFIx .label-icon{display:inline-block;height:1em;overflow:visible;vertical-align:-0.125em;}#mermaid-svg-MI7IcgBIQDLNtFIx .node .label-icon path{fill:currentColor;stroke:revert;stroke-width:revert;}#mermaid-svg-MI7IcgBIQDLNtFIx :root{–mermaid-font-family:\”trebuchet ms\”,verdana,arial,sans-serif;}

是

否

是

否

int len = read_len()

len < 0 ?

handle_error() 拦截

(uint32_t)len < max ?

process(len) 安全处理

超限拒绝

图 3：正确版执行流程（先判负，再统一类型比较）。

五、收尾

要点复盘

最佳实践清单

• 比较前确保两侧同符号类型；负数语义先单独处理。
• 长度/索引用 size_t/无符号时，负数错误码改用单独标志或不同变量。
• 开 -Wsign-compare -Wconversion 警告并清零。
• 数组索引用无符号，但读入值先在有符号域判范围再转。
• 代码审查重点查 if (int_x < uint_y) 形式。

进阶延伸：C23 有 _BitInt/更严格类型；静态分析（PC-lint、Cppcheck）能抓混比。大型项目统一"索引用 size_t、错误用负码分变量"的编码规范。

互动：你类型混比还踩过啥？size_t 与 int 循环比较、uint8 与 int 运算回绕？评论区聊。