Eingeschränkte Generics (Bug?)

[Neutral General]

Hallo,

Habe ein kleines Problem mit den Generics. Weiß nicht ob folgendes ein Bug ist, oder ob ich was falsch mache:

Delphi-Quellcode:

type
  // Ein Interface
  IIDObject = interface
    function GetID: Integer;
  end;

  // Testklasse, die dieses Interface Implementieren
  TTest = class(TInterfacedObject, IIDObject)
    function GetID: Integer;
  end;

  // Eine Objectlist, abgeleitet von TList<IIDObject>
  // und einem Generischen Parameter.
  // Die Items-Property soll jetzt überdeckt werden.
  TIDObjectList<T: IIDObject> = class(TList<IIDObject>)
  private
    function GetItem(Index: Integer): T;
    procedure SetItem(Index: Integer; const Value: T);
  public
    property Items[Index: Integer]: T read GetItem write SetItem;
  end;

implementation

{ TIDObjectList<T> }

function TIDObjectList<T>.GetItem(Index: Integer): T;
begin
  Result := inherited Items[Index];
end;

procedure TIDObjectList<T>.SetItem(Index: Integer; const Value: T);
begin
  Items[Index] := Value;
end;

Der Code funktioniert soweit.

Wenn ich nun folgenden Code habe:

Delphi-Quellcode:

procedure TForm1.Button1Click(Sender: TObject);
var tmp: TIDObjectList<TObject>;
begin
  tmp := TIDObjectList<TObject>.Create;
  tmp.Free;
end;

bekomme ich den Fehler:

Zitat:

[DCC Fehler] Unit1.pas(47): E2514 Typparameter 'T' muss Interface 'IIDObject' unterstützen

was ja vollkommen korrekt ist!

ALLERDINGS:

Delphi-Quellcode:

procedure TForm1.Button1Click(Sender: TObject);
var tmp: TIDObjectList<TTest>;
begin
  tmp := TIDObjectList<TTest>.Create;
  tmp.Free;
end;

erhalte ich hier auch einen Fehler:

Zitat:

[DCC Fehler] Unit1.pas(82): E2010 Inkompatible Typen: 'TTest' und 'IIDObject'

Und als Fehler-Zeile wird die letzte der Unit (noch hinter dem "end.") markiert.

An wem liegts? An Delphi oder an mir?

PS: Ich benutze Delphi2009

Gruß
Neutral General

[himitsu]

Vermutlich wird hier nicht auf Object <> Interface verglichen und man muß ein Interface übergeben, wenn man es so in der Deklaration verlangt.
Selbst wenn das Objekt dieses Interface unterstützen würde. :gruebel:

[Neutral General]

Um das ganze noch etwas verwirrender zu machen.

Delphi-Quellcode:

// Wenn ich den ganzen Code so lasse wie er auch oben steht und die GetItem-Methode von so:
// (alt)
function TIDObjectList<T>.GetItem(Index: Integer): T; 
begin 
  Result := inherited Items[Index]; 
end; 

// auf so ändere
// (neu)
function TIDObjectList<T>.GetItem(Index: Integer): T; 
var tmp: T;
begin 
  Result := tmp; 
end;

Dann compiliert es :mrgreen:

Wenn ich schreibe:

Delphi-Quellcode:

function TIDObjectList<T>.GetItem(Index: Integer): T; 
var tmp: T;
begin 
  tmp := inherited Items[Index];
  Result := tmp; 
end;

Dann gibts wieder den oben genannten Fehler. :wiejetzt:

[mirage228]

Unter D2010 compiliert es, wenn ich folgendes schreibe:

Delphi-Quellcode:

  TIDObjectList<T: IIDObject> = class(TList<T>)

Viele Grüße

[Neutral General]

Zitat:

Zitat von mirage228

Unter D2010 compiliert es, wenn ich folgendes schreibe:

Delphi-Quellcode:

  TIDObjectList<T: IIDObject> = class(TList<T>)

Viele Grüße

Ja aber das hilft mir in meiner Situation nicht wirklich. Hintergrund ist, dass ich eine Funktion habe, der ich eine Liste mit IIDObject-Objekten übergeben will. In der Funktion benötige ich auch nur die im Interface deklarierten Methoden.

Ich hätte dann z.B. eine TTest1-Liste und eine TTest2-Liste. Sowohl TTest1 als auch TTest2 würden IIDObject implementieren.
Eine normale TObjectList<TTest1> bzw. TObjectList<TTest2> kann ich nicht verwenden, weil die nicht zueinander kompatibel sind. (Keinen gemeinsamen Vorfahren bis auf TObject). Deswegen bin ich auf die Idee oben gekommen. Eine Liste die von einer TList<IIDObject> ableitet. Der Parameter der Funktion wäre dann vom Typ TList<IIDObject>. Ich könnte dann eine TIDObjectList<TTest1> und eine TIDObjectList<TTest2> übergeben.

[himitsu]

Wenn ich nochmal überlege:
- du willst eine Liste, welche Interfaces (IIDObject oder Nachfahre) enthält
- willst dann aber die Liste mit Objekten (welche zwar IIDObject unterstützt, aber selber kein Interface ist) erstellen.

So kann das natürlich nicht gehn.

Also wenn du die Liste nun mit dem Interface erstellst,

Delphi-Quellcode:

procedure TForm1.Button1Click(Sender: TObject);
var tmp: TIDObjectList<IIDObject>;
begin
  tmp := TIDObjectList<IIDObject>.Create;
  tmp.Free;
end;

dann kannst du diesem nun Interfaces (IIDObject) oder Objekte (welche IIDObject unterstützen und bei Übergabe in das Interface umgewandelt werden) übergeben.

[Neutral General]

Ja ich weiß. Also ich habe ja eine Interface-Liste. So oder so. Meine abgeleitete TIIDObjectList ist ja im Grunde auch eine Interface-Liste.

Allerdings kann ich bei einer TIDObjectList nur auf die Methoden der Objekte zugreifen, die vom Interface unterstützt werden. Das ist aber nicht gewollt.

Deswegen der Typ-Parameter damit ich die Items-Property der Interface-Liste überschreiben/überdecken kann und intern die Interfaces quasi auf die Typ-Parameter-Klasse caste.

[himitsu]

[info]
irgendwie war des DPs Codeformatter futsch

- hier war grade keine Codeformatierung zu sehn
- und alles zwischen < und > wurde ebenfalls nicht angezeigt
(falls sich grad wer über meinen Code-Abschnitt in #6 wunderte)

[Neutral General]

Hallo,

Wollte mich mal melden um Bescheid zu sagen, dass ichs geschafft habe. Zuerst habe ich statt des Interfaces eine abstrakte Klasse genommen. Problem war dann aber immernoch:

Delphi-Quellcode:

function TIDObjectList<T>.GetItem(Index: Integer): T; 
begin 
  Result := inherited Items[Index]; 
end;

Hier wurde dann im konkreten Fall einem TTest ein TIDObject (entspricht IIDObject) zugewiesen. Was natürlich nicht geht und der blöde (= schlaue) Compiler leider gemerkt hat. Casten a la:

Delphi-Quellcode:

Result := T(inherited Items[Index]);

funktioniert mit diesen generischen Dingern leider nicht. Dann habe ich.. sagen wir.. manuell gecastet :stupid:

Delphi-Quellcode:

function TIDObjectList<T>.GetItem(Index: Integer): T;
var tmp: Pointer;
begin
  tmp := inherited Items[Index];
  Move(tmp,Result,SizeOf(Pointer));
end;

Und jetzt funktioniert es :mrgreen: