2147483648 + 2147483648 + 2147483648 不应该是 -2147483648 吗？

Question

我正在使用 MSVC 2019，我正在测试一些东西。

感谢很多人，现在我得到了这张照片0：

long long a = 2147483648 + 2147483648;
printf("%lld\n", a);

所以这一次，我想'如果我将 2147483648 添加 3 次会怎样？'，我做到了。

我认为结果一定是-2147483648，因为2147483648 + 2147483648 + 2147483648等于0 + 2147483648，而0和2147483648是int的值，所以它会是-2147483648

简单来说，我认为前面的代码是这样的：

long long a = (int)2147483648;
printf("%lld\n", a);

但它没有用。这是我写的代码：

long long a = 2147483648 + 2147483648 + 2147483648;
printf("%lld\n", a);

结果是2147483648，不知道为什么。

现在我头晕了哈哈

我做错了什么？

附言文件名是tmp.c

Answer 1

在 C 中，遵循 C99 规则，因为 long long 直到那时才出现：

2147483648 不是 32 位 int。它是一个 64 位整数，因为 2147483648 不在 int32_t 正数范围内。

-2147483648 不是 32 位 int。它是一个 64 位整数，因为 2147483648 也不在 int32_t 正数范围内，- 在常量类型形成后应用。

预期的数学输出是 64 位数学的总和。

---

int main(void) {
  long long a = 2147483648 + 2147483648;
  printf("%lld\n", a);
  a = 2147483648 + 2147483648 + 2147483648;
  printf("%lld\n", a);
  return 0;
}

输出

4294967296
6442450944

---

OP 报告：

好吧，当我复制你的代码时，我的输出是 0 和 2147483648。

OP 可能正在使用带有 long long 扩展名的 C89 编译器。 visual-studio-2019 不完全符合 C99。示例Does Visual Studio 2017 fully support C99?.
在这种情况下：

C89 使用不同的规则 e.g.:
2147483648 不是 32 位 int。它是一个 32 位的 unsigned long

2147483648 + 2147483648 是无符号溢出，并且明确定义为总和为 0。

2147483648 + 2147483648 + 2147483648，因为 32 位 unsigned long 数学是 32 位 unsigned long 2147483648。

将 32 位 unsigned long 2147483648 分配给 long long 是相同的值，不同的类型。

---

故事的寓意：考虑从所需的结束类型开始计算。

使用下面的代码，左边的类型不影响右边的添加。这和Why (not) write 1,000,000,000 as 1000*1000*1000? 是同一个问题

long long a = 2147483648 + 2147483648 + 2147483648;

替代方案：

long long a = (long long) 2147483648 + 2147483648 + 2147483648;

long long a = 0LL + 2147483648 + 2147483648 + 2147483648;

long long a = 2147483648; 
a += 2147483648;
a += 2147483648;