scala - 使用单例类型理解 `apply` 和 `unapply`

Question

鉴于:

import shapeless._
import syntax.singleton._

case class Foo(a: String, one: Witness.`1`.T)

为什么要 Foo.apply _和 Foo.unapply _有不同的签名，即 Int(1)与 Int ， 分别？

scala> Foo.apply _
res5: (String, Int(1)) => Foo = <function2>

scala> Foo.unapply _
res6: Foo => Option[(String, Int)] = <function1>

Answer 1

据我所知，在 scala.tools.nsc.typechecker.Namers (编译器代码)，apply以前由 completerOf 生成和 caseApplyMethodCompleter , 而 unapply曾经来自 completerOf .这个和可能的其他因素，可能是一些微妙的错误，导致 unapply丢失类型信息。 This change稍微重构代码并导致两种方法都通过新的 applyUnapplyMethodCompleter ，修复它。由于似乎没有关于这个问题的任何票证，真正的原因需要一些额外的挖掘。假设这不是预期的行为可能是安全的。