Gibt es keine generischen Proceduren?

[jaenicke]

Dafür ist es aber nicht nötig, lose umherschwirrende Funktionen zu implementieren. Man kann dafür auch Sammelklassen mit genetischen Klassenmethoden erstellen. Die kann man auch überall nutzen, aber man sieht, wo die herkommen. Dafür könnte man auch den Unitnamen vorstellen, aber das wäre dann optional, was für ein Team nicht optimal wäre.

So habe ich dann TStringTools, TMathTools, usw. in entsprechenden Units Lib.Tools.MathTools.pas usw. im Ordner lib\tools, so dass man sich intuitiv zurechtfindet.

[Benmik]

Ich habe mich schon oft gefragt, ob es möglich ist, eine generische Funktion zu schreiben, ob ein bestimmtes Element in einer Aufzählung vorhanden ist.

EDIT: Das war jetzt etwas schlampig ins Handy geschrieben. Ich mache selten Enumerationen, ohne auch ein Set dafür zu deklarieren. Ich meinte also natürlich eine generische Funktion, um das Vorhandensein in einem Set zu prüfen.

[lxo]

Zitat von Benmik:

Ich habe mich schon oft gefragt, ob es möglich ist, eine generische Funktion zu schreiben, ob ein bestimmtes Element in einer Aufzählung vorhanden ist.

EDIT: Das war jetzt etwas schlampig ins Handy geschrieben. Ich mache selten Enumerationen, ohne auch ein Set dafür zu deklarieren. Ich meinte also natürlich eine generische Funktion, um das Vorhandensein in einem Set zu prüfen.

Wozu so eine Funktion?
Geht doch auch so mit einem kurzen Einzeiler.
Wüsste nicht was man da für eine Funktion bauen könnte die das vereinfacht oder Mehrwert bietet.

Delphi-Quellcode:

lEnum := Enum1;
lSet := [Enum1,Enum2];
if lEnum in lSet then

Oder 

if Enum1 in [Enum1,Enum2] then

oder auch

if Enum1 in [Low(TMyEnum)..High(TMyEnum)] then

[Benmik]

Natürlich geht das. Aber es gibt auch so etwas

If (lSet1 * [Enum1, Enum2] = []) and (lSet2 * [Enum1, Enum3] = []) then begin

und Ähnliches und das hätte ich gern kürzer/übersichtlicher/eleganter/sprechender.
Aber offensichtlich geht das nicht.

[Uwe Raabe]

Generisch mit Set geht erstmal nicht, da es keinen generischen Constraint dafür gibt. Folglich kann man auch die Operatoren nicht anwenden.
(Vielleicht könnte man mit RTTI und ein paar bösen Hacks und dem Glauben an die Unfehlbarkeit des Entwicklers was hinkriegen, aber das gehört hier nicht hin)

Du kannst aber zu einem Set einen Helper schreiben - muss halt wegen obiger Einschränkung für jedes Set separat gemacht werden:

Delphi-Quellcode:

type
  TMyEnum = (Enum1, Enum2, Enum3, Enum4);
  TMyEnums = set of TMyEnum;
  TMyEnumsHelper = record helper for TMyEnums
    function DoesNotContain(const Value: TMyEnums): Boolean;
  end;

function TMyEnumsHelper.DoesNotContain(const Value: TMyEnums): Boolean;
begin
  Result := (Self * Value) = [];
end;

Dein Beispiel würde dann so geschrieben:

Delphi-Quellcode:

If lSet1.DoesNotContain([Enum1, Enum2]) and lSet2.DoesNotContain([Enum1, Enum3]) then begin
 
end;

[Benmik]

Zitat von Uwe Raabe:

Generisch mit Set geht erstmal nicht, da es keinen generischen Constraint dafür gibt.

Genau das schwebte mir vage vor, konnte es aber mangels des Begriffs "generischer Constraint" nicht nachsehen.

Lösungen für ein spezifisches Set wollte ich ja gerade umgehen. Immerhin weiß ich jetzt, es geht halt nicht, das ist auch etwas wert, danke dafür.

[jaenicke]

Es gibt aber eine generische Implementierung eines Sets in Spring4D, nämlich ISet<T>. Da gibt es dann z.B. Overlaps als Methode. Das ist aber natürlich langsamer als die native Variante, funktioniert dafür aber auch mit anderen Typen.

[schobihh]

Zitat von Benmik:

Natürlich geht das. Aber es gibt auch so etwas

If (lSet1 * [Enum1, Enum2] = []) and (lSet2 * [Enum1, Enum3] = []) then begin

und Ähnliches und das hätte ich gern kürzer/übersichtlicher/eleganter/sprechender.
Aber offensichtlich geht das nicht.

wenn das die Probleme sind, die Delphi hat, dann hat Embarcadero alles richtig gemacht.

[Benmik]

Zitat von jaenicke:

Es gibt aber eine generische Implementierung eines Sets in Spring4D, nämlich ISet<T>. Da gibt es dann z.B. Overlaps als Methode. Das ist aber natürlich langsamer als die native Variante, funktioniert dafür aber auch mit anderen Typen.

Das ist ein toller Hinweis. Ich hatte früher mal Spring4D installiert, es aber aufgegeben, da ich es zu erschlagend fand.
Habe es mir angesehen, und tatsächlich enthält es so ziemlich das, was ich im Auge hatte. Aber ich glaube, das ganze Framework, das ist mit Kanonen auf Spatzen geschossen. Aber wer weiß ...

[fisipjm]

Zitat von Benmik:

Zitat von jaenicke:

Es gibt aber eine generische Implementierung eines Sets in Spring4D, nämlich ISet<T>. Da gibt es dann z.B. Overlaps als Methode. Das ist aber natürlich langsamer als die native Variante, funktioniert dafür aber auch mit anderen Typen.

Das ist ein toller Hinweis. Ich hatte früher mal Spring4D installiert, es aber aufgegeben, da ich es zu erschlagend fand.
Habe es mir angesehen, und tatsächlich enthält es so ziemlich das, was ich im Auge hatte. Aber ich glaube, das ganze Framework, das ist mit Kanonen auf Spatzen geschossen. Aber wer weiß ...

Spring4D ist ein gute Framework gerade wenn es z.B. um das Thema dependency Injection geht. Wäre also nicht nur für diesen Part eine gute Sache, sondern lässt sich auch gut in anderen Sinnvollen Codeoptimierungen nutzen