如果我将一个unsigned int添加到负int并且算术结果为正,会发生什么？

Question

当我要执行以下代码时,我认为签名的int我将被转换为unsigned,结果将是一些大的正数,但结果是2

int main()
{
    unsigned u = 10; int i = -8;
    std::cout << u + i << std::endl; 
    return 0;
}

Answer 1

执行加法时,对操作数执行通常的算术转换,其状态为([expr] /11.5.3):

• 否则,如果具有无符号整数类型的操作数的秩大于或等于另一个操作数的类型的秩,则具有有符号整数类型的操作数应转换为具有无符号整数类型的操作数的类型.

因此-8转换为无符号数.根据[conv.integral]/2的内容如下:

如果目标类型是无符号的,则结果值是与源整数一致的最小无符号整数(模2 ⁿ ,其中n是用于表示无符号类型的位数).

这将我们的数字转换为(MAX_UINT + 1) - 8.现在,因为无符号加法是模2 ⁿ([basic.fundamental]/4):

无符号整数应遵守算术模2 ⁿ的定律,其中n是该特定整数大小的值表示中的位数.

结果必须是(MAX_UINT + 1) - 8 + 10模数MAX_UINT + 1,这就是2.