使用%f输出float变量触发类型不匹配警告的解决咨询

在使用Microchip针对dsPIC33微控制器的MPLAB X 6配套XC16编译器时，遇到类型匹配警告。编写的代码如下：

float test=5.5;
printf("%f\n", test);

编译器抛出警告：

warning: format '%f' expects type 'double', but argument 2 has type 'float'

按照常规认知，%f用于float类型，%lf用于double类型，且不存在%hf格式符，希望在不执行强制类型转换printf("%f\n", (double)test)的情况下消除该警告。

这是因为C语言的默认参数提升规则：调用printf这类可变参数函数时，float类型参数会自动提升为double。XC16编译器对格式符的类型匹配检查更为严格，要求格式符声明的类型与提升后的参数类型完全一致。

无需强制转换的消除警告方法有两种：

• 将变量类型改为double，让参数类型直接匹配%f要求的double：

  double test=5.5;
  printf("%f\n", test);
  

• 将格式符改为%lf，标准C中printf的%lf与%f处理double参数的效果等价，但XC16编译器会认可%lf和提升后的double参数的匹配关系：

  float test=5.5;
  printf("%lf\n", test);
  

本质上，标准C里printf并没有专门针对float的格式符——所有float参数都会被提升为double，所以%f实际就是用来处理double类型的。XC16的警告只是严格执行了类型匹配检查，并没有违背C标准。

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