scala – 为什么null.asInstanceOf []失败？

import scala.util.continuations._
object NullCPS extends App {
  def f[A,C] = shiftUnit[A,C,C](null.asInstanceOf[A])
  println(reset{"got " + f[Object,String]})  // prints: got null
  println(reset{"got " + f[Int,String]})     // got 0
  println(reset{"got " + f[Boolean,String]}) // got false   
}

shitUnit [A,B,C]是来自continuations package的库方法,它使用类型A的值来创建一个简单的ControlContext [A,C],期望由A =>类型的继续k使用返回类型C的结果

在上面的例子“got”f [Object,String]中,continuation插件进一步用(x：Object)=>组成了普通的null值. “得到”x功能.

继续到context of the question,我看不出Defaultable [T]如何代表T @ cps [U],因为它只有一个类型参数.但是如果你增强了违约：

import scala.util.continuations._
trait DefCPS[A,C] { def default: A@cps[C] }
object NullCPS extends App {
  implicit def defaultCPS[A,C] = new DefCPS[A,C] {
    def default: A@cps[C] = shiftUnit[A,C](null.asInstanceOf[A])
  }
  println(reset{"got " + implicitly[DefCPS[Object,String]].default})
  println(reset{"got " + implicitly[DefCPS[Int,String]].default})
  println(reset{"got " + implicitly[DefCPS[Boolean,String]].default})
}
// prints got null
//        got 0
//        got false

注意：我必须使特性使用def而不是val,否则它将无法编译.我也试过实现A @ cpsParam [B,但是没能.