双精度问题

a - b 具有小于 a ,但是 a + b 是如此接近 一 (更大)它最终仍然可以最精确地表示为 .

举个例子:

double a = 1L << 53;
double b = 1;
double c = a;

Console.WriteLine(a - b < c); // Prints True
Console.WriteLine(a < b + c); // Prints False

编辑:

double a = 1.0;
double b = 1.0 / (1L << 53);
double c = a;

Console.WriteLine(a - b < c); // Prints True
Console.WriteLine(a < b + c); // Prints False

换句话说,当我们从1中减去一个很小的数时,我们得到的结果小于1。当我们把相同的数字加到1上时,由于双精度的限制,我们只得到1。

不,不总是这样:

        double a = double.MaxValue;
        double b = double.MaxValue;
        double c = 0.1;
        Console.WriteLine(a - b < c); // True
        Console.WriteLine(a < b + c); // False

此链接介绍浮点算术属性,可能非常有趣:

FLOATING-POINT FALLACIES

关系的性质