C23中float、_Float32、_Float32x与_Float32_t的差异解析

1. 这些类型是关键字、别名还是独立类型？ #

• _Float32、_Float64、_Float128：是C23新增的关键字，属于独立浮点类型，和传统float/double/long double并非同一类型。哪怕字节数和传统类型一致（比如_Float32和float都是4字节），编译器也会将它们视为不同类型——比如_Generic类型匹配时，两者会触发不同分支。
• _Float32x、_Float64x、_Float128x：同样是关键字，属于扩展精度版独立类型。它们的精度至少不低于对应的_FloatN，通常是平台硬件支持的更高精度变体（比如x86平台上_Float64x就是80位扩展精度浮点，比_Float64多了尾数位）。
• _Float32_t、_Float64_t、_Float128_t：是<stdint.h>中定义的标准库类型别名，要求宽度恰好为N位。比如_Float32_t必须是32位浮点类型——如果平台上float正好是32位，它可能是float的别名；也可能是_Float32的别名，只要满足宽度要求即可。

2. 最小范围和精度有啥要求？ #

C23为这些类型规定了最低标准：

• _Float32：精度至少6位十进制有效数字，范围至少覆盖10^-37到10^37，和float的最低要求一致。
• _Float64：精度至少15位十进制有效数字，范围覆盖10^-307到10^307，和double的最低要求对齐。
• _Float128：精度至少33位十进制有效数字，范围覆盖10^-4931到10^4931。
• _FloatNx：精度和范围仅要求不低于对应的_FloatN，具体细节由编译器实现决定。
• _FloatN_t：必须严格为N位宽（包含符号位、指数位、尾数位），精度和范围至少达到_FloatN的要求。

3. 必须符合IEEE-754/IEC 60559标准吗？ #

不是强制要求，但现代平台基本都会对齐：

• C23规定，如果编译器支持IEC 60559（IEEE-754的国际标准等价版本），那么这些类型必须对应标准格式：_Float32对应binary32单精度，_Float64对应binary64双精度，_Float128对应binary128四精度，_FloatNx对应扩展精度格式（比如binary80）。
• 如果编译器不支持IEC 60559，只要满足前述最小范围和精度即可，但这种情况目前几乎不存在。

4. float/double/long double会被淘汰吗？ #

完全不会，C标准始终保证向后兼容：

• float、double、long double仍是C的核心浮点类型，标准不会移除它们。
• 新增_FloatN系列的目的，是解决传统类型的平台不确定性——比如long double在x86是80位，在ARM可能是64位，在某些平台又是128位，而_Float128则明确为128位，跨平台可靠性更高。
• 日常开发用传统类型完全没问题，_FloatN系列更适合对浮点精度、宽度有严格要求的场景，比如跨平台数值计算、硬件交互代码。

额外说明：与传统类型的对应关系 #

• 很多平台上，_Float32和float的宽度、精度完全一致，但类型是独立的；_Float64和double也是如此。
• _Float128通常对应平台的128位浮点类型，而long double可能等于_Float128，也可能是80位扩展精度（比如x86平台），具体看编译器实现。
• _FloatNx一般就是平台支持的扩展精度类型，比如x86的_Float64x就是long double。

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