在 Scala 中，为什么模式匹配没有选取 NaN？

Question

我的方法如下

  def myMethod(myDouble: Double): Double = myDouble match {
    case Double.NaN => ...
    case _ => ...
  }

IntelliJ 调试器显示 NaN，但这在我的模式匹配中没有被拾取。我是否遗漏了可能的情况

Answer 1

这是根据 IEEE 754 比较 64 位浮点数的一般规则（与 Scala 甚至 Java 无关，请参阅 NaN)：

double n1 = Double.NaN;
double n2 = Double.NaN;
System.out.println(n1 == n2);     //false

这个想法是 NaN 是未知或不确定的标记值。比较两个未知值应该总是产生false，因为它们是很好......未知的。

---

如果您想将模式匹配与 NaN 一起使用，请尝试以下操作：

myDouble match {
    case x if x.isNaN => ...
    case _ => ...
}

但我认为模式匹配将使用严格的双重比较，因此请小心使用此构造。

Answer 2

您可以编写一个提取器（根据 bse 的评论更新）：

object NaN {
  def unapply(d:Double) = d.isNaN
}


0.0/0.0 match {
  case NaN() => println("NaN")
  case x => println("boring " + x)
}
//--> NaN

Answer 3

托马斯是正确的。您应该使用 isNaN 代替。

scala> Double.NaN.isNaN
res0: Boolean = true