scala - 无法使用键的动态混合类型将成员添加到 Map

Question

以下语句编译良好并按预期工作:

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

但是，如果我尝试添加到 map :

map + ((3,4))

或者

map + (("Bye", 4))

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

found : java.lang.String("Bye")

required : _$1 where type _$1 >: Int with String

如果我削弱类型签名以允许 Any作为 key 的类型，那么这一切都按预期工作。
我的直觉说这与 Map 的键类型的不变性有关，并且 _$1 以某种方式被固定为 Int with String 的特定父类(super class)型。 ，但我对此并不特别满意。任何人都可以解释发生了什么吗？
编辑添加:
如果您想知道这是在哪里出现的，这是您执行以下操作时得到的签名:

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

Answer 1

你误会了Int with String .它不是 Int 和 String 的并集，它是交集，对于 Int 和 String 它是空的。不是 Int 的值集和字符串的值集，而是具有 Int 特征的值集和 String 的特征。没有这样的值(value)观。

您可以使用 Either[Int, String] , 并有 Map[Left(1) -> 2, Right("Hello") -> 3) . Either 不完全是联合，它是可区分的联合，A + B，而不是 A U B。您可能会掌握差异，因为 Either[Int, Int] 与 Int 不同。它实际上与 (Int, Boolean) 同构:你有一个 Int，而且你也知道它在哪一边。当 A 和 B 不相交(如 Int 和 String 一样)时，A + B 和 A U B 是同构的。

或者(不适合胆小的人)您可以查看a possible encoding of union types通过迈尔斯萨宾。 (我不确定你是否真的可以将它与预先存在的类 Map 一起使用，甚至比你应该尝试的更不确定，但它仍然是一个最有趣的阅读)。

编辑 :阅读您的问题和代码太快了，对不起

你的下限Int with String与 Nothing 相同, 所以 Map[_ >: Int with String, Int] , 与 Map[_ >: Nothing, Int] 相同和 Nothing下限是隐含的，这是 Map[_, Int] .您的实际Map是 Map[Any, Int] .您可以添加一个 bool 键，它也可以工作，尽管 Int 带有字符串。一个 Map[Any, Int]可以输入为Map[_, Int]所以你的 val 声明有效。但是您的输入会丢失有关 key 类型的所有信息。不知道 key 的类型是什么，您无法从表中添加(或检索)任何内容。

UpperBound 不会更好，因为那时没有可能的 key 。甚至最初的 val 声明也失败了。

编辑 2 : 关于if (true) Map(1 -> 2) else Map("1" -> 2)
这与 Map(1 -> 2, "1" -> 2) 不同。 .那更简单，只需一个 Map[Any, Int] ，如 Any是 Int 的更常见的父类(super class)型和 String .

另一方面，Map(1 -> 2)是 Map[Int, Int] , 和 Map["1", 2]一个 Map[String, Int] .存在为 Map[Int, Int] 找到公共(public)父类(super class)型的问题。和 Map[String, Int] ，它没有找到 Int 的常见父类(super class)型和 String .

让我们做实验。 Map在其第二个参数中是协变的。如果您使用 Int和 String作为值而不是键:

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

使用协方差，它只需要所有类型参数的公共(public)父类(super class)型。

使用逆变类型:

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 .因为这是您在实际 map 中所拥有的(因为 true )，所以运气不好。如果您访问 keySet ，它将被输入 Set[A] .您对键类型的信息不完整，并且您可以做的事情是有限的，但这是一个必要的限制，因为您对 map 类型的了解有限。与 Int and String ，你有最少的信息，有一个下限 Any和等价于 Nothing 的上限. Nothing 上限使得无法调用将键作为参数的例程。您仍然可以检索 keySet , 类型为 Set[Any] , Any是下界。