Scala 2.13泛型类型投影隐式转换失效原因及相关规则问询

你给出的最简可复现代码如下：

import scala.language.implicitConversions

trait Base {
  type V
  def v: V
}

case class Derived(v: Int) extends Base {
  type V = Int
}


object TestImplicitConversion {
  implicit def getV[T <: Base](a: T): T#V = a.v

  val a: Int = Derived(5) // 编译失败
  // 显式调用可正常编译：val a: Int = getV(Derived(5))
}

你调整后可正常触发隐式转换的写法如下：

implicit def getV2[T <: Base, S](a: T)(implicit constraint: T#V =:= S): S = constraint(a.v)

这是Scala编译器隐式搜索阶段的类型匹配规则和路径依赖类型的推断时机共同导致的：

1. 隐式转换（隐式视图）触发的前提是：编译器需要在隐式搜索阶段，直接确认当前隐式方法的输入类型匹配待转换值的类型，且输出类型匹配上下文要求的目标类型，不会在这个阶段额外做路径依赖类型的展开推导。
2. 原getV方法的返回值是类型投影T#V，属于抽象的路径依赖类型。当编译器匹配到该方法时，虽然可以通过输入值Derived推断出T=Derived，但在隐式搜索阶段不会主动展开Derived#V得到具体的Int类型，只会将T#V判定为和Int无关的抽象类型，因此直接跳过该隐式转换。
3. 显式调用getV时，编译器已经明确要调用该方法，会进入方法调用的专属类型检查阶段，此时会主动展开Derived#V得到Int，和目标类型匹配通过，因此可以正常编译。

你新增的第二个泛型参数和=:=隐式约束，相当于把类型匹配的逻辑适配了隐式搜索的规则：

1. 编译器匹配到getV2时，首先通过上下文的目标类型直接推断出S=Int，同时通过输入值推断出T=Derived。
2. 接下来编译器会按照隐式参数的搜索规则，查找是否存在Derived#V =:= Int的隐式证据：Scala编译器会自动为确定的路径依赖类型生成对应的=:=实例，因此能搜索到符合要求的约束证据。
3. 所有类型参数和隐式参数都匹配完成后，编译器判定该隐式转换符合要求，正常触发转换。

对应Scala 2.13 规范的两条核心规则：

• 第7.3节 隐式视图规则：隐式视图的输入输出类型必须在隐式搜索阶段可直接确定匹配，类型投影等依赖类型的展开推导不属于隐式搜索阶段的处理范围。
• 第7.2.3节 类型约束规则：=:= 等类型约束的隐式实例由编译器自动生成，且会在隐式方法的匹配校验阶段优先完成约束验证，通过后即可判定隐式方法符合匹配要求。

内容的提问来源于stack exchange，提问作者emilejby