program VarPar;

{ Простая программа, демонстрирующая пример использования переменного

числа параметров заданного типа в Delphi.

}

uses WinCrt, SysUtils;

{ предопределения в System:
const

vtInteger  = 0;
vtBoolean  = 1;
vtChar     = 2;
vtExtended = 3;
vtString   = 4;
vtPointer  = 5;
vtPChar    = 6;
vtObject   = 7;
vtClass    = 8;

type
TVarRec = record
case Integer of
vtInteger:  (VInteger: Longint; VType: Byte);
vtBoolean:  (VBoolean: Boolean);
vtChar:     (VChar: Char);
vtExtended: (VExtended: PExtended);
vtString:   (VString: PString);
vtPointer:  (VPointer: Pointer);
vtPChar:    (VPChar: PChar);
vtObject:   (VObject: TObject);
vtClass:    (VClass: TClass);
end;
}

const

   TypeNames: array[vtInteger..vtClass] of PChar =
   ('Integer', 'Boolean', 'Char', 'Extended', 'String',
     'Pointer', 'PChar', 'Object', 'Class');

   {
   Согласно on-line документации (поиск по слову TVarRec), массив параметров
   array of const интерпретируется компилятором подобно массиву array of TVarRec.
   Данный пример будет работать подобно тому, как если бы вы изменили
   объявление TestMultiPar на:

   procedure TestMultiPar(const Args: array of TVarRec);

   Вы можете сделать реализацию обычного "очистителя" (без объявления
   переменных), но интерфейс был бы менее понятным пользователям данного
   модуля.

   Компилятор видит параметры и формирует массив непосредственно в
   стеке. Для каждого элемента массива также устанавливается поле
   VType с одной из предопределенных констант vtXXXX. Фактически
   значение всегда передается в виде четыре байта информации. Для
   типов Boolean и Char полезную информацию содержит только первый
   байт.

   Теперь вы можете писать все те же хорошие программы, но вдобавок
   поддерживающие переменное количество параметров с проверкой типов!
   }

function PtrToHex(P: pointer): string;
begin

   Result := IntToHex(Seg(P^), 4) + ':' + IntToHex(Ofs(P^), 4);
end;

procedure TestMultiPar(const Args: array of const);
var

   ArgsTyped: array[0..$FFF0 div sizeof(TVarRec)] of TVarRec absolute Args;
   i: integer;
begin

   for i := Low(Args) to High(Args) do
     with ArgsTyped[i] do
     begin
       Write('Args[', i, '] : ', TypeNames[VType], ' = ');
       case VType of
         vtInteger: writeln(VInteger);
         vtBoolean: writeln(VBoolean);
         vtChar: writeln(VChar);
         vtExtended: writeln(VExtended^: 0: 4);
         vtString: writeln(VString^);
         vtPointer: writeln(PtrToHex(VPointer));
         vtPChar: writeln(VPChar);
         vtObject: writeln(PtrToHex(Pointer(VObject)));
         vtClass: writeln(PtrToHex(Pointer(VClass)));
       end;
     end;
end;

var

   MyObj: TObject;
begin

   Writeln('Проверка выполнения функции с переменным количеством параметров и проверкой типов:');
   MyObj := TObject.Create;
   TestMultiPar([123, 45.67, PChar('ASCIIZ'), 'Здравствуй, мир!', true, 'X',
     @ShortDayNames, TObject, MyObj]);
   MyObj.Free;

   { Для того, чтобы обеспечить предварительную проверку типа при передаче параметров,
   попробуйте следующее: }
   writeln(Format('%d', ['привет']));
   { Переданный параметр не является ожидаемым типом. Строка формата '%d'
   говорит о том, что параметр должен быть целой величиной, но вместо этого мы передаем
   строку. Во время выполнения это вызовет исключительную ситуацию, и если вы не организовали
   ловушку для объектов исключения, то Delphi выведет вам строку с описанием ошибки.
   Использование функции C-типа sprintf в этом случае может привести к непредсказуемым
   последствиям (читай: крах системы, GP и все что угодно) }
end.