"illegal cyclic reference" 涉及隐式的解释

Question

在我的项目中，我有一个类型 A，用于几个地方的参数，我希望将一堆类型自动转换为该类型。我在 A 的伴随对象中使用一些隐式的类来实现它。我已经删除了触发问题所不需要的所有内容：

trait A
object A {
  implicit class SeqA[T](v: Seq[T])(implicit x: T => A) extends A
  implicit class IntA(v: Int) extends A
  implicit class TupleA(v: (Int, Int)) extends SeqA(Seq(v._1, v._2))
}

但是 scalac 拒绝此代码，因为 非法循环引用:

$ scalac -version
Scala compiler version 2.12.8 -- Copyright 2002-2018, LAMP/EPFL and Lightbend, Inc.
$ scalac A.scala 
A.scala:5: error: illegal cyclic reference involving class TupleA
  implicit class TupleA(v: (Int, Int)) extends SeqA(Seq(v._1, v._2))
                 ^
one error found

这里到底有什么问题？与涉及 非法循环 的 do/infer/resolve 绑定的编译器是什么？

有效实现这些隐含方法的奖励积分类。

Answer 1

您运行陷入 SI-9553，一个三年半前的编译器错误。

错误未被修复的部分原因可能部分是因为有一个非常简单的解决方法——只需在您要扩展的泛型 class 上放置一个显式类型参数：

trait A
object A {
  implicit class SeqA[T](v: Seq[T])(implicit x: T => A) extends A
  implicit class IntA(v: Int) extends A
  implicit class TupleA(v: (Int, Int)) extends SeqA[Int](Seq(v._1, v._2))
}

无论如何，这可能是个好主意，因为任何时候让类型参数在涉及隐式定义的地方被推断出来都是自找麻烦。

附带说明一下，您可以使用 -Xprint:typer 等编译器选项来调查此类问题。在这种情况下，它在 REPL 中显示以下内容：

// ...
implicit class TupleA extends $line6.$read.$iw.$iw.A.SeqA[Int] {
  <paramaccessor> private[this] val v: (Int, Int) = _;
  def <init>(v: (Int, Int)): $line6.$read.$iw.$iw.A.TupleA = {
    TupleA.super.<init>(scala.collection.Seq.apply[Int](v._1, v._2))({
      ((v: Int) => A.this.IntA(v))
    });
    ()
  }
};
implicit <synthetic> def <TupleA: error>(v: (Int, Int)): <error> = new TupleA(v)

在这种情况下，这并不是很有帮助，但它至少表明问题出在 TupleA 隐式 class 的合成转换方法的定义中，而不是在在那之前的某个时间点。

"illegal cyclic reference" 涉及隐式的解释

Explanation for "illegal cyclic reference" involving implicits

scala

implicit

cyclic-reference