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

你可以使用[Int,String]和Map [Left(1) – > 2,右(“你好”) – > 3).要么不是联盟,它是被区别的联盟,A B,而不是A U B.你可以掌握差异,因为[Int,Int]与Int不同.它实际上与(Int,Boolean)同构：你有一个Int,你知道它也在哪一边.当A和B脱离时(如Int和String所示)A B和A U B是同构的.

或者(不是为了胆小的人)你可以看看Miles Sabin的a possible encoding of union types. (我不确定你是否可以在预先存在的类Map中使用它,甚至比你应该尝试的更不确定,但它仍然是最令人兴奋的阅读).

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

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

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

编辑2：aboutif(true)Map(1 – > 2)else Map(“1” – > 2)

这与Map(1 – > 2,“1” – > 2)不同.这更简单,只需一个Map [A??ny,因为Any是Int和String的更常见的超类型.

另一方面,Map(1→2)是Map [Int,Map [“1”,2]是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和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的值.因为这是您在实际Map中所拥有的(因为真实),运气不好.如果访问keySet,将输入Set [A].您有关于键类型的不完整信息,您可以做的是有限的,但这是一个必要的限制,因为您对地图类型的了解有限.使用Int和String,您可以获得最少的信息,其下限为Any,上限等于Nothing. Nothing上限使得无法调用以键作为参数的例程.您仍然可以检索keySet,类型为Set [Any],Any为下限.