Generics und Subtyping

List<String> ls = new ArrayList<String>();
List<Object> lo = ls; // ??

lo.add (new Object ());
String s = ls.get (0); // !!

D. h., die Annahme

S extends T => G<S> extends G<T>

führt zu Typfehlern.

Es gilt nicht List<String> extends List<Object>.



Johannes Waldmann 2004-11-30