教材：快学Scala
chapter 18. 高级类型 Advanced Types
18.1 单例类型 Singleton Types
*what the fuck*
对于引用p，p.type是一个单例类型，值只能为p或者null
对于单例对象P，P.type是一个单例类型，值只能为P或者null
class MyPair[S, T](val first: S, val second: T)
val p = new MyPair(1, 2.0)
val pt: p.type = p // 值只能为p或者null
println(pt.first, pt.second) // (1,2.0) p和pt一模一样
object P { val first = 1; val second = 2 }
val Pt: P.type = P // 值只能为P或者null
println(P.first, P.second) // (1,2.0)
println(Pt.first, Pt.second) // (1,2.0) P和Pt一模一样
object Title // 单例对象
object Desc // 单例对象
class Document {
private var useNextArgAs: Any = null
private var title: String = null
private var desc: String = null
def set[T](obj: T): this.type = { useNextArgAs = obj; this } // this.type 类型用于有继承关系的链式调用
def to(arg: String) = useNextArgAs match { // useNextArgAs 匹配不同的单例类型
case tt: Title.type => title = arg
case dt: Desc.type => desc = arg
case _ => arg
}
def p = println("title = " + title + "desc = " + desc)
}
val book = new Document
book set Title to "Scala for the impatient" // "fluent interfaces"
book set Desc to "a book full of joy when reading"
book p
18.2 类型投影 Type Projections
嵌套类
class Network {
class Memeber {...}
...
}
val chatter = new Network
val myFace = new Network
每个Network实例的Member是不同的类，即chatter.Member和myface.Member是不同的类。
类型投影：Network#Member 表示"任何Network的Member"
18.4 类型别名 Type Aliases
-
类型别名
type Index = HashMap[String, (Int, Int)]
类型别名必须被嵌套在类或对象中，不能出现在Scala文件的顶层。
18.5 结构类型 Structural Types
- 描述一个变量必须有哪些抽象方法/字段/替他规格说明
def appendLines(target: {def append(str: String): Any}, ...) {...}
target可以为任何有append方法的实例，比定义一个Appendable特质要灵活，但是使用反射机制调用target.append，反射调用的开销要大得多(much more expensive) - 鸭子类型(duck typing)：结构类型与js中的鸭子类型很类似，即：obj不需要一定是Duck类的实例，运行时只要obj.quack()在被调用那一刻检查到有quack方法就能调用成功。
18.6 复合类型 Compound Types
T1 with T2 with T3 也叫交集类型
trait ImageShape extends Shape with Serializable 的意思是
trait ImageShape extends (Shape with Serializable)
18.7 中置类型 Infix Types
带有两个类型参数的类型T1 A T2
18.8 存在类型 Existential Types
为了与Java的类型通配符兼容
-
存在类型 类型表达式后面跟上forsome {...}
Array[_ <: JComponent]等价于Array[T] forsome { type T <: JComponent }
Array[_]等价于Array[T] forSome { type T }
Map[_, _]等价于Map[T, U] forSome { type T; type U }
18.9 方法类型 method type
Scala编译器内部使用的类型，方法类型表示为(T1, ..., Tn)T 不带=>
def square(x: Int) = x * x // 方法，类型为(x: Int)Int
val triple = (x: Int) => 3 * x // 函数，类型为Int => Int = <function1>
18.10 自身类型 Self Types
用于使trait可以要求混入它的类扩展自另一个实例
用法 this: 类型 =>
自身类型不会自动继承，在子类中需要重复自身类型的声明
