program VarPar; { Простая программа, демонстрирующая пример использования переменного числа параметров заданного типа в Delphi. Создано в марте 1995, автор Hallvard Vassbotnhallvard@falcon.no} uses WinCrt, SysUtils; { предопределения в System: const vtInteger = 0;vtBoolean = 1;vtChar = 2;vtExtended = 3;vtString = 4;vtPointer = 5;vtPChar = 6;vtObject = 7;vtClass = 8; typeTVarRec = recordcase Integer ofvtInteger: (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) dowith ArgsTyped[i] dobeginWrite('Args[', i, '] : ', TypeNames[VType], ' = ');case VType ofvtInteger: 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. |
[000313]