关于c中unsigned int的问题

Question

可能的重复：
无符号 int 和有符号 char 比较

int j = 10;
unsigned int i = 10;
if( j > -1 )
    printf("1\n");
else
    printf("2\n");
if( i > -1 )
    printf("3\n");
else
    printf("4\n");

输出是：

1
4

我已经追踪到组装和比较是类似的：

cmp     dword ptr [ebp-10h],0FFFFFFFFh
...
cmp     dword ptr [ebp-14h],0FFFFFFFFh

但还是不明白为什么一个是真的，另一个是假的。

IMO cpu 不知道 dword ptr 是否已签名。

那么它在幕后是如何工作的呢？

更新

任何人都可以在汇编级别解释它吗？

Answer 1

正如 @Neil G 指出的，虽然 cmp 不知道无符号与有符号，但条件跳转指令知道。

这样做是因为普通算术指令（如 sub）会影响所有相关的条件代码，因此您可以直接进行条件跳转，而不需要进行任何显式比较。

请注意，cmp 只是一个 sub，不会影响目标。

Answer 2

在“>”之前运算符可以被求值，两边的操作数需要（概念上）转换为相同的类型。在这种情况下（不确定它是“标准”，还是只是编译器的突发奇想），-1 被转换为无符号。当然，-1 是 0xFFFFFFFF，在无符号比较中，它比 0x0000000A 更大，但在有符号比较中，它更小（因为高位是符号位，有符号负数几乎总是用“二进制补码”）。

“在幕后”我怀疑在您的CPU上生成的条件代码同时具有带符号和无符号部分，并且两个结果之间的差异与条件代码的检查方式有关，而不是与比较本身有关。

Answer 3

当您比较无符号整型和有符号整型时，有符号整型将转换为无符号整型。将负有符号整数转换为无符号整数是通过添加 UINT_MAX + 1 来完成的。

因此 -1 会转换为 UINT_MAX + 1 - 1 = UINT_MAX，它优于 10。

另请参阅 “无符号保留”和“值保留”规则有什么区别？

Answer 4

正如其他答案所说，-1 正在转换为无符号整数。检查下面的跳转指令。一个应该是“ja”，另一个应该是“jg”：无符号和有符号跳转指令。

Answer 5

在下面的代码中：

if( i > -1 )
    printf("3\n");
else
    printf("4\n");

-1 被转换为无符号整型，这是最大的无符号整型，并且明显大于 10。

在我的机器上，以下代码

#include <stdio.h>
int main()
{
  unsigned int i = -1;
  printf("%u\n", i);
  return 0;
}

产生：4294967295

Answer 6

当比较无符号（即i）与有符号（即-1）时，编译器将有符号值转换为无符号值。

将 -1 转换为无符号会给出一个非常大的值，因此 ( i > -1) 条件将产生 false。

[6.3.1.3/2] (C99)

否则，如果新类型是无符号的，则通过重复添加或来转换该值
比新类型可以表示的最大值减一
直到该值在新类型的范围内。

Answer 7

这是您的程序，用它包含的所有隐式转换进行注释：

  int j;
  unsigned int i;
  j = 10;
  i = (unsigned int)10;
  if (j > -1) { printf("1\n"); }
  else { printf("2\n"); }
  if (i > (unsigned int)-1) { printf("3\n"); }
  else { printf("4\n"); }

第一个比较是有符号整数的比较。第二个是无符号整数的比较。

关于您问题的另一方面，汇编中确实只有一条比较指令，但它设置了各种标志。您测试您感兴趣的标志以进行比较（有符号、无符号……）。