Java中浮点数（double）的精度问题及正确比较方法

本文探讨java中`double`类型浮点数在不同环境可能出现微小差异的原因，并强调直接使用`==`进行比较的风险。教程详细解释了浮点数存储的本质，并提供了基于`epsilon`（一个极小的容差值）的稳健比较方法，以确保浮点数比较的准确性和可靠性，避免因精度问题导致程序行为不一致。

浮点数精度问题的根源

在Java及大多数编程语言中，double类型用于表示双精度浮点数。然而，计算机存储浮点数的方式（通常遵循IEEE 754标准）决定了它们无法精确表示所有十进制小数。例如，像0.1这样的简单十进制数，在二进制中是一个无限循环小数，因此在存储时必须进行截断或四舍五入。这种固有的不精确性是导致浮点数在不同计算或不同环境（即使是相同的Java版本和架构）下产生微小差异的根本原因。

当进行一系列浮点数运算时，这些微小的舍入误差会累积。即使是看似相同的计算，如果执行顺序、优化策略或底层硬件（尽管现在这种情况较少见）存在细微差异，都可能导致最终结果在最低有效位上产生差异。以下是一些示例，展示了这种微小差异：

// 示例1
Dev环境: 6764785.117418662
Local环境: 6764785.11741866

// 示例2
Dev环境: 9.7787576643837
Local环境: 9.778757664383699

// 示例3
Dev环境: 2.0465350497710526
Local环境: 2.046535049771075

从上述例子可以看出，尽管数值非常接近，但在直接比较时它们会被视为不相等。这并非Java版本或IntelliJ版本的问题，而是浮点数运算的本质。

为什么不能直接使用 == 比较浮点数？

由于浮点数存储的固有不精确性，直接使用 == 运算符来比较两个 double 值几乎总是一个错误的做法，除非你明确知道它们是通过精确的整数运算或直接赋值得到的。== 运算符会检查两个浮点数的二进制表示是否完全一致。只要存在一个位的差异，它们就会被判定为不相等，即使它们在数学上非常接近，甚至在人类看来是同一个数字。

立即学习“Java免费学习笔记（深入）”；

例如，0.1 + 0.2 在Java中并不精确等于 0.3。尝试 System.out.println(0.1 + 0.2 == 0.3); 会输出 false。这是因为 0.1、0.2 和 0.3 在二进制中都无法精确表示，它们各自的近似值在相加后，其结果的二进制表示与 0.3 的近似值不完全相同。

百度文心百中

百度大模型语义搜索体验中心

22

查看详情

正确比较浮点数的方法：使用 Epsilon

为了正确地比较两个浮点数，我们应该检查它们之间的绝对差值是否小于一个预设的、足够小的正数，这个小正数通常被称为“epsilon”（ε）。如果差值小于epsilon，我们就认为这两个浮点数在实际应用中是相等的。

其基本思想是：|d1 - d2| < epsilon。

以下是在Java中实现这种比较的示例代码：

import org.junit.jupiter.api.Assertions; // 假设使用JUnit进行断言

public class DoubleComparison {

    /**
     * 用于比较浮点数的容差值。
     * 选择epsilon值非常重要，它取决于你的应用场景和所需的精度。
     * 例如，对于货币计算，可能需要更小的epsilon，或者根本不使用double。
     */
    private static final double EPSILON = 0.000001d; // 1e-6

    /**
     * 比较两个double值是否在给定的epsilon容差范围内相等。
     *
     * @param d1 第一个double值
     * @param d2 第二个double值
     * @return 如果两个double值在epsilon容差范围内相等，则返回true；否则返回false。
     */
    public static boolean areDoublesEqual(double d1, double d2) {
        return Math.abs(d1 - d2) < EPSILON;
    }

    public static void main(String[] args) {
        double devValue = 6764785.117418662;
        double localValue = 6764785.11741866;

        System.out.println("直接比较 (==): " + (devValue == localValue)); // 输出 false
        System.out.println("使用epsilon比较: " + areDoublesEqual(devValue, localValue)); // 输出 true (取决于EPSILON)

        double valA = 0.1 + 0.2;
        double valB = 0.3;
        System.out.println("0.1 + 0.2 == 0.3 直接比较: " + (valA == valB)); // 输出 false
        System.out.println("0.1 + 0.2 == 0.3 使用epsilon比较: " + areDoublesEqual(valA, valB)); // 输出 true

        // 在测试框架中，可以使用断言库进行更优雅的比较
        // 例如，使用AssertJ库：
        // assertThat(Math.abs(d1 - d2) < epsilon).isTrue();
        // 或者JUnit 5的Assertions.assertEquals，它也支持epsilon参数
        Assertions.assertTrue(areDoublesEqual(devValue, localValue), "浮点数应在容差范围内相等");
        Assertions.assertEquals(valA, valB, EPSILON, "0.1 + 0.2 应近似等于 0.3");
    }
}

注意事项：

1. Epsilon的选择： Epsilon的值至关重要。它应该足够小，以区分真正不同的值，但又足够大，以包容预期的舍入误差。选择过小的epsilon可能导致比较失败，选择过大的epsilon可能将不相等的值误判为相等。通常，1e-6 或 1e-9 是一个常见的起点，但具体值应根据业务需求和浮点数的预期精度来确定。
2. 绝对值： 始终使用 Math.abs() 来获取差值的绝对值，因为两个数的差可能是正数也可能是负数。
3. BigDecimal： 对于金融计算或任何需要绝对精确十进制运算的场景，应避免使用 double 或 float，而应使用 java.math.BigDecimal 类。BigDecimal 提供任意精度的十进制运算，但性能开销相对较高。
4. Double.compare() 和 Double.equals()： Double.compare(d1, d2) 方法返回一个整数，指示 d1 是否小于、等于或大于 d2。Double.equals(Object obj) 方法用于判断两个 Double 对象是否相等。然而，这两个方法在比较浮点数时，仍然执行的是精确的二进制比较，不考虑精度误差，因此不适用于处理上述浮点数精度问题。它们主要用于处理特殊的浮点值，如 NaN（非数字）和正负零。

总结

浮点数（double）在计算机中的存储方式决定了其固有的精度限制，这可能导致在不同环境或复杂计算中出现微小的差异。直接使用 == 运算符进行比较是不可靠的。为了确保浮点数比较的健壮性，我们应该采用基于 epsilon 的方法，即判断两个浮点数的绝对差值是否小于一个预设的容差值。在对精度要求极高的场景，如金融计算，应优先考虑使用 BigDecimal 类型。理解并正确处理浮点数精度问题是编写可靠Java应用程序的关键一环。

以上就是Java中浮点数（double）的精度问题及正确比较方法的详细内容，更多请关注php中文网其它相关文章！