为何GCC编译short int代码时触发-Wconversion类型转换警告？

示例代码 #

#define MAX(a,b) \
   ({ __typeof__ (a) _a = (a); \
       __typeof__ (b) _b = (b); \
     _a > _b ? _a : _b; })

int main() {
  short int a=1,b=2;
  a=MAX(a,b);
  return 0;
}

编译警告 #

toto.c: In function ‘main’:
toto.c:2:4: warning: conversion from ‘int’ to ‘short int’ may change value [-Wconversion]
    2 |    ({ __typeof__ (a) _a = (a); \
      |    ^
toto.c:8:5: note: in expansion of macro ‘MAX’
    8 |   a=MAX(a,b);

原因分析 #

问题核心是C语言的整数提升规则：所有宽度小于int的整数类型（比如short、char），在参与表达式运算时会被自动提升为int类型计算。

虽然宏里的_a和_b都是short int，但当它们进入_a > _b比较，以及后续的三目运算符表达式时，会被提升为int。这导致三目运算符的最终结果类型是int，而非short int。当把这个int结果赋值给short int变量a时，就触发了-Wconversion警告——因为int转short可能会截断高位数据。

你可以验证这一点：在宏中添加printf("%s\n", typeof(_a > _b ? _a : _b));，编译运行后会输出int，直接证明结果类型是int。

解决方法 #

将三目运算符的结果强制转换回输入变量的类型即可：

#define MAX(a,b) \
   ({ __typeof__ (a) _a = (a); \
       __typeof__ (b) _b = (b); \
     (__typeof__(a))(_a > _b ? _a : _b); })

这样宏的返回类型与输入变量类型一致，赋值时无类型转换，警告自然消除。

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