Scala 有一个自身类型(self-type) 的东西,由来已久,居然今天才发现。如果一个类或 trait 指明了 self-type 类型(包括类和特质),它的子类型或是对象也必须是相应的类型。它产生的效果与继承(或 mixin) 颇有几分相似。self-type 的语法是 this 的别名: 某一类型(class 或 trait)
, 直接看一个例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
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
的话则可以这么用 阅读全文 >>