Set of - Warum kein Compiler-Fehler?

[Martin K]

Hi,

folgender Code (vereinfacht):

Delphi-Quellcode:

  type
    TElement = (Wert1, Wert2, Wert3, Wert4, Wert5);
    TElemente1 = set of Wert2..Wert4;
    TElemente2 = set of TElement;
{...}

procedure Irgendwas(Wert: TElemente1);
begin
  //...
end;

Wenn ich jetzt folgenden Aufruf durchführe:

Delphi-Quellcode:

  Irgendwas( [Wert1, Wert2] );

gibt es keine Fehlermeldung.

Warum nicht?
Wert1 ist doch gar nicht in TElemente1 enthalten...

Wie kann ich das Problem lösen, ohne einen zweiten Typ TElement zu definieren ?

[pszopp]

Hallo Martin,

wieso es hier keinen Fehler beim Kompilieren gibt, weiß ich auch nicht.
Scheint ihm egal zu sein :roll:

Im Moment wüsste ich nur, wie du falsche Übergabeparameter zur Laufzeit abfängst:

Delphi-Quellcode:

procedure Irgendwas(Wert: TElemente1);
var SmallSet : TElemente1;
begin
  SmallSet := [Wert2..Wert4];
  Assert((Wert - SmallSet) = [], 'Internal Error');

  ShowMessage('Hallo');
end;

Viele Grüße,
pszopp

[Khabarakh]

Sets sind nur verpackte Bitfelder (Wert1 = 1, wert2 = 2, Wert3 = 8 usw.). Ob nun das Bit, das du setzt, überhaupt eine Konstante des Sets ist oder nicht, ist ihm egal. Du kannst ihm auch TElemente2(65) zuweisen, das sollte dann [Wert1, "Wert7"] sein.

[Martin K]

Danke, für eure Antworten.

Das mit den Bitfelder war mir schon klar, aber ich dachte bei TElemente1 würde dann Wert2 = 1 sein.
Mir ist halt nicht klar, warum das komplette TElement genommen wird und nicht aus Wert2, Wert3, Wert4 ein neues Bitfeld erzeugt wird.

[Khabarakh]

Für den Compiler sind die Werte eben einfach nur Konstanten. Was er parst, ist eigentlich

Delphi-Quellcode:

TElemente = set of 2..8;

Weiter denkt der nicht ;) .