2

这是我之前发布的模糊隐式转换错误的一个更简单的版本

这是帖子中的代码片段如何在 Scala 中链接隐式？

class A(val n: Int)
class B(val m: Int, val n: Int)
class C(val m: Int, val n: Int, val o: Int) {
  def total = m + n + o
}

object T2 {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB[A1 <% A](a: A1): B = new B(a.n, a.n)
  implicit def bToC[B1 <% B](b: B1): C = new C(b.m, b.n, b.m + b.n)

  // works
  println(5.total)
  println(new A(5).total)
  println(new B(5, 5).total)
  println(new C(5, 5, 10).total)
}

现在，如果我如下添加一个类D和隐式dToC定义，我会在代码段中显示的位置出现错误。

class A(val n: Int)
class B(val m: Int, val n: Int)
class D(val m: Int, val n: Int) //Added by me
class C(val m: Int, val n: Int, val o: Int) {
    def total = m + n + o
}

object T2 {
  implicit def toA(n: Int): A = new A(n)
  implicit def aToB[A1 <% A](a: A1): B = new B(a.n, a.n)
  implicit def bToC[B1 <% B](b: B1): C = new C(b.m, b.n, b.m + b.n)
  implicit def dToC[D1 <% D](d: D1): C = new C(d.m, d.n, d.m + d.n)  //Added by me

  println(5.total) //Ambiguous implicit conversion error
  println(new A(5).total) //Ambiguous implicit conversion error
  println(new B(5, 5).total) //Ambiguous implicit conversion error
  println(new C(5, 5, 10).total) 
}

我不明白say 的转换函数bToC和可能的转换函数如何。dToCprintln(new B(5, 5).total)

4

2 回答 2

1

视图边界显然被转换为一个额外的隐式函数参数。所以两者都bToC被dToC翻译成[T](x: T)(implicit f: T => Something): C

问题是编译器忽略了歧义检查中隐式参数的存在/不存在。

case class Foo[A](value: A)
implicit def foo[A](x: A)(implicit ev: Any =:= String) = Foo(x)
implicit def bar[A](x: A)(implicit ev: Any =:= Int) = Foo(x)
1.value //Ambiguous though none are applicable
于 2012-07-30T14:00:29.983 回答
-1

(1) 整数=>A=>B=>C

(2) 整数=>A=>D=>C

可以选择2条路径，编译器不知道该走哪条路径，这就是为什么会引发模糊隐式转换错误的原因。

于 2012-07-30T08:39:20.497 回答