Использование implicits для ключей карты scala

Question

Может кто-нибудь сказать мне, почему, как показано ниже, неявное преобразование работает при простом создании объекта KeyVal, но не работает при создании ключа на карте, которая является KeyVal.

спасибо.

object o { 
    case class KeyVal(i: Int) 
    object KeyVal { 
    implicit def strToKeyVal(s:String) = KeyVal(s.toInt) 
    } 
} 

import o._ 

val x : KeyVal = "1" // Works fine to create a KeyVal 

val x : Map[KeyVal, String] = Map("1" -> "One") // Type Mismatch: found (String, String), wants (KeyVal, String) 

Answer 1

Scala компилятор не является очень важной вещью, и он не может разрешить все типы ошибок типа. Как следует преобразовать (String, String) tuple в (KeyVal, String) кортеж и почему бы не (String, KeyVal) или (KeyVal, KeyVal). Ваше неявное преобразование конвертирует String в KeyVal, но не (String, String) в KeyVal. Если добавить это неявное преобразование к объекту компаньона:

implicit def strToKeyVal(s: (String, String)): (KeyVal, String) = (KeyVal(s._1.toInt), s._2) 

все будет работать нормально

Answer 2

Это всего лишь вопрос времени. К тому времени, когда рассматривается тип Map, у вас больше нет String, но кортеж (String, String). Это происходит потому, что -> - это оператор, который применяется сначала, а затем его результат возвращается для Map.

Если вы не использовать этот оператор, он работает:

val x : Map[KeyVal, String] = Map(("1", "One"))