整数提升在c ++中未签名

Question

int main() {
    unsigned i = 5;
    int j = -10; 
    double d = i + j;
    long l = i + j;
    int k = i + j;
    std::cout << d << "\n";     //4.29497e+09
    std::cout << l << "\n";     //4294967291
    std::cout << k << "\n";     //-5
    std::cout << i + j << "\n"; //4294967291
}

我相信在执行算术运算符之前， signed int会被提升为unsigned 。
而-10将转换为无unsigned integer underflow无unsigned integer underflow （ 这是正确的术语?? ），并在添加后打印4294967291 。

为什么在打印-5的int k的情况下不会发生这种情况？

Answer 1

执行算术运算符的过程涉及转换以使两个值具有相同的类型。 此过程的名称是查找公共类型 ，对于int和unsigned int ，转换称为常规算术转换 。 在这种特殊情况下不使用促销一词。

在i + j的情况下，通过UINT_MAX + 1添加UINT_MAX + 1 ，将int转换为unsigned int 。 所以i + j的结果是UINT_MAX - 4 ，在你的系统上是4294967291 。

然后，您将此值存储在各种数据类型中; 唯一需要进一步解释的输出是k 。 值UINT_MAX - 4不能适合int 。 这称为超出范围的赋值 ，结果值是实现定义的。 在您的系统它显然分配int具有相同的表示作为值unsigned int的值。

Answer 2

j在添加之前将被转换为unsigned int ，这发生在你所有的i + j 。 快速实验。

在int k = i + j的情况下。 与您的实施和我的实施情况一样， i + j产生： 4294967291 。 4294967291大于std::numeric_limits<int>::max() ，行为将是实现定义的。 为什么不尝试将4294967291分配给int ？

#include <iostream>

int main(){
    int k = 4294967291;
    std::cout << k << std::endl;
}

生产：

-5

可以看出这里