Доброго времени суток.
Есть минимальный пример для воспроизведения, в нем процедура вызывает другую процедуру по переданному адресу, которая меняет var-параметр:
Код
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
interface
type
TSomeProc = procedure(const NewValue: integer; var Value: integer);
...
implementation
procedure CallProc(Proc: TSomeProc; var Value: integer);
begin
Proc(1, Value);
end;
procedure ExternalProc(const NewValue: integer; var Value: integer);
begin
Value := NewValue;
end;
procedure TForm1.Button1Click(Sender: TObject);
procedure InnerProc(const NewValue: integer; var Value: integer);
begin
Value := NewValue;
end;
var
Value: integer;
begin
Value := -1;
//Вариант 1
//CallProc(@ExternalProc, Value);
//Вариант 2
CallProc(@InnerProc, Value);
ShowMessage(IntToStr(Value));
end;
При компиляции 32-х битным компилятором (Delphi 2007 и Delphi XE8) без ошибок выполняется как вариант 1, так и вариант 2.
При компиляции 64-х битным компилятором (Delphi XE8) без ошибок выполняется только вариант 1.
Вариант 2 выдает ошибку:
Ошибка---------------------------
Debugger Exception Notification
---------------------------
Project Bug64.exe raised exception class $C0000005 with message 'c0000005 ACCESS_VIOLATION'.
---------------------------
Break Continue Help
---------------------------
Есть предположение, что проблема в том, что InnerProc вложена в
метод класса , т.е. всегда имеет неявный аргумент Self.
Однако, тогда не понятно, почему при компиляции в 32 бита ошибки нет.
Возможно, что при компиляции в 32 бита "везет" на расположение аргументов (в регистре или на стеке), а в 64 - "не везет". Пробовал добавлять ко всем процедурам stdcall - тот же результат.
Подскажите, пожалуйста, что происходит на самом деле.
Без использования адреса
Насколько я понимаю, вызов с использованием адреса ("CallProc(@...") приводит к "обману" проверки типов компилятора, а вызов без @ приведет к ошибкам компиляции, т.е. дельфи старается не дать программисту отстрелить себе ногу:
dcc Error[dcc32 Error] uBug64.pas(52): E2094 Local procedure/function 'InnerProc' assigned to procedure variable
и
[dcc64 Error] uBug64.pas(52): E2094 Local procedure/function 'InnerProc' assigned to procedure variable
P.S. Проблема не выдумана, такой прием активно используется в одном стороннем компоненте.
