斯卡拉平等：爲什麼這個代碼編譯？

Question

scala中有一個特殊的問題，每次都會咬我。每它咬我的時候，它就咬很辛苦......

爲什麼這行編譯

val x = "10" 
if (x != 10) { 
    print("do something") 
} 

此行編譯和執行，但對於像斯卡拉一個「類型安全」的語言......這行應導致編譯錯誤

Answer 1

因爲所有類型的祖先都是Any，並且Any定義了方法!=。見http://www.scala-lang.org/api/current/index.html#scala.Any

所以編譯器向後彎曲，使你的代碼編譯，並且上升的String("10")類型層次結構，直到它發現需要一個整數

Answer 2

模式匹配給你一個多一點幫助!=的實現。

scala> val i = 17 
i: Int = 17 

scala> "42" match { case `i` => } 
<console>:13: error: type mismatch; 
found : Int 
required: String 
     "42" match { case `i` => } 
         ^

scala> case class C(i: Int) 
defined class C 

scala> 42 match { case C(_) => } 
<console>:14: error: constructor cannot be instantiated to expected type; 
found : C 
required: Int 
     42 match { case C(_) => } 
        ^