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:
  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

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
TElemente = set of 2..8; Weiter denkt der nicht .