爲什麼Scala REPL顯示Map表達式的元組類型？

Question

Scala REPL爲這兩個表達式提供了相同的類型 - （元組？ - 奇怪！）。然而("a" ->1)這是我可以添加到地圖和("a", 1)不能。爲什麼Scala REPL顯示Map表達式的元組類型？

scala> :t ("a" -> 1) 
(String, Int) 

scala> :t ("a",1) 
(String, Int) 

scala> val m = Map.empty[String, Int] 
m: scala.collection.immutable.Map[String,Int] = Map() 

scala> m + ("a",1) 
<console>:9: error: type mismatch; 
found : String("a") 
required: (String, ?) 
      m + ("a",1) 
     ^

scala> m + ("a" ->1) 
res19: scala.collection.immutable.Map[String,Int] = Map(a -> 1) 

Answer 1

實際上，這樣做的原因是，PREDEF：http://www.scala-lang.org/api/current/index.html#scala.Predef$（總是在Scala中範圍）包含從任意給ArrowAssoc（該方法implicit def any2ArrowAssoc[A](x: A): ArrowAssoc[A]）的隱式轉換

ArrowAssoc包含方法 - >將其轉換爲元組。

所以基本上你在做any2ArrowAssoc("a").->(1)，它返回（「a」，1）。

從REPL：

any2ArrowAssoc("a").->(1) 
res1: (java.lang.String, Int) = (a,1) 

此外，還可以在不變的包含HashMap的工作是這樣的：

val x = HashMap[Int,String](1 -> "One") 
x: scala.collection.immutable.HashMap[Int,String] = Map((1,One)) 
val y = x ++ HashMap[Int,String](2 -> "Two") 
y: scala.collection.immutable.Map[Int,String] = Map((1,One), (2,Two)) 
val z = x + (3 -> "Three") 
z: scala.collection.immutable.HashMap[Int,String] = Map((1,One), (3,Three)) 

Answer 2

斯卡拉認爲a + (b,c)意味着你試圖調用+方法有兩個參數，這是一種現實的可能性，因爲地圖做有一個多參數添加方法，所以你可以做這樣的事情

m + (("a" -> 1), ("b" -> 2)) 

解決方法很簡單：只需添加一組額外的圓括號，因此顯然(b,c)實際上是作爲單個參數傳遞的元組。

m + (("a", 1))