为什么 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 中始终处于范围内）包含从 Any 到 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)

此外，您可以像这样处理不可变哈希图：

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

Scala 认为 a + (b,c) 意味着您正在尝试使用两个参数调用 + 方法，这是一个真正的可能性，因为地图 do 具有多参数添加方法，因此您可以执行操作喜欢

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

解决方案很简单：只需添加一组额外的括号，就可以清楚地看到(b,c) 实际上是作为单个参数传递的元组。

m + (("a", 1))