你误会了Int with String
。它不是 Int 和 String 的并集,它是交集,对于 Int 和 String 它是空的。不是 Int 的值集与字符串的值集,而是具有 Int 特征的值集和 String 的特征。没有这样的价值观。
您可以使用Either[Int, String]
并拥有Map[Left(1) -> 2, Right("Hello") -> 3)
. Either 不完全是联合,它是可区分的联合,A + B,而不是 AU B。您可能会发现 Either[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 带有字符串。Map[Any, Int]
可以键入A ,Map[_, Int]
以便您的 val 声明有效。但是您的键入会丢失有关密钥类型的所有信息。不知道密钥的类型是什么,您无法从表中添加(或检索)任何内容。
UpperBound 不会更好,因为那时没有可能的密钥。甚至最初的 val 声明也失败了。
编辑2:关于if (true) Map(1 -> 2) else Map("1" -> 2)
这与Map(1 -> 2, "1" -> 2)
. 那更简单,只是 a Map[Any, Int]
,就像andAny
的更常见的超类型一样。Int
String
另一方面,Map(1 -> 2)
是 aMap[Int, Int]
和Map["1", 2]
a Map[String, Int]
。存在寻找 and 的共同超类型的问题,这不是寻找 and 的共同超Map[Int, Int]
类型。Map[String, Int]
Int
String
让我们做实验。Map
在其第二个参数中是协变的。如果您使用Int
andString
作为值而不是键:
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.
WhenB
是 的子类型A
,A
with B
is just B
。
现在在两种类型相关时使用 Map 的非变量参数
if (true) Map(new A -> 1) else Map(new B -> 1)
res4: scala.collection.immutable.Map[_ >: B <: A, Int]
这样的类型不是没用的。您可以使用 type 的键访问或添加值B
。但是您不能访问键的值A
。因为这是您在实际地图中所拥有的(因为true
),所以运气不好。如果您访问keySet
,它将被键入Set[A]
。您对键类型的信息不完整,并且您可以做的事情是有限的,但这是一个必要的限制,因为您对地图类型的了解有限。使用Int and String
,您拥有的信息最少,其下限Any
和上限等效于Nothing
。Nothing 上限使得无法调用将键作为参数的例程。您仍然可以检索, keySet
type为下限。Set[Any]
Any