使用指针将代码转换为 Pascal 中的程序集 - Delphi

Question

我下面有这段代码，我想将其转换为 ASM，以便也在 Delphi 中使用。

var
    FunctionAddressList: Array of Integer;

type TFunction = function(parameter: Integer): Integer; cdecl;

function Function(parameter: Integer): Integer;
var
    ExternFunction: TFunction;
begin
    ExternFunction := TFunction(FunctionAddressList[5]);
    Result := ExternFunction(parameter);
end;

它工作正常，但是当我尝试它的汇编版本时：

function Function(parameter: Integer): Integer; cdecl;
asm
  mov eax, FunctionAddressList
  jmp dword ptr [eax + 5 * 4]
end;

它应该工作，因为在 C++ 中它以两种方式工作：

void *FunctionAddressList;

_declspec(naked) int Function(int parameter)
{
    _asm mov eax, FunctionAddressList;
    _asm jmp dword ptr [eax + 5 * 4];
}

typedef int (*TFunction)(int parameter);
int Function(int parameter)
{
    TFunction ExternFunction = ((TFunction *)FunctionAddressList)[5];
    return ExternFunction(parameter);
}

但它在 Delphi 中不起作用。

在 Assembly 版本中，它将数组乘以 4，因为它是数组每个元素之间的偏移大小，因此两个版本是等效的。

所以，我想知道为什么它不适用于Delphi。在Delphi中，数组中整数值之间的偏移量与C++不同？

我已经尝试过许多偏移量，如 1、2、4、6、8 等。以及许多类型的数组（指针数组；仅指针；整数数组等），并且我尝试了许多调用约定， cdecl 是唯一适用于非 asm 版本的，但使用 ASM 时，所有测试都不起作用。

谢谢。

Answer 1

第一个测试应用程序重现错误：

var
  FunctionAddressList: Array of Integer;

function Bar(parameter: Integer): Integer; cdecl;
begin
  ShowMessage('Bar '+IntToStr(parameter));
end;

function Foo(parameter: Integer): Integer; cdecl;
asm
  mov eax, FunctionAddressList
  jmp dword ptr [eax + 5 * 4]
end;

procedure TForm1.Button1Click(Sender: TObject);
begin
  SetLength(FunctionAddressList, 6);
  FunctionAddressList[5]:= Integer(@Bar);
  Foo(25);
end;

Bar地址定义正确，但问题是Delphi编译器为Foo生成序言和结尾，所以真正的Foo代码是

0046CD30 55               push ebp
0046CD31 8BEC             mov ebp,esp
Unit1.pas.46:             mov eax, FunctionAddressList
Unit1.pas.47:             jmp dword ptr [eax + 5 * 4]
0046CD3B 5D               pop ebp
0046CD3C C3               ret

结果堆栈损坏，参数错误，Bar返回地址是错误的。如果您仍然想完成这个技巧，请使用

function Foo(parameter: Integer): Integer; cdecl;
asm
  pop ebp
  mov eax, FunctionAddressList
  jmp dword ptr [eax + 5 * 4]
end;

Answer 2

整数数组并不是你想象的那样。它是一个自动管理的动态数组。

您应该使用 FunctionAddressList: ^Pointer; 尝试相同的操作 - 但请注意，您必须进行手动分配和释放。