Вызов cи-шной функции с переменным числом параметров

 Автор: Владимир Переплетчик

Комментарий к статье по поводу wsprintf

 Сама по себе статья вызывает мало интереса, кроме того, что поднята интересная проблема - вызов с-шной функции с переменным числом параметров. В ответах с использованием массивов вообще, IMHO, ошибка - на стек попадет адрес массива, а в с это совсем не то. Но решение проблемы существует, правда надо ручками повозиться со стеком. Приводимая ниже функция на скорую руку переделывается из работающей в реальном проекте похожего буфера с-паскаль, но там функция в dll имеет тип вызова cdecl и другие обязательные параметры, в связи с чем возможны "опечатки"

 

 

Code:

// Пишем функцию-переходник, маскируя с-шные "..." паскалевским

// array of const

 

function sprintf(out, fmt: Pchar; args: array of const): Integer;

var

I: Integer;

BufPtr: Pchar;

S: string;

buf: array[0..1024] of char;

begin

BufPtr := buf;

// Формируем буфер параметров. Можно, конечно, и прямо на стеке,

// но головной боли слишком много - проще так

for I := low(Par) to High(Par) do

   case Par[I].VType of

     vtInteger: // Здесь все просто - 4 байта на стек

       begin

         Integer(Pointer(BufPtr)^) := Par[I].VInteger;

         Inc(BufPtr, 4);

       end;

     vtExtended: // Здесь хуже - слова надо местами поменять :-((

       begin

         Integer(Pointer(BufPtr)^) :=

           Integer(Pointer(Pchar(Par[I].VExtended) + 4)^);

         Inc(BufPtr, 4);

         Integer(Pointer(BufPtr)^) :=

           Integer(Pointer(Par[I].VExtended)^);

         Inc(BufPtr, 4);

       end;

     vtPChar: // Здесь тоже все хорошо - 4 байта

       begin

         Pointer(Pointer(BufPtr)^) := Par[I].VPchar;

         Inc(BufPtr, 4);

       end;

     vtString, vtAnsiString: // А здесь во избежание чудес надо

       // копию строки снять

       begin

         if Par[I].VType = vtString then

           S := Par[I].VString^

         else

           S := string(Par[I].VAnsiString);

         Pointer(Pointer(BufPtr)^ :=

           StrPCopy(StrAlloc(Length(S) + 1), S);

           Inc(BufPtr, 4);

       end;

   end;

// Поддержку других типов доделывать самостоятельно,

// вооружившись толковым пособием по с и ассемблеру

 

I := (BufPtr - buf) div 4; // Сколько раз на стек слово положить

 

asm

     push dword ptr [out]

     push dword ptr [fmt]

     mov ecx, dword ptr [i]

     mov eax, dword ptr [buf]  // stdcall - параметры в прямом

                               // порядке

     @@1:

     push dword ptr [eax]

     add  eax, 4

     loop @@1

     call [wsprintf]

     mov  dword ptr [Result], eax // Сохранить результат

     mov eax, dword ptr [i]       // Привести в порядок стек

     shl eax, 2

     add eax, 8

     add esp, eax

end;

// Почистить строки

for I := low(Par) to High(Par) do

   case Par[I].VType of

     vtInteger: Inc(BufPtr, 4);

     vtExtended: Inc(BufPtr, 8);

     vtPChar: Inc(BufPtr, 4);

     vtString, vtAnsiString:

       begin

         StrDispose(PChar(PPointer(BufPtr)^));

         Inc(BufPtr, 4);

       end;

   end;

end;

 

 

В таком виде методика уже имеет смысл. Изменения при типах вызова cdecl / pascal понятны.

 

 

Добавить комментарий

Не использовать не нормативную лексику.

Просьба писать ваши замечания, наблюдения и все остальное,
что поможет улучшить предоставляемую информацию на этом сайте.

ВСЕ КОММЕНТАРИИ МОДЕРИРУЮТСЯ ВРУЧНУЮ, ТАК ЧТО СПАМИТЬ БЕСПОЛЕЗНО!


Защитный код
Обновить