In Delphi werden Parameter in der Reihenfolge ausgewertet, wenn sie in eine Methode übergeben werden?

Question

Ist die Reihenfolge, in der Parameter berechnet werden, bevor eine Prozedur aufgerufen wird, in Delphi definiert?

IOW, wenn ich diesen hässlichen Code (etwas gefunden, wie dies in einer Legacy-Anwendung) ...

function A(var err: integer): integer; 
begin 
    err := 42; 
    Result := 17; 
end; 

Test(A(err), err); 

... Testen ist garantiert Parameter erhalten (17, 42) oder könnte es auch sei (17, undefiniert)?

---

Edit:

Obwohl Davids Beispiel unterschiedliches Ergebnis mit 32-Bit und 64-Bit-Compiler zurückgibt, das (zum Glück) hat keinen Einfluss auf mein Legacy-Code, weil Test (A (err), err) nur speichert eine Adresse von 'err' im Register und es ist egal, ob der Compiler dies vor dem Aufruf von A (err) oder nach.

Answer 1

Die Reihenfolge der Parameterauswertung in Delphi ist nicht definiert.

Als interessanter Beweis dafür, das folgende Programm hat je unterschiedlicher Ausgang, ob Sie als Ziel 32 oder 64 Bit Code:

program ParameterEvaluationOrder; 

{$APPTYPE CONSOLE} 

uses 
    SysUtils; 

function SideEffect(A: Integer): Integer; 
begin 
    Writeln(A); 
    Result := A; 
end; 

procedure Test(A, B: Integer); 
begin 
end; 

begin 
    Test(SideEffect(1), SideEffect(2)); 
    Readln; 
end. 

Answer 2

Edited: es scheint, dass der Compiler das Verhalten in der Hilfe beschrieben verletzen kann:

Von Calling Conventions Hilfethema (Hervorhebung von mir):

Das Register und pascal Konventionen übergeben Parameter aus links nach rechts; Das heißt, der Parameter ganz links ist ausgewertet und zuerst übergeben und der rechte Parameter wird ausgewertet und zuletzt übergeben.