为什么C++的assert()对比负int与无符号int时会误触发abort()

你给出的代码段：

int a = -1;
unsigned int b = 5;

assert(a < b);

执行时确实会触发assert调用abort()，本质原因是C/C++标准规定的隐式类型转换规则，和人为的数值判断逻辑不一致。

1. 寻常算术转换规则 #

当两个不同类型的整数执行二元运算（包括比较运算）时，编译器会先将二者转换为同一公共类型再执行运算，对于int和unsigned int的组合：

• 只要平台上unsigned int的取值范围能覆盖int的所有取值（主流32/64位平台都符合这个条件），int类型的操作数会被隐式转换为unsigned int类型。

2. 有符号数转无符号数的计算逻辑 #

主流平台都采用补码存储有符号整数，有符号数转无符号数时会直接对二进制位做重解释：

• 32位int类型的-1，二进制存储值为0xFFFFFFFF
• 将该值按unsigned int解析，对应的数值是4294967295

所以代码中实际执行的比较逻辑是4294967295 < 5，结果为假，自然会触发assert。

3. 编译器不做"智能修正"的原因 #

C/C++的设计原则是规则明确、执行效率优先，不会擅自修改开发者写下的代码逻辑：

• 编译器只会严格遵循语言标准执行转换，不会主动揣测开发者的意图修改比较规则
• 实际上主流编译器都会对这类有符号/无符号数比较的场景给出编译警告，比如GCC开启-Wall参数时就会输出对应的类型不匹配提示，你可以通过开启高警告等级提前发现这类问题。

内容的提问来源于stack exchange，提问作者Timangar