我可以比较Kotlin中两个浮点数是否相等吗？

Question

以下代码是从https://kotlinlang.org/docs/reference/functions.html?q=&p=0

此代码计算余弦的固定点，它是一个数学常数。它只需从1.0开始重复调用Math.cos，直到结果不再变化，结果为0.7390851332151607。

在我看来，我们无法比较两个浮点数是否相等，所以我认为if (x == y)的结果总是假的吧？

private fun findFixPoint(): Double { 
    var x = 1.0 
    while (true) { 
     val y = Math.cos(x) 
     if (x == y) return y 
     x = y 
    } 
} 

Answer 1

为了进一步扩展我的评论和更加精确，文档为您提供了关键。

Math.cos(double)

计算结果必须是内准确结果的1 ulp。结果 必须是半单调的。

ulp是编码的浮点数与下一个可以在数据类型中编码的数字（在本例中为double）之间的差异。

如果结果必须在1 ulp以内，那意味着结果可以是最多两个浮点值之一。

因此，计算不会停止的唯一方法是如果其中一个数字的输入将给您另一个数字。但是由于函数是半单调的，这意味着不可能发生。否则，你将有两个较高的值作为输入，使得较低的值作为输出，而较低的值给出较高的值作为输出。半单调意味着它只能在一个方向上进行（非常简单，有些不准确）。

Answer 2

在我看来，我们无法比较两个浮点数是否相等，所以我认为if（x == y）的结果总是为false，对吗？

不，这是错误的。您CAN比较两个浮点数是否相等，但它是无意义的。因为按定义浮点不准确。即使两个不同的计算在Math中具有相同的结果，但由于舍入误差，在程序中不必等同。它仍然有可能是平等的。