scala对推断类型的"可接受的复杂性"有什么限制？

Question

根据Scala语言规范:

...允许局部类型推断限制[类型参数]的推断边界的复杂性.必须相对于可接受复杂性的类型集来理解类型的最小性和最大性.

在实践中有什么限制？

此外,是否有不同的限制适用于推断的表达式类型而不是参数类型边界,这些限制是什么？

Answer 1

在推断类型时,编译器通常需要计算类型列表的最小上限(LUB).例如,类型if (cond) e1 else e1为类型的LUB e1和e1.

这些类型可能会变得非常大,例如在REPL中尝试:

:type Map(1 -> (1 to 10), 2 -> (1 to 10).toList)
scala.collection.immutable.Map[Int,scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int] with Serializable{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def dropRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def takeRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def drop(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def take(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]}; def dropRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def dropRight(n: Int): scala.collection.immutable.Seq[Int]...

此提交引入了一些健全性检查以限制此类推断类型的深度.

最近有一些工作要插入到编译过程中以检测需要花费很长时间来计算的推断类型,并建议显式类型注释可能是谨慎的位置.