由于math.h同时声明了int isnan(double x)和int isnanf(float x)，我预计下面的代码在与gcc -O0 -Wall -Wextra -Wpedantic -Wconversion -Wdouble-promotion一起编译时会生成某种"Float to Double Promotion"警告.然而，事实并非如此.为何会是这样呢？
#include <stdio.h>
#include <math.h>
int main()
{
float x = 1.23f;
printf("%s\n", isnan(x) ? "nan" : "number");
return 0;
}
因为
math.h同时声明了int isnan(double x)和int isnanf(float x)
是吗？C语言规范只记录了支持所有浮点类型的ANisnan() macro.如果实现提供了一个接受类型double的参数的isnan()函数，那么我预计它会被一致性实现中的宏所隐藏.
我预计下面的代码在用
gcc -O0 -Wall -Wextra -Wpedantic -Wconversion -Wdouble-promotion编译时会生成某种"Float to Double Promotion"警告.然而，事实并非如此.为何会是这样呢？
因为isnan()宏支持所有浮点类型，而您的宏在执行此操作时不需要进行会引发此类警告的转换.下面是一个作为类型泛型宏的合理实现:
#define isnan(x) _Generic((x), \
long double: isnanl, \
default: isnan, \
float: isnanf \
)(x)
(这假设指定的函数是可用的，包括isnan(double)个，但C语言并不要求这样做.)
泛型 Select 和定义类型泛型宏的能力是C11中的新功能.因此，如果您为该标准的早期版本 Select 严格一致性模式，那么得到一个实际执行某种类型转换的版本也就不足为奇了.