无法使用动态mixin类型为键添加成员到Map

Question

以下语句编译正常并按预期工作:

val map : Map[_ >: Int with String, Int] = Map(1 -> 2, "Hello" -> 3)

但是,如果我尝试添加到地图:

map + ((3,4))

要么

map + (("Bye", 4))

然后我得到一个类型不匹配:

发现:java.lang.String("Bye")

required:_ $ 1其中type _ $ 1>:Int with String

如果我弱化类型签名以允许Any作为Key的类型,那么这一切都按预期工作.

我的直觉说这与Map的键类型的不变性有关,并且_ $ 1在某种程度上被固定为特定的超类型Int with String,但我对此并不特别满意.谁能解释一下发生了什么？

编辑添加:

如果您想知道这出现在哪里,那么如果您执行以下操作,则会获得签名:

val map = if (true) Map(1 -> 2) else Map("1" -> 2)

Answer 1

你误会了Int with String.它不是Int和String的联合,它是交集,而对于Int和String它是空的.不是具有作为字符串的值集合的Int的值集合,而是具有Int特征的具有String特征的值集合.没有这样的价值观.

你可以使用Either[Int, String],并拥有Map[Left(1) -> 2, Right("Hello") -> 3).两者都不是联盟,它是被区分的联合,A + B,而不是AU B.您可以掌握差异,因为[Int,Int]与Int不同.它实际上与(Int,Boolean)同构:你有一个Int,你知道它也在哪一边.当A和B脱离时(如Int和String所示)A + B和AUB是同构的.

或者(不是为了胆小的人)你可以看看Miles Sabin 对联合类型的可能编码.(我不确定你是否可以在预先存在的类Map中使用它,甚至比你应该尝试的更不确定,但它仍然是最令人兴奋的阅读).

编辑:快速阅读您的问题和代码方式,抱歉

你的下限Int with String是相同的Nothing,因此Map[_ >: Int with String, Int],Map[_ >: Nothing, Int]与Nothing下限相同,这是相同的Map[_, Int].你的实际Map是一个Map[Any, Int].您可以添加一个布尔键,它也可以工作,尽管Int with String.Map[Any, Int]可以键入A ,Map[_, Int]因此您的val声明可以正常工作.但是您的输入会丢失有关密钥类型的所有信息.不知道密钥的类型是什么,您不能从表中添加(也不能检索)任何内容.

一个UpperBound本来就不会更好,因为那时没有可能的关键.即使是初始的val声明也失败了.

编辑2:关于if (true) Map(1 -> 2) else Map("1" -> 2)

这不是一回事Map(1 -> 2, "1" -> 2).这更简单,只是一个Map[Any, Int],和Any更常见的超类型Int和String.

另一方面,Map(1 -> 2)是a Map[Int, Int]和Map["1", 2]a Map[String, Int].有一个问题是找到一个共同的超类型,Map[Int, Int]并Map[String, Int]没有找到常见的超类型Int和String.

我们来试验吧.Map在第二个参数中是协变的.如果您使用Int和String作为值而不是键:

if (true) Map(1 -> 2) else Map(1 -> "2")
res1: scala.collection.immutable.Map[Int, Any]

使用协方差,它只需要所有类型参数的共同超类型.

具有逆变型:

class L[-T]
object L{def apply[T](t: T) = new L[T])
class A
class B extends A
class C
if (true) L(new A) else L(new C)
res2: L[A with C]
if (true) L(new A) else L(new B)
res3: L[B]

它需要的交点A with C.当B是的一个亚型A,A与B只是B.

现在,当两种类型相关时,使用Map的非变量参数

if (true) Map(new A -> 1) else Map(new B -> 1)
res4: scala.collection.immutable.Map[_ >: B <: A, Int]

这种类型并非无用.您可以使用类型的键访问或添加值B.但是您无法访问密钥的值A.因为这是你在实际地图中所拥有的(因为true),运气不好.如果您访问keySet,它将被键入Set[A].您有关于键类型的不完整信息,您可以做的是有限的,但这是一个必要的限制,因为您对地图类型的了解有限.有了Int and String,你有最小的信息,下限Any和上限相当于Nothing.Nothing上限使得无法调用以键作为参数的例程.您仍然可以检索keySet,有型Set[Any],Any作为下限.