关于无符号整数下溢的 C 行为问题

Question

我在很多地方读到，与有符号整数溢出不同，C 中无符号整数溢出是明确定义的。

下溢是一样的吗？

例如：

unsigned int x = -1; // Does x == UINT_MAX?

谢谢。

我不记得在哪里，但我在某处读到无符号整数类型的算术是模块化的，所以如果是这种情况，那么 -1 == UINT_MAX mod (UINT_MAX+1)。

Answer 1

§6.3.1.3 有符号和无符号整数，第 2 段：

如果新类型是
无符号，该值转换为
反复加或减一
超过可以的最大值
以新类型表示，直到
该值在新的范围内
类型。

所以是的，x == UINT_MAX。

Answer 2

-1，当表示为 2 的补码时，无论您的数字有多少位，都等于 0xFF...F。在无符号数字空间中，该值是可能的最大值（即设置所有位）。因此，是的，x == UINT_MAX。以下代码在 C99 严格编译器上发出“1”：

#include <stdio.h>
#include <stdint.h>
#include <limits.h>

int main(int argc, char **argv){
  uint32_t x = -1;      
  printf("%d", x == UINT_MAX ? 1 : 0);
  return 0;
}

Answer 3

你混合了有符号和无符号的数字，这是不酷的。

unsigned int x = 0u - 1u; // is OK though