scala - 为什么要通过@uV 禁用方差检查？

Question

这个问题在这里已经有了答案:





When is @uncheckedVariance needed in Scala, and why is it used in GenericTraversableTemplate?

(3 个回答)


8年前关闭。




我偶然发现了以下方法定义 to由 TraversableLike 定义(2.10.0):

override def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, A, Col[A @uV]]): Col[A @uV] = {
  val b = cbf()
  b.sizeHint(this)
  b ++= thisCollection
  b.result
}

根据 this answer , @uV禁用差异检查。这听起来很危险。我为什么要这样做？

Answer 1

我想答案与这个问题的答案非常相似:When is @uncheckedVariance needed in Scala, and why is it used in GenericTraversableTemplate?

由于构建器(隐式参数 cbf )存在于不可变(可能是协变)和可变(不变)集合中，这里可能使用注释来制作 to方法适用于两种类型的集合。