不能将 PartFunction 放在 scala 类构造函数中

Question

似乎

有一个限制，你不能在类构造函数中使用PartialFunction文字：

scala> case class X(a: PartialFunction[Any, Any]) { def this() = this({case x => x}) }
<console>:7: error: Implementation restriction: <$anon: Any => Any> requires premature access to class X.
   case class X(a: PartialFunction[Any, Any]) { def this() = this({ case x => x}) }

我的第一个问题是为什么偏函数文字需要访问"this"。我的第二个问题/观察是，在 Scala REPL 中，再次运行相同的代码会使 REPL 崩溃：

scala> case class X(a: PartialFunction[Any, Any]) { def this() = this({ case x => x}) }
java.lang.NullPointerException
    at scala.tools.nsc.Global$Run.compileLate(Global.scala:1595)
    at scala.tools.nsc.GlobalSymbolLoaders.compileLate(GlobalSymbolLoaders.scala:29)
    at scala.tools.nsc.symtab.SymbolLoaders$SourcefileLoader.doComplete(SymbolLoaders.scala:369)
    ...

最后，这个问题有很好的解决方法吗？

Answer 1

您的第一个问题在此问题的评论部分得到解答

引用 Imm：

匿名类可以访问其封闭类。编译器不知道您的匿名分部函数实际上并不访问任何内容（并且很难完全笼统地检查这一点）;它只是不允许创建任何匿名类，直到您进入正确的类。

为什么它使 REPL 崩溃是一个很好的问题，您可能应该使用此代码示例向 Typesafe 提交票证。

解决方法非常简单，只需在类外部定义匿名函数，以便编译器知道您要关闭的确切状态：

object X {
  val Default: PartialFunction[Any, Any] = { case x => x }
}
case class X(a: PartialFunction[Any, Any]) {
  def this() = this(X.Default)
}

Answer 2

您的第一个问题在本问题的评论部分得到解答。

问题是编译器的限制性太强，因为它不知道如何将内容从构造函数参数块中取出。

解决方法在另一个答案中给出，这是编译器应该对其他东西做的事情。

另一种解决方法是手动构造：

case class X(a: PartialFunction[Any, Any]) { def this() = this({
    class $anonfun extends runtime.AbstractPartialFunction[Any, Any] {
      override def applyOrElse[A, B >: Any](x: A, default: A => B): B = x match {
        case x => x
        //case _ => default(x) // completeness
      }
      override def isDefinedAt(x: Any) = x match {
        case x => true
        //case _ => false
      }
    }
    new $anonfun()
  })
}

第二个问题的答案是它是SI-9170，固定在2.11.7。