未强制转换时double除以float为何不报错且结果偏离预期？

问题场景 #

你编写的C#测试代码：

using System ; class program{ static void Main(string[] args) { float a = 4.246f; double b = 8.492; System.Console.WriteLine(a*2); System.Console.WriteLine(b/a); } }

运行后发现b/a的预期结果为2，但实际输出为2.0000000880453。你想了解：未进行任何强制转换时，该异常结果是如何产生的？为何double与float运算不会报错？

一、异常结果的产生原因：浮点数的二进制存储精度限制 #

这本质是浮点数无法精确表示所有十进制小数导致的：

• float是单精度浮点数，只有32位存储空间（其中23位用于存储有效数字的尾数），它没办法精确存储4.246这个十进制数，实际存在内存里的是一个非常接近4.246的近似值。
• double是双精度浮点数，64位存储空间（52位尾数位），同样没法精确存储8.492，但它的精度比float高，存储的近似值和4.246*2的float近似值并不完全相等。
• 当计算b/a时，实际是用8.492的double近似值除以4.246的float近似值（运算时float会先转成double），两个近似值的比值自然不是精确的2，于是出现了微小的误差。

你可以做个小验证：如果把a也定义为double（double a = 4.246;），再计算b/a，结果依然会有误差——因为4.246的double近似值和8.492的double近似值的比值也不是精确的2。

二、double与float运算不报错的原因：C#的隐式类型转换规则 #

C#语言规范里定义了数值类型的安全隐式转换：当你对不同精度的浮点数进行运算时，精度较低的类型（这里是float）会自动转换为精度较高的类型（double），再执行运算。这种转换是扩宽转换，能完整保留float的所有有效信息，不会丢失精度，所以编译器既不会报错，运行时也不会出现错误。

简单说，代码里的b/a在执行时，会先把float a转成double类型，再和double b做除法运算，整个过程完全符合C#的类型系统规则，因此不会触发报错。

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