Java協方差

Question

我很難弄清楚這一點。假設我有以下代碼：

class Animal { } 
class Mammal extends Animal { } 
class Giraffe extends Mammal { } 
... 
public static List<? extends Mammal> getMammals() { return ...; } 
... 

public static void main(String[] args) { 
    List<Mammal> mammals = getMammals(); // compilation error 
} 

爲什麼賦值會導致編譯錯誤？該錯誤是一樣的東西：

Type mismatch: cannot convert from List<capture#4-of ? extends Mammal> to List<Mammal> 

根據我的協方差的理解，getMammals()方法返回一個list將始終包含Mammal對象，所以它應該是分配。我錯過了什麼？

Answer 1

因爲getMammals可以返回List<Giraffe>，如果這是可轉換到List<Mammal>那麼你可以一個Zebra添加到它。您不能將Zebra添加到Giraffe的列表中，可以嗎？

class Zebra extends Mammal { } 

List<Giraffe> giraffes = new List<Giraffe>(); 

List<Mammal> mammals = giraffes; // not allowed 

mammals.add(new Zebra()); // would add a Zebra to a list of Giraffes 

Answer 2

那麼，它不工作就像那樣不幸。

當你聲明getMammals（）返回List<? extends Mammal>這意味着它可以返回List<Mammal>或List<Giraffe>但不List<Animal>

此致主（）應該是這樣的：

public static void main(String[] args) { 
    List<? extends Mammal> mammals = getMammals(); 
    Mammal mammal = mammals.get(0); 
} 

編輯：關於協方差，這是通常意思是：

class Animal { 
    public Animal getAnimal() {return this;} 
} 

class Mammal extends Animal { 
    public Mammal getAnimal() {return this;} 
} 

class Giraffe extends Mammal { 
    public Giraffe getAnimal() {return this;} 
} 

正如你所看到的，它允許超載retu當您重寫該方法時的方法類型。