C语言short类型表达式传入printf%hd格式符触发编译警告问题

你提供的测试代码如下：

#include <stdio.h>

int main(void)
{
  short i = 1;
  printf("%hd\n", i);
  printf("%hd\n", i * i);
  return 0;
}

两个核心问题的直接回答 #

1. 代码在你给出的测试场景下运行结果不会出错，但存在类型不匹配的规范问题，你对表达式类型的底层认知存在错误。
2. 警告不是你以为的“复杂表达式溢出风险提示”，是实打实的参数类型和格式说明符要求不匹配的明确告警。

具体原因解释 #

1. 首先纠正你对i * i表达式类型的误解：

C 标准的「整数提升规则」明确规定：所有宽度小于 int 的整数类型（包括 short、char、_Bool 等），只要 int 可以完整容纳原类型的所有取值，在参与算术运算前会被自动提升为 int 类型再计算。
因此i * i的运算结果本身就是int类型，不是你以为的short int类型。

2. 为什么只有第二行printf触发警告：
   printf是可变参数函数，可变参数列表中的参数会触发「默认参数提升」：所有小于int的整数类型提升为int，float提升为double。

• 第一行你传的是short类型的变量i，传参时自动提升为int，编译器可以识别到这个int是从short安全转换来的，和%hd要求的输入兼容，因此不报警告。
• 第二行你传的i * i本身就是int类型，和%hd要求的short（提升后为int但来源是short）不匹配，因此编译器触发警告。

3. 潜在运行风险说明：
   你当前测试用例i=1时，i*i=1的int值完全可以被short容纳，所以运行结果不会出错。但如果i的值足够大，比如16位short下i=32767，i*i的结果是1073676289，这个int值用%hd输出时只会取低16位，结果完全不符合预期，这也是编译器警告的意义所在。

修复方案 #

两种方案都可以消除警告：

• 用匹配int类型的格式说明符：printf("%d\n", i * i);
• 显式将表达式结果强转回short：printf("%hd\n", (short)(i * i));

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