【Scala类型系统】自身类型(self type)引用

定义

特质能够要求混入它的类扩展自还有一个类型，可是当使用自身类型（self type）的声明来定义特质时（this: ClassName =>）。这种特质仅仅能被混入给定类型的子类其中。

如果尝试将该特质混入不符合自身类型所要求的类时，就会报错。

从技术角度上看。自身类型是在类中提到this时，对于this的如果性类型。从有用角度上看，自身类型指定了对于特质能够混入的详细类的需求。如果你的特质仅用于混入还有一个或几个特质。那么能够指定那些如果性的特质。

自身类型在依赖注入的应用

在通过组件构建大型系统，而每一个组件都有不同的实现的时候。我们须要将组件的不同选择组装起来。

通常组件之间存在某种依赖关系，比方，数据訪问组件可能会依赖日志功能。

每一个组件都描写叙述了它所依赖的其它组件的接口，而对实际组件实现的引用是在应用程序被组件起来的时候“注入”的。

对于Scala来说，能够通过特质和自身类型达到简单的依赖注入的效果。

自身类型实现依赖注入

对于日志功能trait Logger {def log(msg: String)}，它有两个实现：ConsoleLogger和FileLogger。

用户认证特质有对日志功能的依赖，用于记录认证失败：

trait Auth {

  this: Logger =>

    def login(id: String, password: String): Boolean

}

应用逻辑依赖于上述两个特质，如此定义:

trait App {

  this: Logger with Auth =>

  ...

}

然后我们能够组装应用。object MyApp extends App with FileLogger("test.log") with MockAuth("users.txt")。这里将组件黏合成了一个大类型。

蛋糕模式实现组件配置设计

蛋糕模式能够给出更好的设计。对每一个服务都提供一个组件特质。

组件特质包括：

不论什么所依赖的组件，以自身类型表述

描写叙述服务接口的特质

抽象的val。该val将被初始化成服务的一个实例

能够有选择地包括服务接口的实现

trait LoggerComponent {

  trait Logger {...}

  val logger: Logger

  class FileLogger(file: String) extends Logger {...}

  ...

}

trait AuthComponent {

  this: LoggerComponent => //自身类型使得能够訪问日志器

  trait Auth {...}

  val auth: Auth

  class MockAuth(file: String) extends Auth {...}

  ...

}

这段代码中，我们使用自身类型表示认证组件对日志器组件的依赖。

通过在程序中进行组件配置能够让编译器帮助我们校验模块间的依赖关系：

object AppComponents extends LoggerComponent with AuthComponent {

  val logger = new FileLogger("test.log")

  val auth = new MockAuth("user.txt")

}

转载请注明作者Jason Ding及其出处

jasonding.top

Github博客主页(http://blog.jasonding.top/)

CSDN博客(http://blog.csdn.net/jasonding1354)

简书主页(http://www.jianshu.com/users/2bd9b48f6ea8/latest_articles)

Google搜索jasonding1354进入我的博客主页