在scala中,Map [_,_]和scala.collection.immutable.Map [_,_]如何具有不同的TypeTag？

Question

他们引用相同的东西,但是当我比较2个类型标签时:

val ttg1 = typeTag[Map[_,_]]
val ttg2 = typeTag[immutable.Map[_,_]]

assert(ttg1.tpe == ttg2.tpe)

我有:

Map[_, _] did not equal scala.collection.immutable.Map[_,_]
ScalaTestFailureLocation: 
Expected :scala.collection.immutable.Map[_,_]
Actual   :Map[_, _]

怎么会用键入的语言发生？我如何使它们相同？

更新:对于列表这更令人困惑:

val ttg1 = typeTag[List[_]]
val ttg2 = typeTag[immutable.List[_]]

assert(ttg1.tpe == ttg2.tpe)

List[_] did not equal List[_]
ScalaTestFailureLocation: 
Expected :List[_]
Actual   :List[_]

他们是完全一样的!然而,反思选择忽视它.

Answer 1

当你真的想要类型等价时,你正在比较类型标识.在

type A = B

A并且B是两种不同的类型(这就是为什么它们有不同的类型标签).尝试将测试更改为

assert(ttg1.tpe =:= ttg2.tpe)

=:= 关于类型测试的等价性.