Foo [T]到Bar [T]

Question

可以这样做吗？

case class Foo[T](value: T)
case class Bar[T](value: T)

val map = mutable.Map.empty[Foo[_], Bar[_]]

map(Foo(1)) = Bar(1) // correct
map(Foo(1)) = Bar(1.1) // should cause a compiler error

只要T和Foo#T都相同，就应该允许任何类型Bar#T。

Answer 1

您可以尝试这样的操作，强制Foo和Bar的{​​{1}}类型参数相同：

T