ist das Ergebnis einer Subtraktion von 2 Bytes automatsich ein Integer ?

[siro]

Hallo zusammen, ein eigentlich triviales Problemchen,
fast schon zu peinlich um überhaupt zu fragen , aber ich tue dies totzdem, da ich grade in einer ähnlichen Form darüber gestoplert bin.
Der verkürzte Code, worum es geht:

Code: Alles auswählen

program Project1;

var a,b:Byte;

begin
  a:=50;
  b:=250;
  if      a-b  < 10 then Writeln('ja') else Writeln('nein');   // es wird ja   ausgegeben
  if Byte(a-b) < 10 then Writeln('ja') else Writeln('nein');   // es wird nein ausgegeben
  Writeln(a-b);                                                // -200
  Writeln(Byte(a-b));                                          // 56
  ReadLn;
end.

a und b sind ja jeweils ein Byte, also 8 Bit ohne Vorzeichen.
Wenn ich von 50 den Wert 250 abziehe, gibt es natürlich einen Unterlauf.
Das Ergebnis müsste 56 sein.
Dies trifft jedoch nur zu, wenn ich einen expliziten "Byte Typecast" mache, obwohl es ja schon Bytes sind.
Ist das Ergebnis der Subtraktion automatisch ein Integer ?

[theo]

Ich glaube, das steht hier: https://www.freepascal.org/docs-html/cu ... 26-26003r2

If both operands have the same signedness, the result is the same type as them. The only exception is subtracting (-): in the case of unsigned - unsigned subtracting produces a signed result in FPC (as in Delphi, but not in TP7).

[siro]

Super, danke Dir Theo, das wusste ich nicht.
Damit hast Du mein Nichtwissen aufgebessert und die Frage komplett beantwortet.
Einen schönen Sonntag noch allen.

[theo]

Naja, das ist wohl leider nicht die ganze Wahrheit.

Code: Alles auswählen

var a,b:Byte;
begin
a:=200;
b:=100;
Writeln(a+b);

Das gibt auch 300 und nicht etwas im Byte-Bereich.
Im Hinterkopf hatte ich das schon, aber ich könnte jetzt nicht sagen, wo dieses Verhalten genau beschrieben ist.

Vielleicht hat PascalDragon das auf dem Schirm?

[af0815]

Das gibt auch 300 und nicht etwas im Byte-Bereich.
Im Hinterkopf hatte ich das schon, aber ich könnte jetzt nicht sagen, wo dieses Verhalten genau beschrieben ist.

Bei writeln würde ich aufpassen, das dort nicht eine Erweiterung des Typs aufgrund des Überlaufes vorgenommen wird.

Code: Alles auswählen

var a,b,c:Byte;
begin
  a:=200;
  b:=100;
  c:= a+b;
  Writeln(c);  
 end; 
  

hier ist c gleich 44 bei mir.

Code: Alles auswählen

var a,b,c:Byte;
begin
  a:=50;
  b:=250;
  c:= a-b;
  Writeln(c); 
 end;
 

hier ist c gleich 56

aktiviere ich den Rangecheck, dann kracht es selbstverständlich mit einem RunError(201).

[PascalDragon]

Naja, das ist wohl leider nicht die ganze Wahrheit.

Code: Alles auswählen

var a,b:Byte;
begin
a:=200;
b:=100;
Writeln(a+b);

Das gibt auch 300 und nicht etwas im Byte-Bereich.
Im Hinterkopf hatte ich das schon, aber ich könnte jetzt nicht sagen, wo dieses Verhalten genau beschrieben ist.

Ausdrücke werden standardmäßig in der nativen Weite berechnet und wenn nötig wieder (mit Bereichsprüfung falls aktiviert - siehe af0815's Kommentar) runterreduziert.