Generics und Vererbung

[Stevie]

Zitat von Khabarakh:

Wenn ich das richtig sehe, ist dein Problem, dass TBasicEdgeList<E, V, TDirectedEdge<E, V>> nicht von TBasicEdgeList<E, V, TBasicEdge<E, V>> abgeleitet ist, was in einer Sprache ohne Kovarianz wie Delphi auch vollkommen korrekt ist. Mit diesem Ansatz wirst du also an der Stelle ein wenig Typsicherheit aufgeben müssen, Delphis Typsystem erlaubt das einfach nicht.

Edit: Um die Sache mit der Kovarianz auszuführen: Gäbe es diese in Delphi, könntest du in der Basisklasse lesend auf die Liste zugreifen. Hineinschreiben wäre in keiner Sprache typsicher.

Wenn du weißt, dass es sich um Kovarianz handelt, kannst du mit einem Hardcast "nachhelfen".

Beispiel:

Delphi-Quellcode:

var
  list1: TList<TObject>;
  list2: TList<TPersistent>;
begin
  list1 := list2;  // <- E2010 Incompatible types: 'Generics.Collections.TList<System.TObject>' and 'Generics.Collections.TList<Classes.TPersistent>'

Laut der Definition sind diese beiden Listen aber kovariant.
Also kann ich ohne Probleme folgendes machen: list1 := TList<TObject>(list2);