存在类型
形式： forSome { type ... } 或 forSome { val ... } 主要为了兼容 Java 的通配符 示例
Array[_]
// 等价于
Array[T] forSome { type T}
Map[_, _]
// 等价于
Map[T, U] forSome { type T; type U <: T}
类型系统
类型语法Class/Traitclass C, trait T元组(T1, T2...)函数(P1, P2...) => T注解T @A参数类型A[T1, T2...]单例类型value.type类型投射O#I组合类型T1 with T2 ...中缀类型T1 A T2存在类型T forSome { type/val... }
以上类型可在编写程序时定义，Scala 也有少量的类型在编译器内部使用
def square(x: Int) = x * x
// REPL 中返回的类型为
// square(x: Int) Int
// 省略的方法定义的 =>
自身类型 self type
形式：this: Type => 用于限制 trait 只能被混编于指定类型的子类中
trait T1 { def m1()}
trait T2 extends T1 {
this: Super1 with Super2 =>
def m1() { methodInSuper() }
}
// 使用时只能在 Super1,Super2 的子类中混编 with T2
引入的问题：自身类型不会自动继承，必须在子类中重复定义
trait T3 extends T2 {
this: Super1 with Super2 => // 必须重复定义
}
依赖注入
通过 trait 和 自身类型 实现简单的以来注入
需要将所有的依赖都组合起来
trait Logger { def log(msg: String) }
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")
蛋糕模式 (cake pattern) 实现依赖注入
依赖的组件使用自身类型来表示 trait 描述服务接口 val 定义需要实例化的服务 层级化组合各个组件，在一个整体中注入需要的组件
// 定义组件1
trait LoggerComponent {
// 描述接口
trait Logger { ... }
// 需要实例化的服务
val logger: Logger
// 接口具体实现
class FileLogger(file: String) extends Logger { ... }
...
}
// 定义组件2
trait AuthComponent {
// 自身类型限定混编使用的类型
this: LoggerComponent => // Gives access to logger
// 定义服务接口
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("users.txt")
}
Scala编程的蛋糕模式和依赖注入
抽象类型
形式： type Name 在 class 或 trait 中定义 场景：具体类型需要在子类中确定
trait Reader {
type Contents
def read(fileName: String): Contents
}
// 子类实现是具体确定类型
class StringReader extends Reader {
type Contents = String
def read(fileName: String) = ...
}
class ImageReader extends Reader {
type Contents = BufferedImage
def read(fileName: String) = ...
}
抽象类型、类型参数的使用选择
在类实例化时需要具体确认类型的场景使用类型参数，如 HashMap[String, Int] 期望子类提供具体类型的场景使用抽象类型，如上例中的 Reader
------------
