问unsigned signed下溢机制

EN

5u是一个文字无符号整数，-5u是它的反..对无符号整数的求反定义为从2**n中减去，其结果与从零中包装减法的结果相同。

5u是一个单一的令牌，一个具有unsigned int类型的右值表达式。一元-运算符是根据无符号算术规则(以2^n为模的算术，其中n是无符号类型中的位数)应用于它的。结果被转换成unsigned short；如果它们不符合(如果是sizeof(int) > sizeof(short)，它们就不适合)，转换也将使用模算法(模2^n，其中n是目标类型中的位数)。

可能值得注意的是，如果原始参数的类型为unsigned short，则实际的步骤是不同的(尽管结果总是相同的)。因此，如果你已经写了：

unsigned short k = 5;
unsigned short b = -k;

第一个操作将取决于short的大小。如果int比int小(通常，但不总是这样)，第一步是将k提升为int。(如果short和int的大小相同，那么第一步就是将k提升为unsigned int；从那时起，一切都会如上所述。)根据带符号整数算术的规则，将一元-应用于此int (因此，结果值为-5)。如上所述，生成的-5将使用模算法隐式转换为unsigned short。

一般来说，这些区别不会有什么不同，但在可能有一个整数值INT_MIN的情况下，它们可能会有；在2的补码机器上，-i，其中i具有类型int，值INT_MIN是实现定义的，当稍后转换为无符号时，可能会产生奇怪的值。

ISO/IEC 14882-2003年第4.7节规定：

“如果目标类型是无符号的，则结果值是与源整数相同的最小无符号整数(模2^n，其中n是用于表示无符号类型的位数)。注意:在二进制补码表示中，此转换是概念性的，位模式没有变化(如果没有截断)。-end注意