C99标准下FLT_EVAL_METHOD[0,1,2]是否优先于6.3.1.8.2？无需显式转换？

咱们先把问题拆明白：你想问的是，当FLT_EVAL_METHOD取0、1、2这三个标准定义的值时，是不是就完全覆盖了C99 6.3.1.8.2里的浮点精度扩展规定，进而不用手动加强制转换或类型赋值来保证浮点类型的精度宽度？

先理清两个标准条款的关系：

6.3.1.8.2：浮点操作数的值以及浮点表达式的结果可以用比类型要求更高的精度和范围来表示；但类型不会因此改变。

这是一个通用的许可性规则——它只是允许编译器用更高精度来处理浮点运算，但没说具体怎么用。而附录F里的5.2.4.2.2.7则是把这种“可选的高精度行为”标准化，通过FLT_EVAL_METHOD这个宏来明确编译器的具体实现逻辑：

5.2.4.2.2.7：带有浮点操作数的运算、受通常算术转换约束的值以及浮点常量，其计算结果的格式范围和精度可能高于类型要求。计算格式的使用由实现定义的FLT_EVAL_METHOD值来表征。

接下来逐个分析这三个取值的情况，看看它们和6.3.1.8.2的关系，以及是否需要显式转换：

1. FLT_EVAL_METHOD == 0 #

这个取值的意思是：所有运算和常量都严格按照自身类型的范围和精度计算。
这相当于编译器主动放弃了6.3.1.8.2里“用更高精度”的许可，完全按类型本身的要求来处理。这种情况下，你根本不用担心精度溢出的问题，运算结果的精度就是对应类型的精度，不需要任何显式强制转换或额外赋值来保证类型宽度。

2. FLT_EVAL_METHOD == 1 #

这个取值的规则是：float和double类型的运算及常量按double精度计算，long double保持自身类型。
这里要注意两个关键点：

• 运算过程中会用更高精度（比如float运算用double），但表达式的类型还是原来的类型（比如两个float相加，结果类型还是float）。
• 当你把运算结果存储到对应类型的变量里（比如float c = a + b;），或者传递给对应类型的函数参数时，编译器会自动把高精度的临时结果截断回目标类型的精度。

也就是说，只要你把结果落地到对应类型的变量中，就自动保证了类型宽度，不需要手动加(float)这种强制转换。当然，如果是中间表达式没落地，临时值可能还是高精度，但只要最终存储或传递的是对应类型，就没问题。

3. FLT_EVAL_METHOD == 2 #

这个取值更彻底：所有运算和常量都按long double精度计算。
逻辑和上面的1完全一致：运算过程用最高精度，但最终结果的类型还是原来的类型。当你把结果赋值给float/double/long double类型的变量时，编译器会自动截断到目标类型的精度范围。所以同样，不需要额外的显式强制转换，赋值操作本身就帮你保证了类型宽度。

总结 #

FLT_EVAL_METHOD的0、1、2这三个取值完全覆盖了6.3.1.8.2的规定——无论是完全按类型精度计算（0），还是有选择地用更高精度运算（1、2），都是符合6.3.1.8.2里“允许用更高精度”的规则的。

而关于是否需要显式转换：如果你需要确保最终结果的精度是某个特定浮点类型的宽度，只要把结果赋值给对应类型的变量（或者让类型转换自动发生，比如函数参数传递）就足够了，不需要额外的显式强制转换。因为标准明确规定，当表达式结果转换为目标类型时，会被截断到该类型的范围和精度。

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