Question

我似乎将隐式转换与通用隐式参数组合起来不起作用，如下面的示例2b所示：

object Test {

  case class Foo(i: Int)
  case class Bar(i: Int)
  case class Zip(i: Int)

  object Foo {
    // 1)
    implicit def toBar(foo: Foo)(implicit g: Int => Bar): Bar = g(foo.i)
    // 2)
    implicit def toT[T](foo: Foo)(implicit g: Int => T): T = g(foo.i)
  }

  // 1)
  implicit val b = (i: Int) => Bar(i)
  val bar: Bar = Foo(3)    

  // 2a)
  implicit val z = (i: Int) => Zip(i)
  val zip: Zip = Foo.toT(Foo(3))

  // 2b)
  val zip2: Zip = Foo(3)    // <- compiler error, implicit conversion not applied

}

有没有理论上的理由说明为什么这不起作用，或者它是否是实施的限制？

Answer 1

如果您运行以下简化版本的代码，那么它的价值是什么

case class Foo(i: Int)
case class Zip(i: Int)

implicit def toT[T](foo: Foo)(implicit g: Int => T): T = g(foo.i)

implicit val z = (i: Int) => Zip(i)

val zip2: Zip = Foo(3) // <- compiler error, implicit conversion not applied

使用-Yinfer-debug，您将获得lots of debug information（Scala 2.9.2）关于幕后发生的事情。我不熟悉Scala编译器内部，但以下两个输出片段可能暗示了这个问题。第一个是（要点的第51ff行）

[inferImplicit view] pt = this.Foo => this.Zip
Implicit search in Context(Main.$anon.zip2@ValDef scope=1100551785) {
  search    this.Foo => this.Zip
  target    $anon.this.Foo.apply(3)
  isView    true
  eligible  toT: [T](foo: this.Foo)(implicit g: Int => T)T
}

我将其解释为“我们正在寻找一个隐含的this.Foo => this.Zip，值得关注的候选人是toT: [T](foo: this.Foo)(implicit g: Int => T)T。此片段之后是输出，表明Scala然后尝试实例化T，但第81行最后说

inferMethodInstance, still undetermined: List(type T)

我的解释是，Scala以某种方式无法用T实例化Zip，这就是候选人最终被丢弃的原因。

也就是说，我没有看到你的代码存在理论上的问题，我认为这只是编译器的一个缺点。

使用泛型隐式参数进行隐式转换

1 个答案: