generischen Typen als "irgendeinen" String-Typen deklarieren

[jbg]

Zitat von himitsu:

Für eine gleichzeitige Ansi/Unicode-Programmierung ist diese besch** Generic-Implementierung absolut nicht zu gebrauchen.

Das liegt vielleicht daran, dass für dein Vorhaben Templates notwendig sind und Delphi hat diese nicht. Delphi hat hier nur Generics im Angebot (die auch noch ein paar Bugs haben). Bei C# hättest du die selben Probleme (bis auf dass String dort ein object ist und somit über ToSring() verfügt, aber im Endeffekt würdest du dort dann auch wieder alles nach Unicode-String konvertieren, damit arbeiten und zurückschreiben).
Generics sind nun mal keine C++Templates.

[Stevie]

Type constraints kannst du in Delphi nur auf Interfaces oder Klassen angeben (glaub zusätzlich noch den "Muss constructor besitzen" Constraint, sonst fällt mir keiner ein) sonst nix. Das geht (wenn überhaupt, ich mach nicht viel damit) in .Net nur, weil alles ein object ist.

Mach entweder 2 oder mehrere Klassen aus dem Teil, welche ganz klar die Stringtypen abgrenzen oder schmeiß bestimmte davon ganz raus. Generics sind kein Werkzeug um mal eben zwei verschiedene Sachen (auch wenn sie ähnlich sind) in eins zu quetschen.

@Andreas: Es könnte möglich sein, die Technik, die man schon vor den Generics für eine typensichere TObjektList nutzen konnte, auch dafür zu nutzen, das funktionierte auch über sowas wie nen Template, aber genau weiß ichs auch nicht. (Quelle)

[himitsu]

Nja, im Prinzip kann man nur Records und Objekte "verwenden",

wobei man innerhalb der generischen Klasse/Funktion nur mit Instanzen jonglieren kann, aber nicht mir Funktionen davon oder dessen Inhalt.

Wenn der Delphicompiler aber den generischen Typ erst "auswerten" würde und vorher nur die Syntax prüfen täte, dann könnte man viel mehr damit anstellen.

[Stevie]

Zitat von himitsu:

Nja, im Prinzip kann man nur Records und Objekte "verwenden",

wobei man innerhalb der generischen Klasse/Funktion nur mit Instanzen jonglieren kann, aber nicht mir Funktionen davon oder dessen Inhalt.

Wenn der Delphicompiler aber den generischen Typ erst "auswerten" würde und vorher nur die Syntax prüfen täte, dann könnte man viel mehr damit anstellen.

Das stimmt nicht. Sofern du einen Constraint setzt, kannst du innerhalb der Methoden deiner Klasse problemlos auf Eigenschaften und Methoden des generischen Typs zugreifen, du musst nur unter Umständen T auf deine Klasse/Interface umcasten.

Beispiel:

Delphi-Quellcode:

type
  TFoo<T: class, constructor> = class
    function CreateNewObject: T;
    procedure FreeAndNil(var AObject: T);
    function GetClassName: string;
  end;

{ TFoo<T> }

function TFoo<T>.CreateNewObject: T;
begin
  Result := T.Create;
end;

procedure TFoo<T>.FreeAndNil(var AObject: T);
begin
  AObject.Free;
  AObject := nil;
end;

function TFoo<T>.GetClassName: string;
begin
  Result := T.ClassName;
end;

[himitsu]

geht nicht

Delphi-Quellcode:

type
  TFoo<T: class, constructor> = class
    procedure DoTest;
  end;

procedure TFoo<T>.DoTest;
begin
  T.Test;
end;

Statt class, constructor oder record wäre es schöner, wenn man auch direkt Typen angeben könnte,
bzw. wenn der Code erstmal nur auf korrekte Syntag geprüft und erst bei Nutzung, mit dem "Zieltyp" weiter geprüft würde.

[Stevie]

Zitat von himitsu:

geht nicht

Delphi-Quellcode:

type
  TFoo<T: class, constructor> = class
    procedure DoTest;
  end;

procedure TFoo<T>.DoTest;
begin
  T.Test;
end;

Statt class, constructor oder record wäre es schöner, wenn man auch direkt Typen angeben könnte,
bzw. wenn der Code erstmal nur auf korrekte Syntag geprüft und erst bei Nutzung, mit dem "Zieltyp" weiter geprüft würde.

Und seit wann hat TObject ne Methode namens Test?

Delphi-Quellcode:

type
  TFoo = class
    procedure Test;
  end;

  TFoo2<T: TFoo> = class
    procedure DoTest;
  end;

procedure TFoo2<T>.DoTest;
begin
  T.Test;
end;

procedure TFoo.Test;
begin

end;

In dem Beispiel rufst du übrigens eine Methode auf eine Klasse auf, nur dass ich das erwähnt habe...

Kann es sein, dass du das mit den Generics noch nicht ganz verstanden hast?

[himitsu]

Das sage ich ja "man kann auf keine Eigenschaften und Methoden eines generischen Typs zugreifen".

[Stevie]

Zitat von himitsu:

Das sage ich ja "man kann auf keine Eigenschaften und Methoden eines generischen Typs zugreifen".

Logisch, wenn du keine Instanz davon hast, oder?

Delphi-Quellcode:

type
  TFoo = class
  private
    FCaption: string;
  public
    procedure Bar;
    property Caption: string read FCaption write FCaption;
  end;

  TFooContainer<T: TFoo> = class
    procedure DoSomething(x: T);
  end;

procedure TFooContainer<T>.DoSomething(x: T);
begin
  x.Caption := 'Hello Himi';
  x.Bar();
end;

procedure TFoo.Bar;
begin
  ShowMessage(FCaption);
end;

var
  foo: TFoo;
begin
  foo := TFoo.Create;
  with TFooContainer<TFoo>.Create do
  begin
    DoSomething(foo);
    Free;
  end;
  foo.Free;
end;