假设:
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>
答案 0 :(得分:6)
据我所知,在scala.tools.nsc.typechecker.Namers
(编译器代码)中,apply
使用由completerOf
和 caseApplyMethodCompleter
,而unapply
使用仅来自completerOf
。这个以及可能的其他因素,可能是一些微妙的错误,会导致unapply
丢失类型信息。 This change稍微重构代码并导致两个方法都通过新的applyUnapplyMethodCompleter
,这会修复它。由于在这个问题上似乎没有任何票证,真正的原因将需要一些额外的挖掘。假设这不是预期的行为,可能是安全的。