带有无符号和有符号整数的 C++ 算术类型转换

Question

代码：

#include<iostream>
using std::cout; using std::endl;

int main()
{
    unsigned int i = 5;
    int x = -3;

    cout << "(i + x) = " << (i + x) << endl;

    cout << "Set x to -6" << endl;
    x = -6;

    cout << "(i + x) = " << (i + x) << endl;
}

输出：

(i + x) = 2
Set x to -6
(i + x) = 4294967295

在这个例子中，(i + x) 返回的结果类型是一个无符号整数，但是，我认为通过算术类型转换，应该“提升”有符号整数（在这种情况下为变量“x”）在操作发生之前转换为无符号整数。这一定不是这种情况，因为 (i + x) 的第一个结果是 (5 + (2^31 - 1 - 3)) = 4294967297 而不是 2。我在这里遗漏了什么吗？在我看来，只有最终结果被转换为无符号整数，而不是初始操作数。

Answer 1

你的错误是假设计算是(5 + (2^31 - 1 - 3))。的unsigned解释-3是基于的最大值2^32 - 1（UINT_MAX），而不是2^31 - 1（INT_MAX）。因此，您正在取2^32 - 1 - 3( UINT_MAX - 3)，加上 5，并且由于超过了UINT_MAX，因此它会返回到2，至少在具有 32 位ints的二进制补码系统上是这样。