为什么我们将INT_MIN定义为-INT_MAX-1？

Question

哎呀，这是一个标准的“成语”

#  define INT_MIN   (-INT_MAX - 1)  
#  define INT_MAX   2147483647    

问：为什么INT_MIN的定义不是as-2147483648？

Answer 1

因为2147483648是一个long值，因为它不适合int（在具有32位int和64位long的常见系统中，在具有32位long的系统上，它是long long类型）。所以-2147483648是long类型，而不是int类型。

请记住，在C中，未后缀的十进制整数常量是可以表示的第一种类型int、long或long long。

此外，在C中-2147483648不是整数常数2147483648是一个整数常数-2147483648是由一元运算符和整数常数构成的表达式。

编辑：如果您不相信-2147483648不是int类型（评论中的一些人似乎仍然怀疑），您可以尝试打印以下内容：

printf("%zu %zu\n", sizeof INT_MIN, sizeof -2147483648);

你很可能会得到：

4 8

在通用32位和64位系统上。

另外，为了跟随评论，我正在谈论最近的C Standard：使用c99或c11方言来测试这个。c89对十进制整数常量的规则不同：-2147483648在c89中是无符号长类型。事实上，在c89中（在c99中有所不同，见上文），未后缀的十进制整数常量是int、long或无符号长类型。

EDIT2：@WhozCraig添加了另一个示例（但对于C）来显示-2147483648不是int类型。

下面的例子虽然是C语言的，但说明了这一点。它是用32位架构g编译的。请注意从传递的参数推导中收集的类型信息：

#include <iostream>
#include <climits>

template<typename T>
void foo(T value)
{
    std::cout << __PRETTY_FUNCTION__ << '\n';
    std::cout << value << '\n';
}

int main()
{
    foo(-2147483648);
    foo(INT_MIN);
    return 0;
}

输出

void foo(T) [T = long long]
-2147483648
void foo(T) [T = int]
-2147483648