定义第三方类型类的实例，未找到隐式但显式工作正常

debugcn 发表于 Dev

迪伦

我正在使用Slick 的GetResult类型类，并希望使用 Shapeless 来派生GetResult[Option[(A, B, C...)]]

我想要的是：

给定一个隐式GetResult[Option[A]], GetResult[Option[B]], ...，
隐式生成一个GetResult[Option[(A, B, ...)]]

我试过的

trait CanGetOption[T] {
    def getOption: GetResult[Option[T]]
}
object CanGetOption {
    // convenience implicit resolver
    def apply[T](implicit canGetOption: CanGetOption[T]): CanGetOption[T] = canGetOption

    // base case: HNil
    implicit val getHNilOption: CanGetOption[HNil] = from(GetResult { _ => Some(HNil) })

    // recursion case: H :: Tail
    implicit def getHConsOption[H, Tail <: HList](
        implicit getHeadOption: GetResult[Option[H]], 
        canGetTailOption: CanGetOption[Tail]
    ): CanGetOption[H :: Tail] = from(GetResult[Option[H :: Tail]] { r =>
        val headOpt = getHeadOption(r)
        val tailOpt = canGetTailOption.getOption(r)
        for(head <- headOpt; tail <- tailOpt) yield head :: tail
    })

    // generic case: A, given a A <-> Repr conversion
    // I also tried moving this into a "LowPriorityImplicits" thing, just in case
    implicit def getGenericOption[A, Repr <: HList](
        implicit gen: Generic.Aux[A, Repr], 
        getReprOpt: CanGetOption[Repr]
    ): CanGetOption[A] = from(GetResult { r =>
        val reprOpt = getReprOpt.getOption(r)
        reprOpt.map(gen.from)
    })
}

implicit def resolveOptionGetter[T: CanGetOption]: GetResult[Option[T]] = 
    CanGetOption[T].getOption

问题：

当我导入上述内容时，resolveOptionGetter在搜索隐式时似乎没有考虑：

scala> implicitly[GetResult[Option[(Int, Int)]]]
<console>:19: error: could not find implicit value for parameter e: scala.slick.jdbc.GetResult[Option[(Int, Int)]]
       implicitly[GetResult[Option[(Int, Int)]]]
             ^

scala> resolveOptionGetter[(Int, Int)]
res1: scala.slick.jdbc.GetResult[Option[(Int, Int)]] = <function1>

为什么编译器resolveOptionGetter在隐式搜索中找不到？我能做些什么来帮助它？

米特罗·米廷

问题是它slick.jdbc.GetResult是协变的。如果它是不变的，类型将被正确推断并且隐式将被解析。

解决方法是slick.jdbc.GetResult使用自定义不变类型别名隐藏协变GetResult。删除导入slick.jdbc.GetResult并写入源文件

type GetResult[T] = slick.jdbc.GetResult[T]

object GetResult {
  def apply[T](implicit f: PositionedResult => T): GetResult[T] = slick.jdbc.GetResult.apply
}

现在implicitly[GetResult[Option[(Int, Int)]]]编译。在 Scala 2.12.7 + Shapeless 2.3.3 + Slick 3.2.3 中测试。

方差经常给隐式解析带来麻烦：

https://github.com/scala/bug/issues/10099

https://github.com/locationtech/geotrellis/issues/1292

具有协方差的隐式分辨率

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。