Pascal中如何通过过程指针调用过程？含指针参数的调用实现

问题场景 #

需要实现函数CallPointerProc，传入一个过程指针——该指针指向的过程接收一个指针类型参数，同时原DOS环境下使用的inline汇编方法在Windows移植版本中无法使用（不支持直接操作寄存器的inline语法）。

解决方案：强类型转换调用（跨平台通用） #

Pascal是强类型语言，先声明匹配的过程类型是最安全、通用的做法，能避免直接操作内存或栈带来的兼容性问题。

步骤1：声明匹配的过程类型 #

根据目标过程的参数和调用约定，定义对应的类型：

// 假设目标过程接收一个Pointer参数，调用约定为默认（可根据实际修改为stdcall/cdecl等）
type
  TPointerProc = procedure(Param: Pointer);

步骤2：转换并调用过程指针 #

在CallPointerProc内部，将通用Pointer类型转换为声明好的过程类型，然后直接调用：

procedure CallPointerProc(Proc: Pointer);
var
  TypedProc: TPointerProc;
begin
  // 将通用指针转换为强类型过程指针
  TypedProc := TPointerProc(Proc);
  // 调用过程，传入你需要的指针参数（示例传入nil，实际替换为目标指针）
  TypedProc(nil);
end;

关键注意事项 #

• 调用约定必须匹配：如果目标过程使用特定调用约定（如stdcall、cdecl），必须在类型声明中明确指定，否则会导致栈溢出或程序崩溃：

  type
    TPointerProc = procedure(Param: Pointer); stdcall; // 匹配stdcall调用约定
  

• 参数类型严格一致：确保声明的过程类型和实际指向的过程参数完全匹配，包括参数数量、类型。

为什么放弃DOS的inline汇编方法？ #

原DOS下的inline汇编直接操作栈指针（sp）和寄存器，这种方式依赖16位DOS的内存模型和调用约定；而Windows平台使用32/64位内存模型，且现代Pascal编译器（如Delphi、Free Pascal的Windows版本）要么不支持老式inline汇编语法，要么这种直接操作栈的方式会破坏现代编译器的栈管理逻辑，导致程序不稳定。

内容的提问来源于stack exchange，提问作者user3161924