Laut der
Definition sind diese beiden Listen aber kovariant.
Eben nicht. Dafür müssten alle Member der Klasse kovariant im Typparameter sein (dieser darf also nur als Rückgabetyp auftauchen), Add zum Beispiel ist aber kontravariant. Für typsichere Kovarianz müsste man sich wie gesagt auf eine Teilmenge von Membern beschränken; in .NET ist beispielsweise List<T> invariant, IEnumerable<out T> dagegen kovariant. Oder man hilft eben mit einem Hardcast nach und achtet selbst genau darauf, dass man nur diese Teilmenge benutzt
.
Hasse Recht. Hab nicht an die Methoden gedacht, die nicht kovariant sind.
