用单例类型理解‘`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丢失类型信息。这一变化稍微修改了代码，并导致两个方法都通过新的applyUnapplyMethodCompleter来修复它。由于在这个问题上似乎没有任何门票，真正的原因将需要一些额外的挖掘。这可能是安全的假设，这不是有意的行为。