為什么Scala模式匹配不等於isInstanceOf

Question

我長期以來認為這兩種構造是等效的：

if (myVar.isInstanceOf[MyType]) myVar.asInstanceOf[MyType].doSomething

和

myVar match {
  case my : MyType => my.doSomething
  case _ => {}
}

但是突然我發現嘗試將Number值匹配到Double類型時遇到類型錯誤，但是asInstanceOf[Double]可以正常工作。 WTF正在發生？

---

scala REPL的簡單示例

val d = 3.5
val n : Number = d
n.isInstanceOf[Double]

工作正常：

Boolean = true

但

n match {
  case x : Double => println("double")
  case _ => println("not a double")
}

產生類型錯誤：

:11: error: pattern type is incompatible with expected type;
found   : Double
required: Number
          case x : Double => println("double")

Answer 1

scala.Double不是從java.lang.Number繼承，而是從AnyVal繼承。 您要在java.lang.Double上進行匹配：

n match {
  case x : java.lang.Double => println("double")
  case _                    => println("not a double")
}

使用時

val d = 3.5
val n : Number = d  // implicit conversion from scala.Double to java.lang.Double

scala.Double賦值給n隱式轉換為java.lang.Double