16

假设我有一个简单的类型类，它的实例会给我某种类型的值：

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此实例来获取 a GiveMeA[Foo]（或 的任何子类型GiveMeA[Foo]）。

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

4

1 回答 1

2

我不明白它为什么起作用，但以下代码在当前情况下成功解决了隐式问题（至少在 scala v-2.10.1 上）。但是，这仍然不能解释为什么您的示例首先不起作用：

我们将隐式GiveMeA[X]实例更改为搜索GiveMeJustA类型参数向上由 界定的隐式实例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]]
于 2014-09-13T02:21:10.833 回答