Scala REPL打印的类型是什么？

Question

当我在repl中创建一个小Map时，它告诉我它的类型是immutable.Map

scala> Map(1->1, 2->2)                                    
res8: scala.collection.immutable.Map[Int,Int] = Map((1,1), (2,2))

这不是全部真相，就像在这种情况下一样

scala> Map(1->1, 2->2).getClass
res9: java.lang.Class[_] = class scala.collection.immutable.Map$Map2

Scala如何决定打印什么作为表达式的类型？

Answer 1

简短的回答是Scala REPL打印结果的静态类型，如表达式Map(1->1, 2->2)推断的那样，而getClass返回动态类型，它可以是静态类型的子类型。

更长的答案是关于Scala的类型推理引擎如何工作。您可能希望阅读Scala Language Reference中的相关部分。