Generics und Vererbung

[Khabarakh]

Zitat:

Zitat von Stevie (Beitrag 1120759)

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 ;) .

Zitat:

Zitat von Stevie (Beitrag 1120759)

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 ;) .

[Stevie]

Zitat:

Zitat von Khabarakh (Beitrag 1120765)

Zitat:

Zitat von Stevie (Beitrag 1120759)

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. :oops: