Generics mit Einschränkungen auf Ordinaltypen?

[Deep-Sea]

Morgen Jungs

Ich wollte mich mal wieder den Generics bedienen. Das Problem ist, dass ich als Typparameter nur Ordinaltypen verwenden will und werde. Diese Einschränkung ist ja aber leider nicht möglich. Ich brauche sie aber, da ich Konstrukte nutzen muss die nur mit Ordinaltypen funktionieren (z.B. für Schleifen, für die Größenangabe bei Arrays, etc.).
Irgendeine Idee?

[webcss]

Zitat von Deep-Sea:

Morgen Jungs

Ich wollte mich mal wieder den Generics bedienen. Das Problem ist, dass ich als Typparameter nur Ordinaltypen verwenden will und werde.

Damit hast Du ja schon Deine Beschränkung. Irgendwann musst Du ja Deine generische Klasse kokretisieren, z.B.

Delphi-Quellcode:

TFoo<T> =class
  procedure TueDies: T;
end;

TIntegerFoo= class(TFoo<integer>);

Letztendlich weisst Du ja, was Du tust und musst Dich daher nicht mit constraints vor Dir selber und Deinem Handeln schützen, oder?

BTW, Dein Profil zeigt Delphi 5, das hat noch keine Generics!

[Deep-Sea]

Ja schon klar. Aber das Problem ist, dass es so nicht geht, wenn ich z.B. eine Schleife oder ein Array mit Hilfe des Typparameters programmieren will.

Delphi-Quellcode:

TFoo<T> = class
  procedure Blubb;
end;

procedure TFoo<T>.Blubb;
var
  LSchleife: T;
begin
  For LSchleife := Low(T) to High(T) do ... ;
end;

Das geht nicht, da Delphi - verständlicherweise - meckert, dass er für die Schleife einen Ordinaltypen braucht. Den habe ich zwar vor zu übergeben, aber davon kann Delphi ja nun mal nicht ausgehen.

PS: Also bei mir zeigt mein Profil schon lange Delphi 2009 Professional an

[webcss]

Evtl. so:

Delphi-Quellcode:

TFoo<T: record> = class // Beschränkung auf Wertetypen
  procedure Blubb;
end;

procedure TFoo<T>.Blubb;
var
  LSchleife: T;
  LMin: T;
  LMax: T;
begin
  if TypeInfo(T)=TypeInfo(integer) then begin
    LMin:= Low(integer); 
    LMax:= High(integer);
  end else
  if TypeInfo(T)=TypeInfo(cardinal) then begin
    LMin:= Low(cardinal); 
    LMax:= High(cardinal);
  end; // usw.
  For LSchleife := LMin to LMax do ... ;
end;

Hab's allerdings nicht getestet, nur 'ne Idee...

Zitat von Deep-Sea:

PS: Also bei mir zeigt mein Profil schon lange Delphi 2009 Professional an

Richtig, aber oben unter dem Topic steht noch "Delphi Version: 5"

[himitsu]

[add]
selbes Grundthema:
http://www.delphipraxis.net/154472-g...klarieren.html
[/add]


Antwort, welche ich selber bei Sowas schon gehört hab:
Für sowas sind Generics nicht gedacht.

Grund, Delphi verfügt nur über einen Single-Pass-Compiler,
solche speziellen Typgruppen gibt es nicht (in C, wo Delphi es abgekupfert hat)
und da Delphi bei Parsen dieses Codes noch nicht weiß um welchen Typ es sich irgendwann mal handeln wird, kann man auf so spezifische Eigenschaften des gewünschten Typs nicht zugreifen.


Schau dir einfach mal meine letzten Threads zu den besch*** Generigs an.
Mein Fazit: Generics könnten sowas von cool sein, aber für z.B. sowas wie das hier, sind die einfach nicht zu gebrauchen ... leider.

@webcss: Ja, solche Hacks gehn schon, aber
diese machen absolut keinen Spaß,
sind umständlich,
ineffektiv / teilweise Rechenintensiv,
und, wenn man sie an vielen Stellen einsetzt, auch noch fehleranfällig und wartungsintensiv.

Ordinale Typen gibt es viele (nicht nur diese Beiden)
und ich hab es schon bei den 3 Typen AnsiString, UnicodeString und WideString aufgegeben, weil es einfach zu unübersichtlich wurde.

@Deep-Sea: Verzichte einfach auf die Generics, verwende in der Klasse den Integer und eventuell noch eine zweite Klasse mit Int64 (oder so ähnlich).

[Deep-Sea]

Schade schade ... auch wenn ich damit eig. schon gerechnet habe ...

Zitat von himitsu:

Verzichte einfach auf die Generics, verwende in der Klasse den Integer und eventuell noch eine zweite Klasse mit Int64 (oder so ähnlich).

Wie du schon selbst einige Zeilen davor sagtest, gibt es viele Ordinaltypen
Genau deswegen wollte ich es ja so lösen, denn in dem Fall geht es mir um Enums. Aktuell wirklich nur zwei ... aber in Zukunft vlt. mal dutzende.
Na mal sehen, wie ich es schön lösen kann ...

Find's halt doof von Delphi, denn Interfaces kann ich auch zur Einschränkung nutzen


@webcss:
Ach da ... joa, vergessen zu setzen

[himitsu]

jupp, sowas wie Interface und Object kannst du als Einschränkung nutzen,
aber auch da wird letzendlich auch Vieles nicht funktionieren ... siehe mein verlinkter String-Thread, also da wo es mal um Objekte geht.

[uligerhardt]

Vielleicht kannst du etwas Logik von Compilezeit in Richtung Laufzeit verschieben. Z.B. könntest du TFoo im Konstruktor eine TypeInfo übergeben und dann irgendwie so:

Delphi-Quellcode:

function Iterate(ATypeInfo: PTypeInfo): Cardinal;
var
  i: Integer;
  TypeData: PTypeData;
begin
  TypeData := GetTypeData(ATypeInfo);
  for i := TypeData^.MinValue to TypeData^.MaxValue do
    Writeln(GetEnumName(ATypeInfo, i));
end;

begin
  Iterate(TypeInfo(TTypeKind));
end.

arbeiten. Mit der mangelnde Typsicherheit (Enum -> Integer) müsstest du bei einer Lösung mit Generics vermutlich auch leben.