c++ - INT_MAX + (-1) 是未定义的行为吗？

Question

在 C++ 中，有符号类型的溢出是未定义的行为。以下示例是否也是未定义的行为？

#include <limits.h>

int f() {
  int a = INT_MAX;
  int b = -1;
  return a + b;
}

这不是数学上下文中的溢出，但 CPU 可能会看到它添加 0x7fffffff 0xfffffff。

Answer 1

你举的例子不是溢出。

来自维基百科(https://en.wikipedia.org/wiki/Integer_overflow):

... an integer overflow occurs when an arithmetic operation attempts to create a numeric value that is outside of the range that can be represented with a given number of bits – either larger than the maximum or lower than the minimum representable value.

INT_MAX + (-1) 不超出int类型可表示的范围，结果定义。