小于（<）float与c中if语句的比较[重复]

Question

案例一

float a = 0.6;

if (a < 0.6)
{
    printf("c");
}
else
{
    printf("c#");
}

输出c#

案例2

float a = 0.9;

if (a < 0.9)
{
    printf("c");
}
else
{
    printf("c#");
}

输出c

现在的问题是为什么？

Answer 1

我假设 float 是 IEEE 754 32 位二进制，double 是 IEEE 754 64 位二进制。

最接近 0.6（文字的实际值）的双精度数是 0.59999999999999997779553950749686919152736663818359375。转成float的结果是0.60000002384185791015625，稍微大一点。

最接近 0.9 的双精度数是 0.90000000000000002220446049250313080847263336181640625。转成float的结果是0.89999997615814208984375，稍微小一点。

在每种情况下，无法精确表示的小数会四舍五入到最接近的双精度数以表示文字。它被舍入为一个浮点数以分配给a，根据舍入到最近的规则，它可能比双精度略小或略大，或者如果双精度的二进制表示有很多尾随零，甚至可能完全相同.

Answer 2

将整个内容更改为仅使用单个文字，它应该始终有效

float a = 0.6f;

if (a < 0.6f)
{
    printf("c");
}
else
{
    printf("c#");
}

该错误实际上与准确性问题无关，而与类型提升有关。这相当于将300 推入char，然后将结果与实整数300 进行比较。当您第一次将其推入时，该值被截断以适合较小的类型，并且在比较期间它被提升回较大的类型。

编辑

大家在这里谈论的准确性问题是不同的现象。您可以通过布尔表达式(4.0*3.0 == 2.0*6.0) 看到它，显然这两个术语都是12.0，但3.0 和6.0 的不同截断可以使这两个算术表达式不同。但是，如果您编写了表达式(3.0*5.0 == 3.0*5.0)，则对于任何符合要求的处理器始终保证为真。（注意，对于包括英特尔在内的许多处理器，您可以操纵配置，使其不符合 IEEE 浮点标准）

Answer 3

简短的回答：浮点数不能用二进制符号精确表示，即使它们有十进制的终止定义。这意味着将一个浮点数与另一个假设相等的浮点数进行比较，并不能保证任何一种方式都可以，一切都取决于架构和该架构上浮点数的表示。