为什么 c++ assert() 在将负 int 与 unsigned int 进行比较时会错误地调用 abort()？

Question

我在我的 c++ 程序中发现 assert() 在类似于以下代码片段的情况下调用 abort()：

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

assert(a < b);

作为一个人，我可以说 -1 肯定小于 5，不管一个是 int 而另一个是 unsigned int。 为什么编译器不能？

我已经找到了解决方案，这个断言是荒谬的，因为无符号的总是正数（我有点忘记了我实际代码中的变量是无符号的），但我很好奇为什么会这样.

Answer 1

当您将带符号的 integer 与无符号的 integer 进行比较时，编译器会隐式地将有符号值转换为无符号值，因此本质上：

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

assert(a < b);

相当于：

assert(static_cast<unsigned>(-1) < static_cast<unsigned>(5));

现在，因为无符号整数不能保存负值， -1由于integer 溢出而返回到UINT_MAX ：

assert(UINT_MAX < static_cast<unsigned>(5));

这显然是错误的，因为UINT_MAX大于 5，所以断言失败。