8

助けてください!Delphi の一部の C ヘッダーのラッパーを作成するには、この変換が必要です。

例として:

function pushfstring(fmt: PAnsiChar): PAnsiChar; cdecl; varargs; external;

...

function PushString(fmt: AnsiString; const args: array of const): AnsiString;
begin
  Result := AnsiString(pushfstring(PAnsiString(fmt), args)); // it's incorrect :/
end;

「const の配列」を「varargs」に変換するにはどうすればよいですか?

edit : function PushString は実際にはレコード内にあり (簡単な例を示しました)、pushfstring に直接アクセスすることはできません。直通電話は除きます。

編集 2 : Delphi の LUA ライブラリのユニットを作成していますが、ケースは私にとって非常に重要です。

問題のすべての詳細を指定して提供する-私はCでこの機能を持っています:

LUA_API const char *(lua_pushfstring) (lua_State *L, const char *fmt, ...);

Delphiには次のようなものがあります:

LuaLibrary.pas

{...}
interface
{...}
function lua_pushfstring(L: lua_State; fmt: PAnsiChar): PAnsiChar; cdecl; varargs;
implementation
{...}
function lua_pushfstring; external 'lua.dll'; // or from OMF *.obj file by $L

dtxLua.pas

uses LuaLibrary;
{...}
type
  TLuaState = packed record
  private
    FLuaState: lua_State;
  public
    class operator Implicit(A: TLuaState): lua_State; inline;
    class operator Implicit(A: lua_State): TLuaState; inline;
    {...}
    // btw. PushFString can't be inline function
    function PushFString(fmt: PAnsiChar; const args: array of const ): PAnsiChar; 
    //... and a lot of 'wrapper functions' for functions like a lua_pushfstring, 
    // where L: lua_State; is the first parameter
  end;
implementation
{...}
function TLuaState.PushFString(fmt: PAnsiChar; const args: array of const )
  : PAnsiChar;
begin
  Result := lua_pushfstring(FLuaState, fmt, args); // it's incorrect :/
end;

Lua.pas のような他のユニットでは、dtxLua.pas の TLuaState のみを使用します (LuaLibrary はかさばるため、dtxLua は私のラッパーです)。多くの便利でクールなもの...

4

4 に答える 4

14

のプロトタイプpushfstringは次のようなものだと思います。

void pushfstring(const char *fmt, va_list args);

そうでなく、代わりにある場合:

void pushfstring(const char *fmt, ...);

...それなら、あなたにもカバーしてもらいましょう。

C では、ある可変個引数関数から別の関数に呼び出しを渡す必要がある場合はva_listva_startとを使用し、関数のバージョンをva_end呼び出す必要があります。vしたがって、自分で実装している場合は、文字列をフォーマットするためにprintf使用できます。直接呼び出して可変引数リストを渡すことはできません。友達と使う必要があります。vsprintfsprintfva_list

Delphi からC を処理するのは非常に厄介va_listであり、技術的には行うべきではありません。 の実装はva_list、C コンパイラ ベンダーのランタイムに固有のものです。

ただし、試すことはできます。ちょっとしたクラスがあるとします - 使いやすいようにレコードにしましたが:

type
  TVarArgCaller = record
  private
    FStack: array of Byte;
    FTop: PByte;
    procedure LazyInit;
    procedure PushData(Loc: Pointer; Size: Integer);
  public
    procedure PushArg(Value: Pointer); overload;
    procedure PushArg(Value: Integer); overload;
    procedure PushArg(Value: Double); overload;
    procedure PushArgList;
    function Invoke(CodeAddress: Pointer): Pointer;
  end;

procedure TVarArgCaller.LazyInit;
begin
  if FStack = nil then
  begin
    // Warning: assuming that the target of our call doesn't 
    // use more than 8K stack
    SetLength(FStack, 8192);
    FTop := @FStack[Length(FStack)];
  end;
end;

procedure TVarArgCaller.PushData(Loc: Pointer; Size: Integer);
  function AlignUp(Value: Integer): Integer;
  begin
    Result := (Value + 3) and not 3;
  end;
begin
  LazyInit;
  // actually you want more headroom than this
  Assert(FTop - Size >= PByte(@FStack[0]));
  Dec(FTop, AlignUp(Size));
  FillChar(FTop^, AlignUp(Size), 0);
  Move(Loc^, FTop^, Size);
end;

procedure TVarArgCaller.PushArg(Value: Pointer); 
begin
  PushData(@Value, SizeOf(Value));
