Vorzeichenbehaftete Zahlen und Endianess

[himitsu]

Jo, standardmäßig geht es meistens so

Delphi-Quellcode:

function SwapArray(const Arr: TBytes): TBytes;  // CONST kann hier nicht schaden, weil den Input willst ja eh nicht verändern.

oder 

procedure SwapArray(var Arr: TBytes);

oder

procedure SwapArray(const InArr: TBytes; var OutArr: TBytes);  // oder OUT statt VAR

Zitat von Benmik:

Delphi-Quellcode:

  procedure Test;
  var ArrNum:array of Byte;
  begin
    ...
    i := PInteger(@ArrNum[0])^;
  end;

Sowas geht garnicht.
Wenn Pointer, dann solltest/mußt DU den Speicher reservieren und dort den Inhalt des Arrays reinkopieren.

Denn nach der Prozedur ist die Variable und damit auch das Array nicht mehr vorhanden (die letzte und einzige Referenz endet mit dieser Variable und Delphi gibt den Speicher frei)
und der Pointer zeigt ins Nirvana, egal ob man sich einen Zeiger auf die Variable oder auf die Arraydaten besorgt hatte.


Alle anderen Tricks mit Pointer und Manipulation der Referenzzählung, sollte man tunlichst vermeiden. (vor allem wenn man keine Ahnung von den Interna hat und selbst dann ist sowas selten eine gute Idee)

[Benmik]

Zitat von himitsu:

...dann solltest/mußt DU den Speicher reservieren und dort den Inhalt des Arrays reinkopieren.

Sekunde, der Speicher wurden doch mit ArrNum := [00,00,00,08]; reserviert. Und dass die Variable mit der Prozedur ins Nirwana geht, ist doch OK; die Prozedur geht ja noch ewig weiter und am Ende wird die Variable nicht mehr gebraucht.

Deine Hinweise mit var, OUT etc. sind natürlich sehr gut; ich kenne das alles, bin aber oft zu faul/träge/gedankenlos/... . Bei var vergesse ich immer, wann nötig und wann nicht: Ist TBytes nicht ein Pointer und braucht kein var ? Es gibt hier irgendwo eine Liste, die müsste ich mir mal an einen guten Ort kopieren.

EDIT: Jupp,var wäre nicht nötig, ist aber vielleicht gut zur Erinnerung. So besser?

Delphi-Quellcode:

procedure SwapArray(var Arr:TBytes);
var i,n:integer; TempArr:TBytes;
begin
  SetLength(TempArr,Length(Arr));
  Move(Arr[0],TempArr[0],Length(Arr));
  n := Length(TempArr) - 1;
  For i := 0 to n do
    Arr[n - i] := TempArr[i];
end;

[himitsu]

TBytes ist ein gemaagter Typ, und wenn du ohne VAR und OUT arbeitest, wird/kann es in einer Kopie des Arrays weitergearbeitet.

Hier hast nur den Vorteil, dass außer bei Strings das CopyOnWrite seit Jahrzehnten im Arsch ist, drum geht das "zufällig" auch ohne VAR, so lange man kein SetLength benutzt.
Und ich hab schon immer gehofft das wird endlich mal repariert, nach über 20 Jahren. (dank der neuen ManagedRecords kann ich das nun aber selbst bugfixen)


Bei Klassen/Objekten stimmt deine Aussage dennoch.
Dort ist es ein ungemangter Typ (außer im NextGen ala Android und iOS), womit das VAR sich nur auf die Variable bezieht, aber nicht auf den Inahlt des Objekts.

[Benmik]

Zitat von himitsu:

TBytes ist ein gemanagter Typ, und wenn du ohne VAR und OUT arbeitest, wird/kann mit einer Kopie des Arrays weitergearbeitet werden.

Hier hast nur den Vorteil, dass außer bei Strings das CopyOnWrite seit Jahrzehnten im Arsch ist, drum geht das "zufällig" auch ohne VAR, so lange man kein SetLength benutzt.

Ich finde es richtig schlimm, welche Tretminen sich immer wieder bei den scheinbar harmlosesten Sachen finden. OK, Delphi ist für Profis gemacht, aber ich bin sicher, dass ein Haufen Profis viele Tretminen nicht kennen.

Zitat von himitsu:

Swap ist aber auch echt böse, da das CodeInsight dort Integer als Parameter nennt.

Ich habe Swap immer für Word gebraucht, und dann die Hilfe gelesen. 2. und 3. Byte bei Integer? Wird seinen Grund haben, aber was zum Teufel bedeutet das in der Praxis? Das war der Punkt, an dem ich mich um eine hauseigene Lösung bemüht habe. Das geht mir öfter so.

[Uwe Raabe]

Zitat von Benmik:

Ich habe Swap immer für Word gebraucht, und dann die Hilfe gelesen. 2. und 3. Byte bei Integer? Wird seinen Grund haben, aber was zum Teufel bedeutet das in der Praxis?

Swap kommt ja noch aus der 16-Bit Welt, wo Integer eben nur 16-Bit hatten.

Das 2. und 3. Byte bezeichnen in diesem Zusammenhang aber eben die Lo-Bytes. Swap vertauscht in dem Integer die beiden niedrigen Bytes, als wäre es ein Word. Insofern ist das Verhalten schon konsistent. Die Nummerierung der Bytes bezieht sich offenbar auf das verlinkte Beispiel.

Delphi-Quellcode:

var
  X: Integer;
begin
  X := $A0B1C2D3;
  Assert(Swap(X) = $A0B1D3C2);
end;

[Benmik]

Aber das ist doch nicht das, was man will (und erwartet), wenn die vier Byte eines Integers vertauscht werden sollen?!

[Uwe Raabe]

Zitat von Benmik:

Aber das ist doch nicht das, was man will (und erwartet), wenn die vier Byte eines Integers vertauscht werden sollen?!

Das kommt auf die Erwartungshaltung an. Swap tauscht hat früher immer nur zwei Bytes getauscht und tut es auch jetzt noch. Bei vier Bytes ist es ja kein Swap mehr, sondern eine Umsortierung. Man muss das auch immer im Kontext des Hinweises betrachten, der in der Hilfe steht:

Zitat:

Hinweis: Die Prozedur dient lediglich der Abwärtskompatibilität.

[Uwe Raabe]

Nur falls das mal jemand brauchen könnte.

In System.Hash findet man auch THash.ToBigEndian für 32- und 64-Bit Variablen: System.Hash.THash.ToBigEndian

Für 16-Bit gibt es schon eine ganze Weile die procedure Swap: System.Swap

[himitsu]

Jo, das System.Swap ist aber auch echt böse, da das CodeInsight dort Integer als Parameter nennt.

Für mehrere 2-Bytes könnte man sogar TEncoding missbrauchen. (Unicode/UTF-16, LE und BE)

[Uwe Raabe]

Zitat von himitsu:

Jo, das System.Swap ist aber auch echt böse, da das CodeInsight dort Integer als Parameter nennt.

Die Hilfe und auch das Beispiel sagen aber auch explizit, was damit passiert.