Gibt es keine generischen Proceduren?

[freimatz]

Zitat von Blup:

Wenn sowas geht, gibt es wirklich keinen sinnvollen Grund globale generische Procedure und Funktionen zu verbieten:

Zu verbieten nicht, aber auch keinen guten den Aufwand zu treiben.
Meiner Meinung nach sollte man generell globale generische Procedure und Funktionen vermeiden.

[Blup]

Wenn man oft genug überladene Funktionen wie IfThen() für alle möglichen Typen implementiert, sieht man das vieleicht anders.

[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;

[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.

[himitsu]

Es wurden mehrmals Lösungen vorgeschlagen, aber Emba hat abgelehnt.

z.B.
Ja, selbst wenn Generics nur mit Klassen/Records gehen, dann gibt es dennoch keinen Grund eine einzelne Methode nicht "intern" in eine Dummy-Klasse zu verpacken. (compilermagic und so)

ODER,
würde Emba sich nicht weigern wenigstens eine minimalste Unterstützung für Makros bereitzustellen, dann könnten wir das auch selbst machen.