scala - 类型类和带有单例类型/案例对象的隐式

Question

我正在尝试实现一个使用案例对象而不是类的类型类。有点管用。 但是，当我将案例对象本身传递给它起作用的函数时，当我尝试传递具有基本特征类型的对象时，它不会编译。

object Test {

  sealed trait MyType
  case object Type1 extends MyType
  case object Type2 extends MyType

  trait Builder[A] {
    def build: String
  }

  object Builder {
    implicit  val type1Builder: Builder[Type1.type] = new Builder[Type1.type] {
      def build: String = s"building1"
    }

    implicit val type2Builder: Builder[Type2.type] = new Builder[Type2.type] {
      def build: String = s"building2"
    }

    def build[A](a: A)(implicit builder: Builder[A]) = builder.build
  }

  import Builder._

  // Compiles
  def test[T <: MyType](t:Type2.type): Unit = {
    println(Builder.build(t))
  }
  // Doesn't compile - 'could not find implicit value for parameter builder ' 
  def test2[T <: MyType](t:MyType): Unit = {
    println(Builder.build(t))
  }
}

Answer 1

那是因为scala中的类型参数默认是Invariant的，这意味着:

Builder[Type1.type] 不是 Builder[MyType] 的子类型。

在这段代码中，您需要一个 Builder[MyType]，并且 type1Builder 和 type2Builder 都不是 Builder[MyType] 的子类型:

def test[T <: MyType](t:MyType): Unit = {
    println(Builder.build(t))
}

您可以使 Builder 的类型参数协变 (Builder[+A])，但是 type1Builder 和 type2Builder 都将成为该隐式的候选者，因此它会再次失败。

您需要做的是在测试方法中使用上下文绑定(bind)，而不是类型上限，如下所示:

def test[T : Builder](t: T): Unit = {
   println(Builder.build(t))
}

这意味着测试接收到一个T类型，它是Builder类型类的成员，Type1和Type2都是Builder类型类的成员，因为有一个Builder[Type1.type]和一个Builder[Type2.type]隐式范围。

如果您还想限制测试，以便您只能使用 MyType 的实现来调用它，您可以同时使用上限类型绑定(bind)和上下文绑定(bind):

def test[T <: MyType : Builder](t: T): Unit = {
    println(Builder.build(t))
}


test(Type1) // building1
test(Type2) // building2