为何signed最小值为-32768的平台中，-32768的类型是signed long？

核心原因：C语言不存在负的整数字面量 #

你看到的-32768本质上不是一个独立的字面常量，而是一元负号运算符作用在正整数字面量32768上的运算表达式，类型推导的顺序不会因为最终结果匹配signed int范围就回退调整。

具体推导逻辑是按优先级走的：

1. 首先解析整数字面量32768：在16位signed int的平台上，signed int的合法正范围是0~32767，32768超出了这个上限，编译器会自动将其类型升格为能容纳该值的最小有符号整数类型，也就是signed long。
2. 再对signed long类型的32768执行一元负运算，运算结果的类型和操作数保持一致，自然就是signed long。

哪怕最终运算结果-32768刚好落在signed int的取值范围内也没用，C的类型规则是先确定操作数的类型，再计算运算结果，不会反过来根据结果值倒推操作数的类型。

补充验证 #

你可以在对应平台上测试两个表达式的结果：

• sizeof(32767) 返回值和sizeof(signed int)一致，因为32767是signed int能容纳的最大正字面量
• sizeof(-32768) 返回值和sizeof(signed long)一致，符合我们上面的推导逻辑

也正是因为这个特性，C标准库的INT_MIN宏通常不会直接写成-32768，而是写成(-32767 - 1)：32767是合法的signed int字面量，减1后得到的-32768仍然是signed int类型，不会出现类型升格的问题。

内容的提问来源于stack exchange，提问作者dexter