Scala :参数中带有 Partial 函数的重载函数

Question

我在尝试使用部分函数重载函数时遇到了一个奇怪的问题：

class Foo {
  def bar(pf: PartialFunction[String, Int]): Foo = ???
  def bar(zd: Int): Foo = ???
  def zed(pf: PartialFunction[String, Int]): Foo = ???
}
...
new Foo()
  .bar (0)
  .zed { case _ => 1 } // this line is OK
  .bar { case _ => 1 } // This line does not compile

我已将此代码粘贴到REPL中，并得到一个奇怪的错误：

The argument types of an anonymous function must be fully known. (SLS 8.5)
Expected type was: ?
           .bar { case _ => 1 }
                ^

我已经在互联网上检查并找到了此错误的不同解释，但没有一个谈论过载。据我了解，PartialFunction 已扩展为匿名函数。所以在这种情况下，这将导致类似的东西：

object Test {
  new Foo()
    .bar (0)
    .zed { case _ => 1 }
    .bar { (x:String) => x match { case _ => 1 } }
}

但是一旦粘贴到 REPL 中，我就会收到另一个错误：

<console>:17: error: overloaded method value bar with alternatives:
  (zd: Int)Foo <and>
  (pf: PartialFunction[String,Int])Foo
 cannot be applied to (String => Int)
           .bar { (x:String) => x match { case _ => 1 } }
            ^

这很好，因为没有签名在参数中采用匿名函数。那么我错过了什么？我是否正确地扩展了部分功能？

感谢您的任何帮助！

编辑

我刚刚发现问题可能来自关于应该调用哪种方法的歧义：

object Test {
  new Foo()
    .bar (0)
    .zed { case _ => 1 }
    .bar(PartialFunction({case _ => 1})) // This works
}

其次，我在这里发现了一个有趣的类似问题

Answer 1

正如 retronym 在您链接的地方所说的那样，它不是一个部分函数，而是一个模式匹配匿名函数，根据预期，它可以是PartialFunction或Function，问题是它无法推断类型，因为出于重载目的对 arg 进行类型检查发生在没有"预期类型"的情况下。"形状"测试允许函数文字工作。

scala> object X { def f(i: Int) = ??? ; def f(g: Int => Int) = ??? }
defined object X
scala> X.f { case i => 2 * i }
<console>:13: error: missing parameter type for expanded function
The argument types of an anonymous function must be fully known. (SLS 8.5)
Expected type was: ?
       X.f { case i => 2 * i }
           ^
scala> X.f(i => 2 * i)
scala.NotImplementedError: an implementation is missing
  at scala.Predef$.$qmark$qmark$qmark(Predef.scala:230)
  at X$.f(<console>:11)
  ... 28 elided
scala> X.f({ case i => 2 * i }: Int => Int)
scala.NotImplementedError: an implementation is missing
  at scala.Predef$.$qmark$qmark$qmark(Predef.scala:230)
  at X$.f(<console>:11)
  ... 28 elided

Answer 2

这是这个问题的解释。编译器似乎无法解析与匿名函数匹配的类型或模式。仅仅因为它们的"形状"无法解决。换句话说，重载不能与分部函数一起使用。