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

发布时间：2020-12-16 09:45:24 所属栏目：安全来源：网络整理

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

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?重叠了。如果声明为非? 
 ?的话则可以这么用? 
 阅读全文 >>


            
        	


                        （编辑：李大同）
【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!