Scala 自身类型(self-type) 解析

Scala 有一个自身类型(self-type) 的东西，由来已久，居然今天才发现。如果一个类或 trait 指明了 self-type 类型(包括类和特质)，它的子类型或是对象也必须是相应的类型。它产生的效果与继承(或 mixin) 颇有几分相似。self-type 的语法是 

this 的别名: 某一类型(class 或 trait)

, 直接看一个例子：class User(val name: String)

trait Tweeter {
this: User => //这个表示 Tweeter 本身也必须是一个 User，它的子类型必须想办法符合这一要求
def tweet(tweetText: String) = {
println(s"$name: $tweetText")
}
}

class VerifiedTweeter(val username: String)
extends User(username) with Tweeter { //Tweeter 要求这个类必须是一个 User, 所以需要继承自 User 类
}

val v = new VerifiedTweeter("Yanbin")
v.tweet("Hello")上面 

this: User =>

 中的 

this

 只是一个别名，可以是 

self

 或任何有效标识(如  

abc: User

)，这里使用 

this

 等于未指定别名，与原本的 this 重叠了。如果声明为非 

this

 的话则可以这么用 阅读全文 >>