Error de análisis de tuplas anidadas en Scala

Question

Al escribir el siguiente código en Scala

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

estoy recibiendo el error

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

Sin embargo, el cambio de la sintaxis de la tupla de (X,Y) a (X -> Y) obras

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

Aunque

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

¿Por qué es eso? ¿Qué cree Scala que es mi tupla anidada?

Answer 1

La razón es bastante simple (creo) y tiene que ver con el hecho de que (en el rasgo Map):

m += (a -> b) 

es la abreviatura de:

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

Obviamente, si se utiliza una coma en el primer ejemplo, Scala interpretará esto como una llamada al método:

m = m.+(a, b) 

Este método no existe en el rasgo Map. Las reglas de invocación de métodos significan que a -> b se evalúa primero (al Tuple2) y de ahí que se llame al método correcto. Nota: Usando un par extra de paréntesis, funciona muy bien:

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

Answer 2

Oxbow es correcta. Se puede utilizar otro paréntesis para eliminar la ambigüedad, sin embargo:

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