Scala 中的类型类模式不考虑继承？

Question

在某些情况下，我正在使用类型类设计 API，但是我遇到了隐式解析的问题。如下所示，如果存在 A 类型的隐式对象，但将 B extends A 类型的对象传递给该方法，则无法找到隐式对象。有没有办法做到这一点，或者调用者是否必须将隐式对象放入每个子类的范围内？

这是一个示例：

class A
class B extends A

class T[+X]

object T {
  implicit object TA extends T[A]
}

def call[X:T](x:X) = println(x)

// compiles
call(new A)
// doesn't compile
call(new B)

var a = new A
// compiles
call(a)

a = new B
// compiles
call(a)

val b = new B
// doesn't compile
call(b)

编译失败，输出如下：

/private/tmp/tc.scala:16: error: could not find implicit value for evidence parameter of type this.T[this.B]
call(new B)
    ^
/private/tmp/tc.scala:28: error: could not find implicit value for evidence parameter of type this.T[this.B]
call(b)

Answer 1

调用call(new B)意味着call[B](new B)(tB)，使得tb是T[B]类型或其子类。 （需要 T 类型参数的方法只能需要 T 或 T 的子类，例如，不能使用 Any 类型参数调用 def foo(s: String)） 。 T[A] 不是 T[B] 的子类型

要修复此问题，您可以将 T 更改为定义 T[-X]。这意味着编译器将认为 T[A] 是 T[B] 的子类型

Answer 2

以下工作正常：

scala> def call[X](x: X)(implicit evidence: T[X]<:<T[X])  = println(x)
call: [X](x: X)(implicit evidence: <:<[T[X],T[X]])Unit

scala> call(new A)
line0$object$iw$iw$A@1d869b2

scala> call(new B)
line2$object$iw$iw$B@b3a5d1

scala> val b = new B
b: B = B@30e4a7

scala> call(b)
line2$object$iw$iw$B@30e4a7

在您的情况下，编译失败，因为 def call[X:T](x:X) = println(x) 被视为 call: [X](x: X)(隐式证据$1: T[X])单位。为了传递子类型，您可以使用广义类型约束。

Answer 3

试试这个：

object T {
  implicit def TA[X <: A] = new T[X]
}

import T._

或者简单地：

implicit def TA[X <: A] = new T[X]