解析错误

Question

当斯卡拉写下面的代码

var m = Map((0,1) -> "a") 
m += ((0,2), "b") // compilation error 

，我发现了错误

 
type mismatch; 
found : Int(0) 
required: (Int, Int) 

但是从(X,Y)到(X -> Y)作品的元组的语法变化

var m = Map((0,1) -> 'a) 
m += ((0,2) -> 'b) // compiles file 

即使

((0,1).getClass == (0 -> 1).getClass) // is true 
(0,1).isInstanceOf[Tuple2[_,_]] && (0 -> 1).isInstanceOf[Tuple2[_,_]] // both true 

这是为什么？ scala认为我的嵌套元组是什么？

Answer 1

原因很简单（我认为），是与事实这样做（在Map性状）：

m += (a -> b) 

简写为：

m = m.+(t2) //where t2 is of type Tuple2[A,B] 

显然，如果你使用在第一个例子中的逗号，Scala会将其解释为对该方法的调用：

m = m.+(a, b) 

这种方法在Map特征上不存在。方法调用规则意味着首先对a -> b进行评估（至Tuple2），因此调用了正确的方法。 注：使用一个额外的对括号工作得很好：

m += ((a,b)) //works just fine but less readable 

Answer 2

故道是正确的。您可以使用其他括号来消除歧义，但：

m += (((0,2), "b"))