scala – 用Singleton Type理解`apply`和`unapply`

发布时间：2020-12-16 08:57:52 所属栏目：安全来源：网络整理

导读：鉴于： 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 = function2scala Foo.unapply _res6

鉴于：

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>

解决方法

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!