Question

假设我在特征中定义了一些类型，它应该实现一些类型类（如仿函数）：

import cats.Functor
import cats.syntax.functor.toFunctorOps

trait Library {
  type T[+A]
  implicit val isFunctor: Functor[T]
}

现在，我想使用这个库。以下工作正常：

trait LibraryUser {

  val l: Library
  import l._

  def use: T[Boolean] = {
    val t: T[Int] = ???
    t.map(_ => true)
  }
}

但是当在带有参数的方法中使用它时，隐式的导入不起作用（输出的注释行不能编译），你必须为自己编写隐式代码：

object LibraryUser1 {
  def use(l: Library): l.T[Boolean] = {
    import l._

    val t: T[Int] = ???
    //t.map(_ => true)
    toFunctorOps(t)(isFunctor).map(_ => true)
  }
}

为什么会出现这种情况/可以采取什么措施。

Answer 1

此前已将其作为错误提交，具体为SI-9625。隐含与路径相关的值并返回更高级别的类型无法解析。以下是使用标准库的简化示例：

trait TC[F[_]]

trait Foo {
    type T[A]
    implicit val ta: TC[T]
}

object Bar {
    def use(foo: Foo) = {
        import foo._
        implicitly[TC[T]] // fails to resolve, but `implicitly[TC[T]](ta)` is fine
    }
}

可悲的是，即使最明显的隐含使用也失败了：

object Bar {
    def use(foo: Foo) = {
        implicit val ta: TC[foo.T] = null
        implicitly[TC[foo.T]] // nope!
    }
}

为什么implicits不会在此类型依赖路径场景中触发

1 个答案: