java里 jvm在运行时采用类型擦拭的做法，类型已经不能单纯的用class来区分了，比如 List 和 List 的class 都是 Class，然而两者类型(type)却是不同的。
在Scala里，类型系统又比java复杂很多，它自己提供了一个scala.reflect.runtime.universe.Type
在scala用typeOf获取类型信息：
scala> import scala.reflect.runtime.universe._
scala> class A
scala> typeOf[A]
res44: reflect.runtime.universe.Type = A
同样scala里获取类(Class)信息也很便捷:
scala> classOf[A]
另外，因为 java 的Object里提供了getClass方法，对于scala 对象来说，也可以用
scala> val a = new A
scala> a.getClass
res53: Class[_ <: A] = class A
注意，typeOf 和 classOf 方法接收的都是类型符号，并不是对象实例
scala> object O
scala> classOf[O] // 这里O是一个单例对象，是一个实例
:14: error: not found: type O
对于实例，要获取他的 Class 信息，只有通过 getClass 方法
scala> O.getClass
res60: Class[_ <: O.type] = class O$
注意到了，上面的 单例对象O 对应的class是 O$ ，你通过 :javap O 也能看到这个单例反编译后是一个名为O$的 java class
看上面的返回类型里 用：O.type 表示其类型；实际上 .type之前的都可以看做是一种类型路径，每个实例都可以通过.type方式表达它的单例类型
再举一个例子：
scala> class A { class B } // 嵌套类
scala> val a1 = new A
scala> val a2 = new A
scala> val b1 = new a1.B
scala> val b2 = new a2.B
对于内部类B的实例，它们的class都是相同的: A$B（表示B是A的内部类）
scala> b1.getClass
res8: Class[_ <: a1.B] = class A$B
scala> b1.getClass == b2.getClass
res7: Boolean = true
而它们的类型却是不同的：
scala> typeOf[a1.B] == typeOf[a2.B]
res10: Boolean = false
这是因为内部类型依赖外部实例(路径依赖类型)，外部实例不同，它们也不同。
但还可以对这种类型再抽象
scala> typeOf[a1.B] <:< typeOf[A#B]
res11: Boolean = true
scala> typeOf[a2.B] <:< typeOf[A#B]
res12: Boolean = true
这里A#B涉及到类型投影的概念，如前所讲。
简单的说，类(class)与类型(type)是两个不一样的概念 (在java里因为早期一直使用class表达type，并且现在也延续这样的习惯)；类型(type)比类(class)更”具体”，任何数据都有类型。类是面向对象系统里对同一类数据的抽象，在没有泛型之前，类型系统不存在高阶概念，直接与类一一映射，而泛型出现之后，就不在一一映射了。比如定义class List[T] {}, 可以有List[Int] 和 List[String]等具体类型，它们的类是同一个List，但类型则根据不同的构造参数类型而不同。
scala> classOf[List[Int]] == classOf[List[String]]（类型擦除）
res16: Boolean = true
scala> typeOf[List[Int]] == typeOf[List[String]]
res17: Boolean = false
在jvm里，类的实例都是引用形式，而类型没有这个约束，基础类型int,byte,char等就是非引用的。类型比类更“具体”，更“细”一些。
网友评论