Java Generics Kovarianz

Question

Ich habe Probleme, in dem folgenden Artikel zu verstehen: http://www.ibm.com/developerworks/java/library/j-jtp01255.html

Under,

Generics nicht

Der Autor stellt fest,

Weil kovariant sind ln ist eine Liste und fügt einehinzu 210 Float dazu scheint völlig legal. Aber wenn ln mit li aliased wurde, dann es würde bricht die Typsicherheit verspricht implizit in der Definition von li - , dass es sich um eine Liste von ganzen Zahlen ist, die Deshalb generische Typen nicht covariant sein können.

Ich kann den Teil nicht verstehen, wo es "wenn ln aliased mit li" heißt. Was bedeutet der Autor mit Alias? (Referenz?). Das Code-Snippet über der zitierten Zeile scheint zu verdeutlichen, WAS in Java illegal ist und nicht in WHY. Es wäre sehr hilfreich für mich, wenn jemand mit einem Beispiel erklären könnte. Vielen Dank im Voraus.

Answer 1

List<Integer> li = new ArrayList<Integer>(); 
List<Number> ln = li; // illegal 
ln.add(new Float(3.1415)); 

In Java erbt Integer von Number (java.lang.Number), so intuitiv, alles, was eine ganze Zahl ist (java.lang.Integer) ist auch eine Zahl, aber was dieser Artikel weist darauf hin, dass mit Generika es nicht so funktioniert, weil man bedenkt, dass Zum Beispiel könnten Sie einen Float (der eine Zahl ist) in eine List<Integer> setzen, was illegal ist, weil ein Float keine ganze Zahl ist.

Fazit: Generika sind nicht kovariant.

Hinweis: Ich empfehle Ihnen, lesen Effective Java (2nd Edition) Kapitel 5: Generics.

Answer 2

Wenn Sie so etwas tun könnte:

List<Float> foo; 
List<Object> bar; 

foo = new ArrayList<Float>(); 
bar = foo; 

foo.add(1.0f); 
bar.add("Hello"); 

Dinge wäre sehr schief gehen. In diesem Beispiel ist bar ein Alias ​​für foo, und wenn Sie dies tun könnten, würden Sie die Typsicherheit verlieren, die der Hauptgrund dafür ist, dass Generika existieren.

Answer 3

public class vechicle { 
void drive(){ 
} 
} 
class car extends vechicle{ 
     //Covariance 
    vechicle getObject(){ 
     return new car(); 
    } 
     //contravariance 
    car getmyObject(){ 
     return (car) new vechicle(); 
    } 
}