Trong Delphi, các tham số được đánh giá theo thứ tự khi được chuyển vào một phương thức?

Question

Thứ tự được tính trong đó các tham số được tính trước khi một thủ tục được gọi là định nghĩa trong Delphi?

IOW, nếu tôi có mã xấu xí này (tìm thấy một cái gì đó như thế này trong một ứng dụng di sản) ...

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

Test(A(err), err); 

... là thử nghiệm đảm bảo để nhận được các thông số (17, 42) hoặc có thể nó cũng được (17, không xác định)?

---

Edit:

Mặc dù ví dụ của David trả về kết quả khác nhau với 32-bit và 64-bit trình biên dịch, điều này (may mắn) không ảnh hưởng đến mã di sản của tôi, vì thử nghiệm (A (err), err) chỉ lưu trữ một địa chỉ của 'err' trong thanh ghi và nó không quan trọng cho dù trình biên dịch thực hiện điều này trước khi gọi A (err) hoặc sau.

Answer 1

Thứ tự đánh giá tham số trong Delphi không được xác định.

Là một trình diễn thú vị này, chương trình sau đây đã đầu ra khác nhau tùy thuộc vào việc bạn nhắm mục tiêu mã 32 hoặc 64 bit:

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

được sửa đổi: có vẻ như trình biên dịch có thể vi phạm các hành vi được mô tả trong sự giúp đỡ:

Từ Calling Conventions chủ đề trợ giúp (tôi nhấn mạnh):

Sổ đăng ký và pascal ước vượt qua các thông số từ trái sang phải; có nghĩa là, thông số bên trái nhiều nhất là được đánh giá và thông qua đầu tiên và tham số ngoài cùng bên phải được đánh giá và vượt qua cuối cùng.