Wenn du weißt, dass es sich um Kovarianz handelt, kannst du mit einem Hardcast "nachhelfen".
Ah, das ist natürlich eine Möglichkeit
. Da bin ich zu sehr an Typsysteme ohne Hintertür gewöhnt
.
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
.