在嵌套类型的伴随对象中查找隐式值

Question

我有一个特征 Outer 和一个成员 F，它是一个类型构造函数。我想为F 提供类型类实例，但不知何故，scalac 的隐式解析在某一时刻停止工作。

我尝试构建一个较小的最小示例，但我必须添加下面的所有内容以使错误出现。请注意倒数第二行仍然如何编译，正确地从sub 中的嵌套伴随对象中提取隐式。

但最后一行不再编译。另请注意，在倒数第二行中指定隐式方法时，它会编译。

谁能提供线索说明为什么会发生这种情况？

trait TC[F[_]]

trait Outer[N[_]] {
  trait F[_]
  object F {
    implicit val tcInst: TC[F] = new TC[F]{}
  }
}

case class Sub[N[_]]() extends Outer[N]

object Test{
  implicit val optionInst: TC[Option] = new TC[Option]{}

  val sub = Sub[Option]()
  val sub2 = Sub[sub.F]()

  implicitly[TC[sub.F]]                  //compiles
  implicitly[TC[sub2.F]](sub2.F.tcInst)  //compiles
  implicitly[TC[sub2.F]]                 //doesn't compile
}

最后一行产生以下错误：

Error:(22, 13) could not find implicit value for parameter e: test.novariance.TC[test.novariance.Test.sub2.F]
  implicitly[TC[sub2.F]]                 //doesn't compile
            ^
Error:(22, 13) not enough arguments for method implicitly: (implicit e: test.novariance.TC[test.novariance.Test.sub2.F])test.novariance.TC[test.novariance.Test.sub2.F].
Unspecified value parameter e.
  implicitly[TC[sub2.F]]                 //doesn't compile
            ^

Answer 1

我知道为什么你的隐式不能解决，所以我会试着解释为什么它不满足范围规则。

但我不清楚你的意图是什么，所以我无法提出解决方法。

一步一步：

1. 为了满足这个表达式implicitly[TC[sub2.F]]，编译器将搜索词法（周围）范围，然后搜索TC和sub2.F.type类型的同伴（如果有的话）（即对象的类型F嵌套在Outer)。
2. 在词法范围内只有TC[Option]，它与sub2.F.type 的类型不同。
3. 在伴随范围内，TC 没有伴随对象。 sub2.F 不是一个类，它是一个对象，所以它不能有一个伴生对象。

如果您要在Outer 中引用特征F，则需要类型投影 运算符#，例如sub2#F