Scala学习十八——高级类型

一.本章要点

单例类型可用于方法串接和带对象参数的方法　　
类型投影对所有外部类的对象都包含了其他内部类的实例
类型别名给类型指定一个短小的名称
结构类型等效于”鸭子类型“
存在类型为泛型的通配参数提供了统一形式
使用自身类型来表明某特质对混入它的类或对象的类型要求
”蛋糕模式“用自身类型来实现依赖注入
抽象类型必须在子类中具体化
高等类型带有本身参数化类型的类型参数

二.单例类型

　　给定任何引用v，可以得到类型.type，可能的两个值：v和null。例：

//通过this返回自身串接

class Document{

def setTitle(title:String)={...;this}

def serAuthor(author:String)={...;this}

...

}

article.setTile("...").setAuthor("...")

//有子类

class Book extends Document{

def addChapter(chapter:String)={...;this}

}

val book=new Book()

book.setTile("...").addChapter("...")//setTitle返回类型推断为Document，没有addChapter方法

//解决（需要this.type）

def setTitle(title:String):this.type={...;this}

三.类型投影

　　像这样，嵌套类从属于包含它的外部对象，每个Metwork实例都有自己的Member类（是不同的，不能将成员相互添加），不想要这个约束可以是放在伴生对象。

　　如果不是所有地方都使用”每个对象自己的内部类“，可以使用类型投影，Network#Member。。。

四.路径

　　定位一个类等的位置。路径的组成必须是”稳定的“，必须指定单个，有穷的范围，组成部分是（包，对象，val，[this、super、super[S]、C.this、C.super[S]]）中的一种，路径组成部分不能是类。

　　注：路径组成部分不能是类（嵌套的内部类型并不是单个类型）;

　　　　在内部，编译器将嵌套的表达式a.b.c.T翻译称类型投影a.b.c.type#T。。。　　　　　　

五.类型别名

　　对于复杂类型，可以用type关键字创建一个简单的别名。例：

class Book{

import scala.collection.mutable._

//可以直接用Book.Index而不是scala.collection.mutable.HashMap[String,(Int.Int)]

type Index=HashMap[String,(Int,Int)]

}

　　注：类型别名必须被嵌套在类或对象中，不能呢个出现在Scala文件顶层（在REPL中可以，REPL中的内容都隐藏在一个顶层对象中）

六.结构类型（类似于鸭子类型）

　　指的是一组关于抽象方法，字段和类型规格说明（必须的）。

　　任何具备append方法的类的实例调用appendLines方法，比定义一个特质更灵活（可能不能够总是将特质添加到类上），结构类型实际是Scala利用反射调用target.append(...)，反射比常规方法调用开销大得多（对无法共享一个特质的类的共通行为才使用结构类型）。

七.复合类型

　　定义形式为T1 with T2 with T3...，其中T1,T2等都是类型，要想成为该复合类型的实例，必须满足每一个类型（称为交集类型）。

八.中置类型

　　中置类型是一个带有两个类型参数的类型，以”中置“表示，类型名称写在两个类型参数中间。，如String Map Int而不是Map[String,Int]，又如type x(A,B）=(A,B)。。。

九.存在类型

　　存在类型是为了与Java的类型通配符兼容，在类型表达式后跟forSome{...}，花括号包含了type和val声明，如：Array[T] forSome{type T<:JComponent}。。。

十.Scala类型系统

十一.自身类型

　　通过this:类型=>限制这样的特质只能混入给定类型的子类当中。

十二.依赖注入

　　通过组件构建大型系统时，每个组件都有不同的实现，需要将组件的不同选择组装起来。

　　组件之间存在某种依赖关系，在Scala中，通过特质和自身类型达到一个简单的依赖注入的效果。

　　使用蛋糕模式，为每个服务都提供一个组件特质：

十三.抽象类型

　　类和特质可以定义在一个子类中被具体化的抽象模型，例：

　　比较：

　　　　如果类型是在类被实例化时给出，则使用类型参数。比如构造HashMap[String,Int];

　　　　如果类型是在子类中给出的，则使用抽象类型。

十四.家族多态

　　对跟着一起变化的类型家族建模，同时共用代码，并保持线程安全。。。

十五.高等类型

　　泛型List依赖于类型T并产出一个特定的类型，像List这样的泛型叫类型构造器，在Scala中，可以更上一层，定义依赖于依赖其他类型的类型的类型。

十六.练习