对于浮点宏,“转换为语义类型”是什么意思?

我引用N1570,但C11标准有类似的措辞:

这个 fpclassify 宏将其参数值分类为NaN、Infinite、Normal, 次正常、零或进入另一个实现定义的类别。首先,一个论点 以比其语义类型更宽的格式表示 转换为其语义类型 . 然后根据参数的类型进行分类。

(我的重点)

以及脚注:

由于表达式的计算范围和精度高于其类型,因此必须 了解分类所依据的类型。例如,正常 long double 价值可能 当转换为 double ,当转换为时为零 float .

参数“转换为语义类型”是什么意思?在任何明显的地方都没有“语义类型”的定义。

我的理解是,删除任何多余的精度,就好像将表达式的值存储到 浮动 , 双重的 或 长双精度 从而得到程序员期望的精度值。在这种情况下,使用 fpclassify() 而左值上的朋友将不会导致非优化编译器所需的转换。我是正确的吗,还是这些功能比广告宣传的要有用得多?

(这个问题来自于 Code Review answer )