19

通常，在 Delphi 中，人们会使用 'array of const' 方法声明一个具有可变数量参数的函数。但是，为了与用 C 编写的代码兼容，可以将一个未知的“varargs”指令添加到函数声明中（我在阅读 Rudy 出色的“转换的陷阱”文档时了解到这一点）。

例如，可以在 C 语言中有一个函数，声明如下：

void printf(const char *fmt, ...)

在 Delphi 中，这将变为：

procedure printf(const fmt: PChar); varargs;

我的问题是：在实现使用 'varargs' 指令定义的方法时，如何获取堆栈的内容？

我希望存在一些用于此的工具，例如 va_start()、va_arg() 和 va_end() 函数的 Dephi 翻译，但我在任何地方都找不到。

请帮忙！

PS：请不要在关于“为什么”或“const 数组”替代方案的讨论中飘忽不定——我需要这个来为 Xbox 游戏中的函数编写类似 C 的补丁（参见 sourceforge 上的 Delphi Xbox 模拟器项目“Dxbx”详情）。

4

3 回答 3

20

好的，我在您的问题中看到了说明，这意味着您需要在 Delphi 中实现 C 导入。在这种情况下，您需要自己实现可变参数。

需要的基本知识是 x86 上的 C 调用约定：堆栈向下增长，C 将参数从右向左推送。因此，指向最后声明的参数的指针在增加最后声明的参数的大小后，将指向尾部参数列表。从那时起，只需读取参数并将指针增加适当的大小以深入堆栈。32 位模式下的 x86 堆栈通常是 4 字节对齐的，这也意味着字节和字作为 32 位整数传递。

无论如何，这里有一个演示程序中的帮助记录，它显示了如何读出数据。请注意，Delphi 似乎以一种非常奇怪的方式传递扩展类型。但是，您可能不必担心这一点，因为 10 字节浮点数通常不会在 C 中广泛使用，甚至在最新的 MS C、IIRC 中也没有实现。

{$apptype console}

type  
  TArgPtr = record
  private
    FArgPtr: PByte;
    class function Align(Ptr: Pointer; Align: Integer): Pointer; static;
  public
    constructor Create(LastArg: Pointer; Size: Integer);
    // Read bytes, signed words etc. using Int32
    // Make an unsigned version if necessary.
    function ReadInt32: Integer;
    // Exact floating-point semantics depend on C compiler.
    // Delphi compiler passes Extended as 10-byte float; most C
    // compilers pass all floating-point values as 8-byte floats.
    function ReadDouble: Double;
    function ReadExtended: Extended;
    function ReadPChar: PChar;
    procedure ReadArg(var Arg; Size: Integer);
  end;

constructor TArgPtr.Create(LastArg: Pointer; Size: Integer);
begin
  FArgPtr := LastArg;
  // 32-bit x86 stack is generally 4-byte aligned
  FArgPtr := Align(FArgPtr + Size, 4);
end;

class function TArgPtr.Align(Ptr: Pointer; Align: Integer): Pointer;
begin
  Integer(Result) := (Integer(Ptr) + Align - 1) and not (Align - 1);
end;

function TArgPtr.ReadInt32: Integer;
begin
  ReadArg(Result, SizeOf(Integer));
end;

function TArgPtr.ReadDouble: Double;
begin
  ReadArg(Result, SizeOf(Double));
end;

function TArgPtr.ReadExtended: Extended;
begin
  ReadArg(Result, SizeOf(Extended));
end;

function TArgPtr.ReadPChar: PChar;
begin
  ReadArg(Result, SizeOf(PChar));
end;

procedure TArgPtr.ReadArg(var Arg; Size: Integer);
begin
  Move(FArgPtr^, Arg, Size);
  FArgPtr := Align(FArgPtr + Size, 4);
end;

procedure Dump(const types: string); cdecl;
var
  ap: TArgPtr;
  cp: PChar;
begin
  cp := PChar(types);
  ap := TArgPtr.Create(@types, SizeOf(string));
  while True do
  begin
    case cp^ of
      #0: 
      begin
        Writeln;
        Exit;
      end;

      'i': Write(ap.ReadInt32, ' ');
      'd': Write(ap.ReadDouble, ' ');
      'e': Write(ap.ReadExtended, ' ');
      's': Write(ap.ReadPChar, ' ');
    else
      Writeln('Unknown format');
      Exit;
    end;
    Inc(cp);
  end;
end;

type
  PDump = procedure(const types: string) cdecl varargs;
var
  MyDump: PDump;

function AsDouble(e: Extended): Double;
begin
  Result := e;
end;

function AsSingle(e: Extended): Single;
begin
  Result := e;
end;

procedure Go;
begin
  MyDump := @Dump;

  MyDump('iii', 10, 20, 30);
  MyDump('sss', 'foo', 'bar', 'baz');

  // Looks like Delphi passes Extended in byte-aligned
  // stack offset, very strange; thus this doesn't work.
  MyDump('e', 2.0);
  // These two are more reliable.
  MyDump('d', AsDouble(2));
  // Singles passed as 8-byte floats.
  MyDump('d', AsSingle(2));
end;

begin
  Go;
end.
于 2008-11-18T12:32:14.017 回答
2

我发现了这个（来自我们认识的一个人:)）

要正确编写这些东西，您需要使用 BASM，Delphi 的内置汇编程序，并在 asm 中编写调用序列。希望您对需要做什么有一个很好的了解。如果您遇到困难，也许 .basm 组中的帖子会有所帮助。

于 2008-11-18T10:56:43.223 回答
0

Delphi 不允许您实现可变参数例程。它仅适用于导入使用它的外部 cdecl 函数。

由于 varargs 基于 cdecl 调用约定，因此您基本上需要在 Delphi 中自己重新实现它，使用汇编和/或各种指针操作。

于 2008-11-18T10:59:23.920 回答