带类型边界的逆变类型隐式解析失败问题问询

这确实是Scala类型系统与隐式解析交互后的预期行为，我们可以从类型变异性的本质和隐式推导的逻辑来拆解整个问题：

核心逻辑：逆变参数对隐式匹配的影响 #

先回顾你提到的逆变场景代码：

class X[U, -T <: U]
object X { implicit def genericX[U, T <: U]: X[U, T] = new X[U, T] }
implicitly[X[Any, Any]] // 编译通过
implicitly[X[String, String]] // 编译失败

当你调用implicitly[X[String, String]]时，编译器需要找到能匹配目标类型的隐式实例，但逆变参数-T改变了类型兼容的方向：

• 对于逆变参数T，X[U, T1]是X[U, T2]的子类当且仅当T2 <: T1（逆变是"父类兼容子类"的反向逻辑）。
• 隐式解析允许隐式实例的类型是目标类型的子类型，所以编译器会尝试寻找X[U, T]使得X[U, T] <:< X[String, String]。结合逆变规则，这要求String <: T，同时还要满足隐式方法的约束T <: U，且U需要匹配目标的String。
• 此时编译器会优先推导最宽泛的T来满足String <: T，也就是T=Any，但Any <: String不成立，无法满足T <: U的约束，因此找不到合法的隐式实例。

而implicitly[X[Any, Any]]能编译通过，是因为U=Any、T=Any恰好满足T <: U，同时逆变的类型兼容条件也完全成立。

固定U时为何正常工作？ #

看你给出的单参数逆变例子：

class X[-T <: String]
object X { implicit def genericX[T <: String]: X[T] = new X[T] }
implicitly[X[String]] // 编译通过

这里U被固定为String，隐式方法的约束是T <: String。目标类型是X[String]，结合逆变规则，X[T]要兼容X[String]需要String <: T。两个约束结合后，T只能是String，刚好匹配隐式方法的类型参数，因此能成功解析。

针对UPDATE1的补充说明 #

你更新的无上下界逆变代码：

class X[U, -T] // 无上下界的逆变T
object X { implicit def genericX[U, T](implicit ev: T <:< U): X[U, T] = new X[U, T] }
implicitly[X[AnyRef, AnyRef]] // 编译通过
def check[T](implicit ev: X[AnyRef, T]): Unit = {}
check[String] // 编译通过
check // 编译失败

这里的逻辑和之前一致：

• check[String]时，T被显式指定为String，编译器只需要验证String <:< AnyRef（成立），因此能找到对应的隐式实例。
• 而无参数的check调用中，T是未绑定的类型变量，编译器无法确定一个唯一的T满足T <:< AnyRef（所有AnyRef的子类都符合，但隐式解析需要明确的、唯一的实例），因此编译失败。

总结 #

这种行为完全符合Scala类型系统的设计：逆变参数改变了类型兼容的方向，而隐式解析会优先尝试最宽泛的类型匹配，当多个类型变量相互约束时，就会出现这种看似反直觉但逻辑严谨的结果。

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