end;

procedure TVarArgCaller.PushArg(Value: Integer); 
begin
  PushData(@Value, SizeOf(Value));
end;

procedure TVarArgCaller.PushArg(Value: Double); 
begin
  PushData(@Value, SizeOf(Value));
end;

procedure TVarArgCaller.PushArgList;
var
  currTop: PByte;
begin
  currTop := FTop;
  PushArg(currTop);
end;

function TVarArgCaller.Invoke(CodeAddress: Pointer): Pointer;
asm
  PUSH EBP
  MOV EBP,ESP

  // Going to do something unpleasant now - swap stack out
  MOV ESP, EAX.TVarArgCaller.FTop
  CALL CodeAddress
  // return value is in EAX
  MOV ESP,EBP

  POP EBP
end;

このレコードを使用して、さまざまな C 呼び出しに必要な呼び出しフレームを手動で構築できます。x86 での C の呼び出し規約は、引数をスタック上で右から左に渡し、呼び出し元がクリーンアップすることです。一般的な C 呼び出しルーチンのスケルトンを次に示します。

function CallManually(Code: Pointer; const Args: array of const): Pointer;
var
  i: Integer;
  caller: TVarArgCaller;
begin
  for i := High(Args) downto Low(Args) do
  begin
    case Args[i].VType of
      vtInteger: caller.PushArg(Args[i].VInteger);
      vtPChar: caller.PushArg(Args[i].VPChar);
      vtExtended: caller.PushArg(Args[i].VExtended^);
      vtAnsiString: caller.PushArg(PAnsiChar(Args[i].VAnsiString));
      vtWideString: caller.PushArg(PWideChar(Args[i].VWideString));
      vtUnicodeString: caller.PushArg(PWideChar(Args[i].VUnicodeString));
      // fill as needed
    else
      raise Exception.Create('Unknown type');
    end;
  end;
  Result := caller.Invoke(Code);
end;

printfとして:

function printf(fmt: PAnsiChar): Integer; cdecl; varargs; 
    external 'msvcrt.dll' name 'printf';

const
  // necessary as 4.123 is Extended, and %g expects Double
  C: Double = 4.123;
