Generics / Typenkompatibilität?

[HJay]

Ich habe bisher die normale TObjectList verwednet und möchte jetzt auf die Generics.TObjectList<> umsteigen. Ich habe aber Probleme damit, eine allgemeine TObjectList zu deklarieren, die verschiedene abgeleitete Generic-Klassen aufnehmen kann -- was bei der klassischen TObjectList ja trivial ist. Geht das auch mit Generics?

Code:

 TA = class(TObject)
    Dummy: String;
  end;

  TAList = class(TObjectList<TA>);

  TB = class(TObject)
    DummyInt: Integer;
  end;

  TBList = class(TObjectList<TB>);


var
  Form1: TForm1;

  AList : TAList;
  BList : TBList;

  AnyList  : TObjectList<TObject>; // was müsste hier stehen?

implementation

{$R *.dfm}

procedure TForm1.Button1Click(Sender: TObject);
begin
  AList := TAList.Create;
  BList := TBList.Create;

  AnyList := AList; // Compilerfehler! 
  AnyList := BList; // ich möchte AnyList beide Klassen zuweisen können
end;

[Neutral General]

Das geht nicht.

Eine TObjectlist<A> kann einer TObjectList<B> nicht zugewiesen werden. Selbst A von B abgeleitet ist.
Die einzige gemeinsame Elternklasse ist immer erst TObject.

[alda]

Hier ein bisschen Input zu Generics und Deinem Problem: http://delphisorcery.blogspot.de/201...-variance.html

[HJay]

Hm, das ist enttäuschend und reduziert die Verwendbarkeit von Generics ja drastisch?!

Welche Lösungen gibt es denn, außer doch auf Generics zu verzichten?

Ich habe eine graphische Komponente, die eine klassische TObjectList annimmt und dann je Item dieser Liste etwas macht. Bisher kann ich beliebige abgeleitete TMyObjectList-Klassen zuweisen und fertig. Ich nehme an, jeder braucht derartige Funktionalität?

Gibt es für diesen simplen Fall eine Generics-Lösung?

[Dejan Vu]

Einmal Generics, immer Generics. D.h. das ist kein nettes Feature, sondern ein komplett anderes Programmierparadigma. Will sagen: Du kannst Generics nicht mit Nicht-Generics mischen.

Wenn du was mit Generics ableitest, dann musst Du das durchziehen.


(Also es gibt Klimmzüge, um mit Reflection/RTTI noch was zu drehen, aber ... lass es.)

[Stevie]

In Spring4D haben wir dafür IObjectList, was von einer TObjectList<T> implementiert wird.
Für einen Lesezugriff ist das sicher, aber nicht für schreibende Zugriffe (siehe Beispiele in meinem Blogpost, der bereits verlinkt wurde).

Was du in deinem Fall aber machen kannst, ist von der Contnrs.TObjectList einen generischen Wrapper abzuleiten, wodurch du einmal Zuweisungskompatibilität zu TObjectList behälst aber trotzdem typensicher bist, indem du da nix reinpacken kannst, was nicht rein darf und das, was du raus holst, gleich typisiert ist.

Delphi-Quellcode:

type
  TMyObjectList<T:class> = class(TObjectList)
  private
    function GetItem(Index: Integer): T;
    procedure SetItem(Index: Integer; Value: T);
  public
    property Items[Index: Integer]: T read GetItem write SetItem; default;
  end;

function TMyObjectList<T>.GetItem(Index: Integer): T;
begin
  Result := List[Index];
end;

procedure TMyObjectList<T>.SetItem(Index: Integer; Value: T);
begin
  TObject(List[Index]) := Value;
end;

Das Implementieren der anderen Methoden wie Add überlass dir als Übung

Man kann übrigens, wenn es um reinen Lesezugriff geht, eine TObjectList<T> (wo T eine Klasse ist) auf TObjectList casten, da die ersten beiden Felder (das backing Array und der Count) binär kompatibel sind. Aber das würde ich ohne Umschweife als riesengroßen Hack bezeichnen, für den du in die Hölle kommst

[alda]

Zitat von HJay:

....
Ich habe eine graphische Komponente, die eine klassische TObjectList annimmt und dann je Item dieser Liste etwas macht. Bisher kann ich beliebige abgeleitete TMyObjectList-Klassen zuweisen und fertig. Ich nehme an, jeder braucht derartige Funktionalität?

Gibt es für diesen simplen Fall eine Generics-Lösung?

Du könntest Deine Objekte auch ein View-konkretes Interface implementieren lassen (z.b.: Caption und Value lesen/schreiben). Somit ist die Implementierung hinten dran egal und Du kannst eine Liste vom Typ "IViewKannMichLesenInterface" halten. Aber ich kenne Deinen genauen Anwendungsfall natürlich nicht.

[HJay]

Danke für eure Antworten... wird wohl nichts mit den Generics...