Generics // rekursive Typargumente

[bepe]

Hallo,

ich hätte da mal was wo ich ein par Denkanstöße benötige. Folgendes Konstrukt ist gegeben:

Delphi-Quellcode:

  IDummy = interface
  ['{F1F27BED-AD34-45FE-A8BB-9F776FB52517}']
  end;

  IItem<T: IDummy; RT: IDummy> = interface(IDummy)
  ['{A0B81638-424C-40E8-80F6-8FFB20CA9E65}']
    function DoIt(AParam: T): RT;

  end;

  IGroup<T: IDummy; RT: IDummy> = interface(IDummy)
  ['{1908848D-964A-4BC4-8EC8-7A0E52ADD532}']
    function CloseGroup: RT;
    function AddGroup: IGroup<T,IGroup<T,RT>>;
    function AddItem: IItem<T,IGroup<T,RT>>;

  end;

  IContainer<T: IDummy> = interface(IDummy)
  ['{DA22B0E3-E682-4ED3-AA30-46B39AE24A90}']
    function AddGroup: IGroup<T,IContainer<T>>;
    function AddItem: IItem<T,IContainer<T>>;

    function Execute: Boolean;

  end;

  TItem<T: IDummy; RT: IDummy> = class(TInterfacedObject, IItem<T,RT>)
  strict private
    FParent: RT;

  public
    constructor Create(AParent: RT);

    function DoIt(AParam: T): RT;

  end;

  TGroup<T: IDummy; RT: IDummy> = class(TInterfacedObject, IGroup<T,RT>)
  strict private
    FParent: RT;

  public
    constructor Create(AParent: RT);

  public
    function CloseGroup: RT;
    function AddGroup: IGroup<T,IGroup<T,RT>>;
    function AddItem: IItem<T,IGroup<T,RT>>;

  end;

  TContainer<T: IDummy> = class(TInterfacedObject, IContainer<T>)
  public
    function AddGroup: IGroup<T,IContainer<T>>;
    function AddItem: IItem<T,IContainer<T>>;

    function Execute: Boolean;

  end;

implementation

{ TItem<T, RT> }

constructor TItem<T, RT>.Create(AParent: RT);
begin
  FParent := AParent;
end;

function TItem<T, RT>.DoIt(AParam: T): RT;
begin
  Result := FParent;
end;

{ TGroup<T, RT> }

function TGroup<T, RT>.AddGroup: IGroup<T, IGroup<T, RT>>;
begin
  Result := TGroup<T,IGroup<T, RT>>.Create(Self);  // hier passen die Typen nicht
end;

function TGroup<T, RT>.AddItem: IItem<T, IGroup<T, RT>>;
begin
  Result := TItem<T,IGroup<T, RT>>.Create(Self);
end;

function TGroup<T, RT>.CloseGroup: RT;
begin
  Result := FParent;
end;

constructor TGroup<T, RT>.Create(AParent: RT);
begin
  FParent := AParent;
end;

{ TContainer<T> }

function TContainer<T>.AddGroup: IGroup<T, IContainer<T>>;
begin
  Result := TGroup<T,IContainer<T>>.Create(Self);
end;

function TContainer<T>.AddItem: IItem<T, IContainer<T>>;
begin
  Result := TItem<T,IContainer<T>>.Create(Self);
end;

function TContainer<T>.Execute: Boolean;
begin
  beep;
end;

In TGroup<T, RT>.AddGroup passt die erzeugte Gruppe nicht zum Result. Ich kann das Problem zwar fast nachvollziehen aber es reicht noch nicht um eine Lösung zu finden. Kann mich mal jemand in eine Richtung schubsen?

Mein Ansatz darf/kann auch grundlegende Änderungen/Erweiterungen erfahren. Wichtig ist mir nur das Ziel:

Delphi-Quellcode:

var
  tmpContainer: IContainer<IDummy>;
begin
  tmpContainer := TContainer<IDummy>.Create;
  tmpContainer.AddItem.DoIt(nil).
                  AddGroup.AddItem.DoIt(nil).
                           AddItem.DoIt(nil).
                           AddGroup.AddItem.DoIt(nil).
                                  AddItem.DoIt(nil).
                           CloseGroup.
                  CloseGroup.AddItem.DoIt(nil).
               Execute;

Danke.