Scala进阶之路-Scala中的高级类型
作者：尹正杰
版权声明：原创作品，谢绝转载！否则将追究法律责任。
一.类型（Type）与类（Class）的区别
在Java里，一直到jdk1.5之前，我们说一个对象的类型(type)，都与它的class是一一映射的，通过获取它们的class对象，比如 String.class, int.class, obj.getClass() 等，就可以判断它们的类型(type)是不是一致的。简单的说Type是用来描述类的，而Class是用来描述类的，因此Tpye范围要比Class描述的范围要更大一些！
而到了jdk1.5之后，因为引入了泛型的概念，类型系统变得复杂了，并且因为jvm选择了在运行时采用类型擦拭的做法(兼容性考虑)，类型已经不能单纯的用class来区分了，比如 List<String> 和 List<Integer> 的class 都是 Class<List>，然而两者类型(type)却是不同的。泛型类型的信息要通过反射的技巧来获取，同时java里增加了Type接口来表达更泛的类型，这样对于 List<String>这样由类型构造器和类型参数组成的类型，可以通过 Type 来描述；它和 List<Integer> 类型的对应的Type对象是完全不同的。
在Scala里，类型系统又比java复杂很多，泛型从一开始就存在，还支持高阶的概念(后续会讲述)。所以它没有直接用Java里的Type接口，而是自己提供了一个scala.reflect.runtime.universe.Type(2.10后)。
/*
@author :yinzhengjie
Blog:http://www.cnblogs.com/yinzhengjie/tag/Scala%E8%BF%9B%E9%98%B6%E4%B9%8B%E8%B7%AF/
EMAIL:y1053419035@qq.com
*/
package cn.org.yinzhengjie import scala.reflect.runtime.universe._ class Teacher(name:String,age:Int){ } object AdvancedType {
def main(args: Array[String]): Unit = {
/**
* 注意，typeOf 和 classOf 方法接收的都是类型符号(symbol)，并不是对象实例。
*/
val typeInfo = typeOf[Teacher] //在scala里获取类型信息是比较便捷的
println(typeInfo) val classInfo = classOf[Teacher] //同样scala里获取类(Class)信息也很便捷
println(classInfo)
}
} /*
以上代码执行结果如下:
cn.org.yinzhengjie.Teacher
class cn.org.yinzhengjie.Teacher
*/
二.classOf与getClass的区别
获取Class时的两个方法：classOf 和 getClass。
这种细微的差别，体现在类型赋值时，因为java里的 Class[Teacher]是不支持协变的，所以无法把一个Class[_ < : Teacher] 赋值给一个 Class[Teacher]。
三.结构类型
结构类型是指一组关于抽象方法、字段和类型的规格说明，你可以对任何具备play方法的类的实例调用play方法，这种方式比定义特质更加灵活，是通过反射进行调用的。简单来说，就是只要是传入的类型，符合之前定义的结构的，都可以调用。
/*
@author :yinzhengjie
Blog:http://www.cnblogs.com/yinzhengjie/tag/Scala%E8%BF%9B%E9%98%B6%E4%B9%8B%E8%B7%AF/
EMAIL:y1053419035@qq.com
*/
package cn.org.yinzhengjie class Structure {
def play() = println("play方法调用了")
} object AdvancedType extends App {
/**
* type关键字是把 = 后面的内容命名为别名。
*/
type X = {
def play(): Unit
} /**
* 定义本地方法，将X类型传入
*/
def init(res: X) = {
res.play
} /**
* 调用init的方法，需要传入一个实现X对象的paly方法
*/
init(new {
def play() = println("Play再一次")
}) /**
* 结构类型，简单来说，就是只要是传入的类型，符合之前定义的结构的，都可以调用。
*/
object A {
def play() {
println("A object play")
}
} init(A) val structure = new Structure
init(structure)
} /*
以上代码执行结果如下:
Play再一次
A object play
play方法调用了
*/
四.中置类型
/*
@author :yinzhengjie
Blog:http://www.cnblogs.com/yinzhengjie/tag/Scala%E8%BF%9B%E9%98%B6%E4%B9%8B%E8%B7%AF/
EMAIL:y1053419035@qq.com
*/
package cn.org.yinzhengjie object AdvancedType extends App {
/**
* 中置类型是一个带有两个类型参数的类型，以中置语法表示，比如可以将Map[String, Int]表示为：
*/
val scores: String Map Int = Map("yinzhengjie" -> 100)
println(scores)
} /*
以上代码执行结果如下:
Map(yinzhengjie -> 100)
*/
五.自身类型
对于this别名 yinzhengjie=>这种写法形式，是自身类型(yinzhengjie type)的一种特殊方式。yinzhengjie在不声明类型的情况下，只是this的别名，所以不允许用this做this的别名。案例如下：
/*
@author :yinzhengjie
Blog:http://www.cnblogs.com/yinzhengjie/tag/Scala%E8%BF%9B%E9%98%B6%E4%B9%8B%E8%B7%AF/
EMAIL:y1053419035@qq.com
*/
package cn.org.yinzhengjie class A {
/**
* yinzhengjie => 这句相当于给this起了一个别名叫yinzhengjie,
* 注意 : yinzhengjie并不是关键字，可以用除了this外的任何名字命名(除关键字)。
*/
yinzhengjie =>
val x = 100
def foo = yinzhengjie.x + this.x
} /**
* 注意，这里的yinzhengjie是给外部的Outer起了一个别名叫做yinzhengjie
*/
class Outer { yinzhengjie =>
val v1 = "here"
//定义一个Scala内部类
class Inner {
val v1 = "there"
println(yinzhengjie.v1) // 用yinzhengjie表示外部类(起了个别名)，相当于Outer.this.v1
}
new Inner
println(this.v1)
println(Outer.this.v1)
} object AdvancedType extends App {
new Outer val res = new A
println(res.foo)
} /*
以上代码执行结果如下:
here
here
here
200
*/
六.运行时反射
关于Scala高级类型还有很多，我这里就不一一列举啦，比如:复合类型,类型别名,类型投影,单例类型等等。对了，关于反射的笔记请参考：https://www.cnblogs.com/yinzhengjie/p/9385123.html