Директива компилятора Delphi для оценки аргументов наоборот

Порядок оценки выражений обычно не определен. (В C и C++ так же. Java всегда оценивает слева направо.) Компилятор не предлагает никакого контроля над этим. Если вам нужно, чтобы два выражения оценивались в определенном порядке, то пишите код по-другому. Я бы не стал беспокоиться о количестве строк кода. Строки стоят дешево; используйте столько, сколько вам нужно. Если вы часто используете этот паттерн, напишите функцию, которая все это завернет:

function GetFirstIfAvailable(DB: TDatabaseObject; const FieldName: string): Integer;
begin
  if DB.First = 0 then
    Result := DB.ReturnFieldI(FieldName)
  else
    Result := 0;
end;

Ваш первоначальный код, вероятно, не был бы тем, что вы хотели, даже если бы порядок оценки был другим. Даже если бы DB.First не был равен нулю, вызов ReturnFieldI все равно был бы оценен. Все фактические параметры полностью оцениваются перед вызовом функции, которая их использует.

Изменение Math.pas вам все равно не поможет. Он не контролирует, в каком порядке оцениваются его фактические параметры. К тому времени, когда он их видит, они уже были оценены до булева значения и целого числа; они больше не являются исполняемыми выражениями.

Соглашение о вызове может повлиять на порядок оценки, но гарантии все равно нет. Порядок, в котором параметры помещаются в стек, не обязательно должен соответствовать порядку, в котором эти значения были определены. Действительно, если вы обнаружите, что stdcall или cdecl дают желаемый порядок оценки (слева направо), то они оцениваются в обратном порядке тому, с которым они были переданы.

Соглашение pascal о вызове передает аргументы слева направо на стеке. Это означает, что самый левый аргумент находится внизу стека, а самый правый - вверху, чуть ниже адреса возврата. Если в функции IfThen используется такое соглашение о вызове, компилятор мог бы добиться такого расположения стека несколькими способами:

1. Способ, который вы ожидаете, то есть каждый аргумент оценивается и заталкивается немедленно:

   push (DB.First = 0)
   push DB.ReturnFieldI('awesomedata1')
   вызов IfThen
   

2. Оцениваем аргументы справа налево и храним результаты во временных файлах до тех пор, пока они не будут вытолкнуты:

   tmp1 := DB.ReturnFieldI('awesomedata1')
   tmp2 := (DB.First = 0)
   push tmp2
   нажать на tmp1
   вызов IfThen
   

3. Сначала выделяем место в стеке, и оцениваем в любом удобном порядке:

   sub esp, 8
   mov [esp], DB.ReturnFieldI('awesomedata1')
   mov [esp + 4], (DB.First = 0)
   call IfThen
   

Обратите внимание, что IfThen получает значения аргументов в одном и том же порядке во всех трех случаях, но функции не обязательно вызываются в этом порядке.

Стандартная конвенция вызова регистров также передает аргументы слева направо, но первые три аргумента, которые подходят, передаются в регистрах. Регистры, используемые для передачи аргументов, также являются регистрами, наиболее часто используемыми для оценки промежуточных выражений. Результат DB.First = 0 нужно было передать в регистр EAX, но компилятору также понадобился этот регистр для вызова ReturnFieldI и для вызова First. Вероятно, было немного удобнее сначала оценить вторую функцию, например, так:

call DB.ReturnFieldI('awesomedata1')
mov [ebp - 4], eax // store result in temporary
call DB.First
test eax, eax
setz eax
mov edx, [ebp - 4]
call IfThen

Еще один момент, на который следует обратить внимание, - это то, что ваш первый аргумент является составным выражением. В нем есть вызов функции и сравнение. Ничто не гарантирует, что эти две части выполняются последовательно. Компилятор может сначала убрать вызовы функций, вызвав First и ReturnFieldI, а затем сравнить возвращаемое значение First с нулем.