C++中int与unsigned int比较时，int会静默转为unsigned int，负数如-1变为极大正数，导致逻辑错误；应统一用size_t或先检查符号。
比较时 int 会静默转成 unsigned int
只要表达式里同时出现 int 和 unsigned int，C++ 标准规定：所有有符号操作数都会被隐式转换为无符号类型再比较。这不是编译器“优化”或“警告”，而是语言规则本身。
典型触发场景包括：vector.size() > i（size() 返回 size_t，通常是 unsigned long）、list.size() > msize（如知识库中 warning C4018 所示）。
- 如果
i是负数（比如-1），它会被解释为极大正数（如 32 位下变成4294967295），导致size() > i恒为 true - 如果
msize是int且值为0，list.size() > msize看似安全，但一旦msize变成-1，逻辑就彻底反转 - 这种转换发生在编译期决定的类型提升阶段，不依赖运行时值，也绕过所有断言和 if 判断
用 static_cast 强转不如改类型设计
有人习惯写 if (list.size() > static_cast<size_t>(msize))</size_t> 或反过来 if (static_cast<int>(list.size()) > msize)</int> —— 这能消掉警告，但掩盖了真正风险。
static_cast<int>(list.size())</int> 在 list.size() 超过 INT_MAX 时是未定义行为（UB）；而 static_cast<size_t>(msize)</size_t> 把负数转成极大正数，等于把 bug 写进逻辑里。
立即学习“C++免费学习笔记（深入）”；
- 更稳妥的做法是统一变量类型：若
msize表示容器容量或索引，就该声明为size_t或std::size_t - 若它确实需要负值语义（比如“无效值”），那就别和
size()直接比，先做有效性检查：if (msize >= 0 && list.size() > static_cast<size_t>(msize))</size_t> - 对
char、short参与的混合运算更要警惕：它们可能先整型提升为int，再被转成 unsigned，路径更隐蔽
sizeof 和容器 size() 返回值都是无符号类型
sizeof 的返回类型是 size_t，std::vector::size()、std::string::length() 等也都返回 size_t —— 它们不是“方便起见”设为 unsigned，而是因为内存尺寸、元素个数在抽象层面**不可能为负**。
这意味着任何拿 int 去和它们比较的代码，本质上都在假设“这个数量不会超过 INT_MAX”，而这个假设往往不成立（比如大文件读取、网络包解析、图像像素计数）。
- 错误写法：
for (int i = 0; i —— 当 <code>vec.size() > INT_MAX时，i溢出，循环失控 - 正确做法：用
size_t i = 0或更推荐auto i = 0uz（C++23 字面量后缀）或范围 for - 调试时注意：
printf("%u", vec.size())是错的，%zu才匹配size_t；否则可能打印乱码或截断
负值赋给 unsigned 类型不是报错，而是模 2N 截断
写 unsigned int x = -1; 不会编译失败，也不会运行时报错。它等价于 x = -1 % (1U ，即取模后存入。
在 32 位系统上，-1 变成 4294967295；在 64 位上变成 18446744073709551615。这个值后续参与任何计算，都按正常无符号数处理 —— 包括减法环绕（0U - 1U == 4294967295U）。
- 这和有符号溢出不同：无符号环绕是明确定义的行为，有符号溢出是未定义行为（UB）
- 但开发者常误以为“既然没崩溃，那就没问题”，结果在边界 case（如空容器、索引 -1）引入难以复现的逻辑错误
- Clang/GCC 的
-Wsign-conversion可捕获这类赋值，建议开启；MSVC 对应的是/Wall+ 过滤 C4365
实际中最容易被忽略的，是把“类型匹配”当成“语义匹配”——size_t 和 int 都能存数字，但前者承诺非负、后者允许负值，混用时编译器只管位模式，不管你的业务意图。
