爲什麼會通過@uV禁用差異檢查？

Question

我剛絆倒方法的以下定義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方法適用於這兩種類型的集合。