Question

假设我有一个简单的类型类，其实例会给我一些类型的值：

trait GiveMeJustA[X] { def apply(): X }

我有一些例子：

case class Foo(s: String)
case class Bar(i: Int)

implicit object GiveMeJustAFoo extends GiveMeJustA[Foo] {
  def apply() = Foo("foo")
}

implicit object GiveMeJustABar extends GiveMeJustA[Bar] {
  def apply() = Bar(13)
}

现在我有一个类似的（但不相关的）类型类，它做同样的事情，但在类型参数中是协变的：

trait GiveMeA[+X] { def apply(): X }

在其伴随对象中，我们告诉编译器如何从非协变类型类的实例创建实例：

object GiveMeA {
  implicit def fromGiveMeJustA[X](implicit giveMe: GiveMeJustA[X]): GiveMeA[X] =
    new GiveMeA[X] { def apply() = giveMe() }
}

现在我希望implicitly[GiveMeA[Foo]]能够很好地编译，因为只有一种方法可以获得GiveMeA[Foo]给出我们在这里的部分。但它没有（至少在2.10.4或2.11.2上没有）：

scala> implicitly[GiveMeA[Foo]]
<console>:16: this.GiveMeA.fromGiveMeJustA is not a valid implicit value for GiveMeA[Foo] because:
hasMatchingSymbol reported error: ambiguous implicit values:
 both object GiveMeJustAFoo of type GiveMeJustAFoo.type
 and object GiveMeJustABar of type GiveMeJustABar.type
 match expected type GiveMeJustA[X]
              implicitly[GiveMeA[Foo]]
                        ^
<console>:16: error: could not find implicit value for parameter e: GiveMeA[Foo]
              implicitly[GiveMeA[Foo]]
                        ^

如果我们摆脱了不相关的GiveMeJustA实例，它就可以了：

scala> implicit def GiveMeJustABar: List[Long] = ???
GiveMeJustABar: List[Long]

scala> implicitly[GiveMeA[Foo]]
res1: GiveMeA[Foo] = GiveMeA$$anon$1@2a4f2dcc

尽管我们无法将GiveMeA.fromGiveMeJustA应用于此实例以获取GiveMeA[Foo]（或GiveMeA[Foo]的任何子类型），但事实并非如此。< / p>

这对我来说似乎是一个错误，但我可能错过了一些东西。这有意义吗？有合理的解决方法吗？

Answer 1

我不明白它的工作原理，但下面的代码在当前情况下成功解析隐式（至少在scala v-2.10.1上）。但是，这仍然无法解释为什么您的示例首先不起作用：

我们更改隐式GiveMeA[X]实例以搜索隐式GiveMeJustA实例，其中type参数由X向上限定，因此它会搜索GiveMeJustA[_ <: X]

object GiveMeA {
  implicit def fromGiveMeJustA[X](implicit giveMe: GiveMeJustA[_ <: X]) : GiveMeA[X] =
    new GiveMeA[X] { def apply() = giveMe() }
}

然后我们可以打印出预期的输出

val a = implicitly[GiveMeA[Foo]]
println(a()) // prints "Foo(foo)"

但是，只要我们引入一个新的子类

case class FooChild(s: String) extends Foo(s)

和相应的GiveMeJustA类型类实例

implicit object GiveMeJustAFooChild extends GiveMeJustA[FooChild] {
    def apply() = FooChild("fooChild")
}

编译器抱怨（如预期的那样）

error: could not find implicit value for parameter e: GiveMeA[Foo]
    val a = implicitly[GiveMeA[Foo]]

从非协变类的实例创建协变类型类的实例

1 个答案: