这是glibc的printf函数bug吗？直接打印INT32_MIN出现输出异常

结论 #

这不是printf的bug，是C语言整数常量规则、INT32_MIN的实现逻辑以及你使用了错误的格式符三者共同导致的正常现象。

原因拆解 #

• 首先明确INT32_MIN的定义逻辑：32位有符号整数的取值范围是 -2^31 ~ 2^31 - 1，也就是 -2147483648 ~ 2147483647。C语言中不存在负的整数常量，-2147483648本质是2147483648这个正字面量加负号运算符。而2147483648已经超过了32位有符号int的最大值，所以它的默认类型是unsigned int。
  标准库的stdint.h通常会把INT32_MIN定义为(-2147483647 - 1)来规避这个溢出问题，但如果你的环境中头文件实现不规范、或者编译时宏展开逻辑特殊，直接使用INT32_MIN时可能得到unsigned int类型的值2147483648。
• 其次是格式符不匹配的问题：你用%ld（要求对应long类型参数）来打印int/unsigned int类型的INT32_MIN，属于可变参数函数的参数类型不匹配，触发未定义行为。你的64位环境下，32位无符号值2147483648被零扩展为64位值0x0000000080000000，用%ld解析就得到了正的2147483648。
• 赋值后打印正常的原因：当你把INT32_MIN赋值给long类型变量时，会做正确的符号转换：如果INT32_MIN是有符号int类型的-2147483648，会符号扩展为64位的long类型的-2147483648，所以打印结果正常。
• -INT32_MIN溢出警告的原因：32位有符号int的最大值是2147483647，对INT32_MIN取反得到的2147483648超出了int的取值范围，C标准明确规定有符号整数溢出属于未定义行为，所以编译器会抛出对应的溢出警告。

修复建议 #

打印stdint.h定义的固定宽度整数时，统一使用头文件<inttypes.h>提供的格式宏，完全避免类型不匹配问题：

#include <inttypes.h>
// 打印int32_t类型用PRId32
printf("%" PRId32 "\n", INT32_MIN);
// 打印int64_t类型用PRId64
printf("%" PRId64 "\n", INT64_MIN);

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