选 signed 还是 unsigned,核心看变量能否为负:能为负必用 signed;绝不可能为负才考虑 unsigned,但需警惕隐式转换导致负数变巨大正数、死循环等语义错误。

选 signed 还是 unsigned,核心就看这个变量“能不能为负”。能为负,必须用 signed;绝不可能为负(比如数组长度、索引、计数器、文件大小、内存偏移),才考虑 unsigned。但别以为加了 unsigned 就万事大吉——它会悄悄改写整个表达式的语义。
比较时有符号数被隐式转成无符号,负数变巨大正数
这是最危险、最常被忽略的坑。只要表达式里混入任意一个 unsigned 类型(哪怕只是 size_t),整个操作数都会按无符号规则重解释。
比如这段代码看着很安全:
int i = -1;
if (i < vec.size()) { ... }
但 vec.size() 返回 size_t(即 unsigned),编译器会把 i 强制转成 size_t,-1 变成 0xFFFFFFFF(32位)或 0xFFFFFFFFFFFFFFFF(64位),结果永远为假。编译器通常只报 comparison between signed and unsigned integer expressions 警告,很多人关掉或无视。
立即学习“C++免费学习笔记(深入)”;
- 所有容器的
.size()、.length()、.max_size()都返回size_t -
std::string::npos是size_t(-1),本质也是无符号最大值 - 用
auto接收.size()时,类型自动变成size_t,隐患照旧
循环中用 unsigned 当计数器,容易陷入死循环
当循环变量是 unsigned int i,且条件是 i >= 0 或 i-- 后再判断,它永远不会退出。
例如:
for (unsigned int i = 10; i >= 0; --i) { ... } // 死循环
因为 i 到 0 后再减,会绕回最大值(如 UINT_MAX),继续满足 i >= 0。
- 倒序遍历容器时,别用
unsigned做索引:用int i = vec.size() - 1; i >= 0; --i - 如果非要用无符号类型做索引(如为了匹配
size_t),条件得写成i != static_cast<size_t>(-1)</size_t>或更稳妥地用i > 0+ 单独处理边界 -
std::vector::at()抛出的std::out_of_range异常信息里,索引是size_t,但你传进去的负数早已被转走,异常不会帮你拦住
函数参数和返回值类型要和语义对齐,别为了“省一个符号位”硬上 unsigned
有人觉得“反正不会存负数,用 unsigned 能多存一倍正数”,这是典型误解。现代系统里,int 和 unsigned int 通常都是 4 字节,取值范围差异对绝大多数场景毫无意义。
真正影响的是接口契约:
- 函数声明
void set_timeout(unsigned int ms)暗示“超时时间不能为负”,但调用方可能传入计算结果(如deadline - now),一旦为负就溢出,行为失控 - 返回
unsigned的函数(如strlen())被用于算术表达式时,极易触发隐式转换,导致逻辑翻车 - 跨平台时,
long在 Windows 和 Linux 上宽度不同,而unsigned long的行为也跟着变,不如直接用uint32_t/uint64_t明确
最关键的不是“该不该用”,而是“用了之后,所有跟它参与运算的变量、常量、函数返回值,是否都按无符号逻辑重新检查过一遍”。多数崩溃,都发生在第 37 行那个看似无关的 int 变量,悄悄被拉进无符号战场的那一刻。


















