第58讲：Scala中Abstract Types实战详解

package com.parllay.scala.type_parameterizitor

import scala.io.{Source, BufferedSource}

/**
 * Created by richard on 15-8-17.
 * 第58讲：Scala中Abstract Types实战详解
 */

/**
 * scala里的类型，除了在定义class,trait,object时会产生类型，
 * 还可以通过type关键字来声明类型。

type相当于声明一个类型别名：

scala> type S = String
defined type alias S
上面把String类型用S代替，通常type用于声明某种复杂类型，或用于定义一个抽象类型。

场景1 用于声明一些复杂类型，比如下面声明一个结构类型

scala> type T = Serializable {
 |          type X
 |          def foo():Unit
 |     }
defined type alias T
这个结构类型内部也允许通过type来定义类型，这里对X没有赋值表示X是一个抽象类型，
需要子类型在实现时提供X具体的类型。下面是一个T类型的具体实例：

scala> object A extends Serializable{ type X=String; def foo(){} }

scala> typeOf[A.type] <:< typeOf[T]
res19: Boolean = true
场景2 用于抽象类型

scala> trait A { type T ; def foo(i:T) = print(i) }

scala> class B extends A { type T = Int }

scala> val b = new B

scala> b.foo(200)
200

scala> class C extends A { type T = String }

scala> val c = new C

scala> c.foo("hello")
hello
 */
trait Reader{
  type In <: java.io.Serializable
  type Contents
  def read(in: In): Contents
}

class FileReader extends Reader {
  type In = String
  type Contents = BufferedSource
  override  def read(name : In) = Source.fromFile(name)
}
object Abstract_Type {

  def main(args: Array[String]) {
    val fileReader = new FileReader
    val content = fileReader.read("path")
  }

}