如何初始化協變變量？

Question

class C [+T] { var v : T = _ }

編譯器錯誤：在值VALUE_的類型T逆變位置發生協變型T =

爲什麼呢？我如何解決它？

Answer 1

你不能有var的協變類型。 一個var等於有一個公衆def v_=(newV: T)，所以它使T顯示爲一個常規參數，這是一個逆變位置。所以，你必須要麼

• 宣佈放棄協方差，並宣佈C [T]，而不是C [+ T]
• 化妝VA VAL

要上的 「爲什麼」 的部分一點點更詳細的你的問題，通過使T是與T的協變參數，如果B是A的子類型，則表明你希望C [B]爲C [A]的子類型。這意味着您想要允許：

val cb: C[B] = new C[B] 
val ca : C[A] = cb  

爲了讓這聽起來，編譯器限制T可能出現在C中的位置。爲了簡化和簡化，v不能作爲例程的參數（或var的類型）出現。否則，您必須初始化CB和Ca描述後，你上面coulddo

ca.v = new A 

這是允許的，因爲ca應該是一個C[A]，所以它的可變v爲A類型。然而，由於C在T中是協變的，因此ca可能（並且在該示例中）引用C[B]實例。將這項任務被允許，你可以再做

val vInCb: B = cb.v 

信心，這給你一個乙。但是，您只需通過ca參考即可將A。這種情況必須被禁止，並且通過禁止協變類型參數T作爲var的類型。

Answer 2

你必須使它成爲val。 A var總是有一個setter方法，其中類型以逆變位置出現。

Answer 3

你可以把它聲明爲private[this]：

class C [+T] { private[this] var v : T = _ } 

你試試這個範圍不允許將是不安全與共變T任何使用。