c - 为什么 abs(0x80000000) == 0x80000000？

Question

我刚开始阅读 Hacker's Delight并将 abs(-2³¹) 定义为 -2³¹。这是为什么？

我在几个不同的系统上尝试了 printf("%x", abs(0x80000000))，我在所有这些系统上都返回了 0x80000000。

Answer 1

实际上，在 C 中，行为是未定义的。来自 C99 标准，§7.20.6.1/2:

The abs, labs, and llabs functions compute the absolute value of an integer j. If the result cannot be represented, the behavior is undefined.

及其脚注:

The absolute value of the most negative number cannot be represented in two’s complement.