Pointer arithmetik

[TurboMagic]

Hallo,

da ich in Pointer Arithmetik nicht ganz so fit bin mal hier nachgefragt.
Gegeben ist dieser Code:

Delphi-Quellcode:

type
  PSkipjackTab = ^TSkipjackTab;
  TSkipjackTab = array[0..255] of Byte;

procedure TCipher_Skipjack.SkipjackIncCheck(var ATab: PSkipjackTab; AMin: PSkipjackTab; AMax: PByte);
begin
  Inc(ATab);
//    {$IFDEF DELPHIORBCB}
//    if ATab > AMax then
//    {$ELSE !DELPHIORBCB}
{ TODO : Prüfen ob so korrekt, da ATab auf PByte gecastet wurde}
  if PByte(ATab) > AMax then
//    {$ENDIF !DELPHIORBCB}
    ATab := AMin;
end;

Was tut der eigentlich?
Wenn ATab am Anfang auf Adresse 0 zeigen würde, zeigt das nach dem Aufruf durch das Inc
dann auf Adresse 257?

Und was tut der > Vergleich? Vergleicht der die Adresse von ATab mit AMax?

Grüße
TurboMagic

[mael]

Es vergleicht die Adressen.

Man kann das leicht beim Debuggen sehen, indem man einfach den Ausdruck PByte(ATab) in Auswertungsfenster (Strg+F7) eingibt.

Der Typ von Pointern ist nur wichtig beim Incrementieren/Dekrementieren bzw. beim Dereferenzieren.

Vielleicht macht der Typ unter Freepascal einen Unterschied, da die Typumwandlung nur unter !DELPHIORBCB passiert.

Korrektur: Testen ergab dass auch unter Delphi nur der Vergleich funktioniert wenn beide PByte sind. Sind beide PWideChar ist der generierte Code aber der gleiche, es werden also nur die Addressen verglichen.

Verwendet man {$POINTERMATH ON} ist der Typ aber tatsächlich egal!

[samso]

Das scheint mir ein Ringpuffer zu sein.
Der Start ist AMin und das Ende ist AMax. Mit inc(ATab) wird jeweils 256 Bytes weiter gesprungen (also AMin+256, AMin+512 usw.). Wenn AMax überschritten ist, wird ATab wieder auf AMin zurück gesetzt. AMax ist also die Adresse des letzten benutzen Bytes.