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

Question

我已经在很多地方读过,整数溢出在C中定义得很好,与签名对应物不同.

下溢是一样的吗？

例如:

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

谢谢.

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

Answer 1

§6.2.5,第9段:

涉及无符号操作数的计算永远不会溢出,因为无法通过生成的无符号整数类型表示的结果将以比结果类型可以表示的最大值大1的数量为模.

编辑:

对不起,错误的引用,但结果仍然是固定的.正确的引用是§6.3.1.3(有符号和无符号整数转换):

如果新类型是无符号的,则通过重复地添加或减去一个可以在新类型中表示的最大值来转换该值,直到该值在新类型的范围内.

是的,x == UINT_MAX.