t0528.scala

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

trait Sequ[A] {
  def toArray: Array[T forSome {type T <: A}]
}

class RichStr extends Sequ[Char] {
  // override to a primitve array
  def toArray: Array[Char] = Array('0', '1', '2', '3', '4', '5', '6', '7', '8', '9')
}

object Test extends Application {
  val x: RichStr = new RichStr

  println((x: Sequ[Char]).toArray) // calling through the bridge misses unboxing
}