未签名-1 =签名-1

Question

已经问了不少类似的问题，但我还是很困惑。

unsigned int a = -1;
int b = ~0;
if (a == b)
    printf("%u\t%d", a, b);

返回

4294967295 -1

我理解这些值是如何存储在C中的，以及为什么它会显示这些数字，但我的问题是，a==b是如何在这里返回true的？

Answer 1

根据混合符号-无符号比较规则，a == b等价于a == (unsigned) b，即在无符号类型域中执行比较。

~0的结果是全一位模式.在有符号整数类型中，此模式表示2‘s补码平台上的-1。这意味着您使用b初始化了-1 (如您的printf所确认的)。

因此，您的比较实际上是(unsigned) -1 == (unsigned) -1。难怪这是真的。

但是请记住，等式仍然是依赖于实现的，因为它依赖于2s-补表示的属性。只要C语言正式支持可选的有符号整数表示(符号和大小，1‘s-补码)，等式就取决于它。