克尼汉与里奇：ANSI C中‘浮点运算可采用单精度执行’的含义？

在克尼汉与里奇所著《C程序设计语言》第二版第2页中提到，相较于第一版定义的K&R C标准，ANSI C标准规定：

浮点运算可采用单精度执行。

这句话的核心含义是明确了编译器在浮点运算环节的精度选择权限：

• 在K&R C标准中，所有浮点运算默认强制以双精度（double类型）执行——哪怕你声明并使用的是单精度float类型变量，参与运算时也会先被隐式转换为double类型，运算结果同样保留为double类型，全程统一使用更高精度的计算逻辑。
• ANSI C则放开了这一强制限制，允许编译器根据实际场景选择直接以单精度（float类型）执行浮点运算，无需将float强制提升为double。这一调整的意义在于，在对精度要求不严格的场景下，能减少运算开销，提升程序运行效率。

需要注意的是，float类型在K&R C中确实已存在，但当时它仅作为数据存储类型存在，运算环节仍被统一强制为双精度处理，这正是ANSI C与K&R C在浮点运算规则上的核心差异。

内容的提问来源于stack exchange，提问作者J. Doe