為什么這個示例不編譯，也就是(協、對、內)方差是如何工作的？從這個問題，有人能用Scala解釋一下以下情況嗎？class Slot[+T] (var some: T) {
// DOES NOT COMPILE
// "COVARIANT parameter in CONTRAVARIANT position"}我明白+T和T在類型聲明中(如果我使用T)。但是，如何編寫一個類，該類在其類型參數中是協變的，而不訴諸于創建非參數化？如何確保只能使用T?class Slot[+T] (var some: Object){
def get() = { some.asInstanceOf[T] }}編輯-現在將其歸結為以下幾點：abstract class _Slot[+T, V <: T] (var some: V) {
def getT() = { some }}這一切都很好，但我現在有兩個類型參數，其中我只想要一個。因此，我將再次提出這個問題：我怎么寫不變 Slot類，即協變它的類型？編輯2哦！我用var而不是val..以下是我想要的：class Slot[+T] (val some: T) { }
3 回答
慕勒3428872
TA貢獻1848條經驗 獲得超6個贊
trait List[+A]
List[Int]List[AnyVal]IntAnyValList[Int]List[AnyVal]
Object[] arr = new Integer[1];arr[0] = "Hello, there!";
StringInteger[]ArrayStoreExceptionArray[A][+A]).
trait Function1[-P, +R] {
def apply(p: P): R}PFunction1PR
T1' <: T1 T2 <: T2'---------------------------------------- S-FunFunction1[T1, T2] <: Function1[T1', T2']
T1'T1T2T2'
函數 A是另一個函數的子類型。 B如果參數類型為 A的參數類型的超級類型。 B的返回類型 A的返回類型的子類型。 B.
trait List[+A] {
def cons(hd: A): List[A]}AconsAListAList[A]cons
AconsA
def cons[B >: A](v: B): List[B]
ABAAA
ListBListBA
白豬掌柜的
TA貢獻1893條經驗 獲得超10個贊
class Slot[+T](var some: T) {
def get: T = some
}
val slot: Slot[Dog] = new Slot[Dog](new Dog)
val slot2: Slot[Animal] = slot //because of co-variance
slot2.some = new Animal //legal as some is a var
slot.get ??slot.getAnimalDog
添加回答
舉報
0/150
提交
取消