Scala 範例程式 - 懶惰式運算法 (lazyEvaluation)

原始程式:lazyEvaluation.scala

object lazyLib {

  /** Delay the evaluation of an expression until it is needed. */
  def delay[A](value: => A): Susp[A] = new SuspImpl[A](value)

  /** Get the value of a delayed expression. */
  implicit def force[A](s: Susp[A]): A = s()

  /** 
   * Data type of suspended computations. (The name froms from ML.) 
   */
  abstract class Susp[+A] extends Function0[A]

  /** 
   * Implementation of suspended computations, separated from the 
   * abstract class so that the type parameter can be invariant. 
   */
  class SuspImpl[A](lazyValue: => A) extends Susp[A] {
    private var maybeValue: Option[A] = None

    override def apply() = maybeValue match {
      case None =>
        val value = lazyValue
        maybeValue = Some(value)
        value
      case Some(value) =>
        value
    }

    override def toString() = maybeValue match {
      case None => "Susp(?)"
      case Some(value) => "Susp(" + value + ")"
    }
  }
}

object lazyEvaluation {
  import lazyLib._

  def main(args: Array[String]) = {
    val s: Susp[Int] = delay { println("evaluating..."); 3 }

    println("s     = " + s)       // show that s is unevaluated
    println("s()   = " + s())     // evaluate s
    println("s     = " + s)       // show that the value is saved
    println("2 + s = " + (2 + s)) // implicit call to force()

    val sl = delay { Some(3) }
    val sl1: Susp[Some[Int]] = sl
    val sl2: Susp[Option[Int]] = sl1   // the type is covariant

    println("sl2   = " + sl2)
    println("sl2() = " + sl2())
    println("sl2   = " + sl2)
  }
}

執行結果:

D:\scala>scalac lazyEvaluation.scala

D:\scala>scala lazyEvaluation
s     = Susp(?)
evaluating...
s()   = 3
s     = Susp(3)
2 + s = 5
sl2   = Susp(?)
sl2() = Some(3)
sl2   = Susp(Some(3))
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License