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

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

上面 this: User => 中的 this 只是一个别名,可以是 self 或任何有效标识(如  abc: User),这里使用 this 等于未指定别名,与原本的 this 重叠了。如果声明为非 this 的话则可以这么用

this 永远都在,同时 abc 与 this 是完全一样的效果。


注(2018-02-14): 这个语法只是用作 this 别名的话,后面可以不用接类型,例如


如果在声明 VerifiedTweeter 类只是混入 Tweeter 特质会怎么样呢?以下两种声明都将产生同样的编译错误

 

如果 User 也是一个 trait,那么声明 VerifiedTweeter1 时可以同时混入 User, 即

由于前面 User 也是一个类,所以需要让 mixin Tweeter 的类继承自 User , 就是

self-type 可以指定多重类型,那么声明子类型或创建实例时也要符合多种类型

还有一种结构类型的 self-type, 更像是匿名类型的 self-type, 不是指定类型名而是类型必须实现的方法,例如

定义中声明了

 this: {def say: Unit} =>

要求在 Tweeter 中必须实现该方法,如

最后,注意一下 this: User => 这个语法后不能用大括号括起后续的代码

以上代码编译没有问题,但创建的 Tweeter 实例是看不到 tweet(...) 方法的。

链接:

  1. TOUR OF SCALA SELF-TYPE
  2. Self Type Annotation
  3. scala类型系统:9) this别名&自身类型

类别: Scala. 标签: . 阅读(96). 订阅评论. TrackBack.

Leave a Reply

avatar