begin
  // the old-fashioned way
  printf('test of printf %s %d %.4g'#10, PAnsiChar('hello'), 42, C);
  // the hard way
  CallManually(@printf, [AnsiString('test of printf %s %d %.4g'#10), 
                         PAnsiChar('hello'), 42, C]);
end.

バージョンの呼び出しは、引数の場所を期待される場所に慎重に配置する必要があるためva_list、少し複雑です。va_list

function CallManually2(Code: Pointer; Fmt: AnsiString;
    const Args: array of const): Pointer;
var
  i: Integer;
  caller: TVarArgCaller;
begin
  for i := High(Args) downto Low(Args) do
  begin
    case Args[i].VType of
      vtInteger: caller.PushArg(Args[i].VInteger);
      vtPChar: caller.PushArg(Args[i].VPChar);
      vtExtended: caller.PushArg(Args[i].VExtended^);
      vtAnsiString: caller.PushArg(PAnsiChar(Args[i].VAnsiString));
      vtWideString: caller.PushArg(PWideChar(Args[i].VWideString));
      vtUnicodeString: caller.PushArg(PWideChar(Args[i].VUnicodeString));
    else
      raise Exception.Create('Unknown type'); // etc.
    end;
  end;
  caller.PushArgList;
  caller.PushArg(PAnsiChar(Fmt));
  Result := caller.Invoke(Code);
end;

function vprintf(fmt: PAnsiChar; va_list: Pointer): Integer; cdecl;
    external 'msvcrt.dll' name 'vprintf';

begin
  // the hard way, va_list
  CallManually2(@vprintf, 'test of printf %s %d %.4g'#10, 
      [PAnsiChar('hello'), 42, C]);
end.

ノート:

  • 上記は、Windows 上の x86 を想定しています。私の実験によると、 Microsoft C、bcc32 (Embarcadero C++)、および gcc はすべてva_list同じ方法 (スタック上の最初の可変引数へのポインター) で渡されるため、うまくいくはずです。しかし、Windows 上の x86 の仮定が破られるとすぐに、これも壊れる可能性があると予想してください。

  • スタックは、その構築を容易にするために交換されます。これは、より多くの作業を行うことで回避できますがva_list、引数がスタックに渡されたかのように引数を指す必要があるため、渡すのも難しくなります。結果として、コードでは、呼び出されたルーチンが使用するスタックの量を想定する必要があります。この例では 8K を想定していますが、これは小さすぎる可能性があります。必要に応じて増やしてください。

于 2010-02-21T17:53:00.370 に答える
4

Free Pascal は varargs 外部関数に対して 2 つの同等の宣言をサポートしているため、作成しようとしているラッパーは Free Pascal で可能です。

http://www.freepascal.org/docs-html/ref/refsu68.html

だから代わりに

function pushfstring(fmt: PAnsiChar): PAnsiChar; cdecl; varargs; external;

あなたは書くべきです

function pushfstring(fmt: PAnsiChar; Args: Array of const): PAnsiChar; cdecl; external;

更新: Delphi で同じトリックを試しましたが、うまくいきません:

//function sprintf(S, fmt: PAnsiChar; const args: array of const): Integer;
//           cdecl; external 'MSVCRT.DLL';

function sprintf(S, fmt: PAnsiChar): Integer;
           cdecl; varargs; external 'MSVCRT.DLL';

procedure TForm1.Button1Click(Sender: TObject);
var
  S, fmt: Ansistring;

begin
  SetLength(S, 99);
  fmt:= '%d - %d';
//  sprintf(PAnsiChar(S), PAnsiChar(fmt), [1, 2]);
  sprintf(PAnsiChar(S), PAnsiChar(fmt), 1, 2);
  ShowMessage(S);
end;
于 2010-02-21T14:36:14.373 に答える
2

「const の配列」は、実際には、特別なバリアント型である TVarRec の配列です。これは varargs と互換性がなく、ラッパーを使用せずに varargs 関数を直接呼び出すことができるはずです。

于 2010-02-21T13:28:23.033 に答える
1

Barry Kelly は、スタックを交換せずに解決策を探すように私に促しました...これが解決策です (おそらく、RealCall_CDecl の代わりに rtti ユニットからの Invoke を使用することもできます)。

// This function is copied from PascalScript
function RealCall_CDecl(p: Pointer;
  StackData: Pointer;
  StackDataLen: Longint; // stack length are in 4 bytes. (so 1 = 4 bytes)
  ResultLength: Longint; ResEDX: Pointer): Longint; Stdcall; 
  // make sure all things are on stack
var
  r: Longint;
begin
  asm
    mov ecx, stackdatalen
    jecxz @@2
    mov eax, stackdata
    @@1:
    mov edx, [eax]
    push edx
    sub eax, 4
    dec ecx
    or ecx, ecx
    jnz @@1
    @@2:
    call p
    mov ecx, resultlength
    cmp ecx, 0
    je @@5
    cmp ecx, 1
    je @@3
    cmp ecx, 2
    je @@4
    mov r, eax
    jmp @@5
    @@3:
    xor ecx, ecx
    mov cl, al
    mov r, ecx
    jmp @@5
    @@4:
    xor ecx, ecx
    mov cx, ax
    mov r, ecx
    @@5:
    mov ecx, stackdatalen
    jecxz @@7
    @@6:
    pop eax
    dec ecx
    or ecx, ecx
    jnz @@6
    mov ecx, resedx
    jecxz @@7
    mov [ecx], edx
    @@7:
  end;
  Result := r;
end;

// personally created function :)
function CallManually3(Code: Pointer; const Args: array of const): Pointer;
var
  i: Integer;
  tmp: AnsiString;
  data: AnsiString;
begin
  for i := Low(Args) to High(Args) do
  begin
    case Args[i].VType of
      vtInteger, vtPChar, vtAnsiString, vtWideString, vtUnicodeString: begin
          tmp := #0#0#0#0;
          Pointer((@tmp[1])^) := TVarRec(Args[i]).VPointer;
      end;
      vtExtended: begin
          tmp := #0#0#0#0#0#0#0#0;
          Double((@tmp[1])^) := TVarRec(Args[i]).VExtended^;
      end;
      // fill as needed
    else
      raise Exception.Create('Unknown type');
    end;

    data := data + tmp;
  end;

  Result := pointer(RealCall_CDecl(Code, @data[Length(data) - 3], 
    Length(data) div 4, 4, nil));
end;

function printf(fmt: PAnsiChar): Integer; cdecl; varargs;
    external 'msvcrt.dll' name 'printf';

begin
  CallManually3(@printf, 
    [AnsiString('test of printf %s %d %.4g'#10), 
      PAnsiChar('hello'), 42, 4.123]);
end.
于 2010-02-22T00:47:06.430 に答える