t0209.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 18 行

abstract class A {
 def f(x : this.type) : B
}

class B extends A {
 override def f(x : this.type) : B = x
}

class C extends A {
 override def f(x : this.type) : B = null
}

object Program {
  def main(args : Array[String]) {
    (new B: A).f(new C)
  }
}