Beschränkter Bereich für Variable

[Chewie]

Was ist denn jetzt mit

Delphi-Quellcode:

var
  i: 1..3;

Ganzzahlen in Pascal können als Aufzählungen von solchen Zahlen aufgefasst werden. Wenn ich mich nicht ganz täuschen sollte, sind die Datentypen in FreePascal wie folgt deklariert:

Delphi-Quellcode:

type
  Byte = 0..255;
  Word = 0..65535;
  //etc.

Sofern die Bereichsüberprüfung abgeschaltet ist, sollte 3 + 1 1 ergeben.

Hast du das jetzt schon mal ausprobiert?

[Christian Seehase]

Moin Zusammen,

@Chewie:
Das funktioniert leider nicht.
Ohne Range Checking wird einfach weitergezählt, und mit bekommt man eine Excpetion.

@nupset:
Auch wenn Dir das nicht weiterhelfen kann, möchte ich, der Vollständigkeit halber, noch eine Variante beitragen:

In D2006 kann man sich einen entsprechenden Typen mit Hilfe von operator overloading deklarieren:

Delphi-Quellcode:

interface

type
  TOneToThree = record
    var Value : integer;
    class operator Implicit(Value : TOneToThree) : integer;
    class operator Implicit(Value : integer)     : TOneToThree;
    class operator inc(Value : TOneToThree)      : TOneToThree;
    class operator dec(Value : TOneToThree)      : TOneToThree;
  end;

implementation

class operator TOneToThree.Implicit(Value: TOneToThree): integer;
begin
  Result := Value.Value;
end;

class operator TOneToThree.dec(Value: TOneToThree): TOneToThree;
begin
  case Value.Value of
    2,3 : Result.Value := Value.Value-1;
    else Result.Value := 3;
  end;
end;

class operator TOneToThree.Implicit(Value: integer): TOneToThree;
begin
  if Value > 3 then begin
    Result.Value := 1;
  end else begin
    if Value < 1 then begin
      Result.Value := 3;
    end else begin
      Result.Value := Value;
    end;
  end;
end;

class operator TOneToThree.inc(Value: TOneToThree): TOneToThree;
begin
  case Value.Value of
    1,2 : Result.Value := Value.Value+1;
    else Result.Value := 1;
  end;
end;

Deklariert man sich jetzt eine Variable vom Typ TOneToThree, so kann dieser ein beliebiger integer-Wert zugewiesen werden, der in den Bereich von 1 bis 3 gezwungen wird, ausserdem wird der Bereich bei Verwendung von inc/dec eingehalten.
Man kann das Ganze natürlich noch erweitern, so dass, z.B., auch + und - sich entsprechend verhalten.

[tigerman33]

Hi,

aber mal eine generelle Frage: Wozu bietet Delphi mir denn die Möglichkeit, subranges wie 1..3 zu deklarieren, wenn es sie dann anschließend geflissentlich ignoriert? Hat das irgendeinen tieferen Sinn, der dahinter steckt?
Hatte so eine Situation nämlich auch schon. Da stand dann ein eigentlich "ungültiger" Wert in einer Variable, der an einer gaaaaanz anderen Stelle im Projekt einen Fehler verursachte. Hat ewig gedauert bis ich das gefunden hatte. Und mich außerdem ziemlich geärgert damals.

[marabu]

Hi Christian,

Teilbereichstypen erhöhen die Stabilität deines Codes, wenn du während der Testphase die Bereichsüberprüfung des Compilers einschaltest. Ohne die Bereichsüberprüfung werden nur Bereichsverletzungen durch Konstanten erkannt.

Grüße vom marabu