为什么“unsigned int”+“unsigned int”会返回“unsigned int”？

Question

我相信当您将两个unsigned int 值相加时，返回值的数据类型将是unsigned int。

但是两个unsigned int 值相加可能会返回一个大于unsigned int 的值。

那么为什么unsigned int + unsigned int 返回unsigned int 而不是其他更大的数据类型？

Answer 1

这将产生真正邪恶的后果：

您真的希望 1 + 1 成为 long 类型吗？而(1 + 1) + (1 + 1) 会变成long long 类型吗？它会对类型系统造成严重破坏。

例如，short、int、long 和 long long 的大小也可能相同，unsigned 版本的大小也可能相同。

因此，目前的隐式类型转换规则可能是最好的解决方案。

你总是可以用类似的东西来解决问题

0UL + "unsigned int" + "unsigned int"

Answer 2

假设我们有一种语言，两个整数相加会产生更大的类型。因此，将两个 32 位数字相加得到一个 64 位数字。下面的表达式会发生什么？

auto x = a + b + c + d + e + f + g;

a + b 是 64 位。 a + b + c 是 128 位。 a + b + c + d 是 256 位...这很快就会变得难以管理。大多数处理器不支持具有如此宽操作数的操作。

Answer 3

变量的类型不仅决定了它可以容纳的值的范围，而且马虎地说，还决定了操作是如何实现的。如果您添加两个 unsigned 值，您将获得 unsigned 结果。如果你想要一个不同的类型作为结果（例如long unsigned）你可以转换：

unsigned x = 42;
unsigned y = 42;
long unsigned z = static_cast<long unsigned>(x) + static_cast<long unsigned>(y);

其实真正的原因是：它是这样定义的。特别是无符号溢出在 C++ 中被很好地定义为环绕并为unsigned 运算符的结果使用更广泛的类型会破坏这种行为。

作为一个人为的例子，考虑这个循环：

for (unsigned i = i0; i != 0; ++i) {}

注意条件！让我们假设i0 > 0，那么只有在增加unsigned 的最大值时它才会为假，结果0。这段代码被混淆了，可能会让你在代码审查中挑起一两个眉毛，尽管它是完全合法的。根据结果​​的值调整结果类型，或者选择不会发生溢出的结果类型会破坏这种行为。

Answer 4

因为一个变量+一个相同类型的变量只能等于那个类型的变量， （在某些情况下会，但在你的情况下不会）

示例：

int + int = int 一个 int 加上另一个 int 不能等于一个浮点数，因为它没有浮点数的属性。 我希望这能回答你的问题！