Глава 10

ВАРИАНТЫ

10.1. ОСНОВНЫЕ СВОЙСТВА ВАРИАНТА

Вариант (в Delphi 1 он отсутствует) - это тип variant, разработанный специально для тех случаев, когда на этапе компиляции программист не может сказать, какого типа данные будут использоваться в выражении или как параметры вызова подпрограмм. Переменная-вариант занимает в памяти дополнительные 2 байта, в которые помещается информация о действительном типе переменной. Эта информация позволяет компилятору создать код, который будет осуществлять необходимое преобразование типов на этапе прогона программы.

В переменную-вариант можно поместить:

- целое или вещественное число;
- логическое значение;
- строку;
- время и/или дату;
- OLE-объект;
- массив произвольной размерности и длины, содержащий элементы одного из перечисленных выше типов.

Варианты могут участвовать в целочисленных, вещественных, логических и время-дата выражениях при условии корректности соответствующих преобразований. Например, если варианту v присвоена строка '1.0', то выражение 1+v будет правильным вещественным значением 2,0. Однако если v := 'текст', выражение 1+v вызовет исключение EVariantError.

В Delphi определены такие константы, указывающие тип помещенных в вариант данных:

Таблица 10.1. Типы возможных значений варианта

Имя | Константа | Смысл
varEmp.ty | $0000 | Нет данных
varNull | $0001 | Неизвестный тип параметра

varSmallInt | $0002 | Целый тип Smallint

varlnteger | $0003 | Целый тип Integer
varSingle | $0004 | Вещественный тип Single
varDouble | $0005 | Вещественный тип Double
varCurrency | $0006 | Вещественный тип Currency
varDate | $0007 | Тип дата-время
varOleStr | $0008 | OLE-строка в кодировке Unicode
varDispatch | $0009 | Указатель на OLE-объект
varError | $000А | Код ошибки
varBoolean | $000В | Тип WordBool
varVariant | $000С | Тип Variant (только для вариантных массивов)
varUnknow | $0011 | Неизвестный OLE-объект
varByte | $0100 | Целый тип Byte
varString | $0100 | Строковый тип
varArray | $2000 | Вариантный массив
varByRef | $4000 | Указатель на данные

Структура вариантного типа описывается следующим образом:

TVarData = packed record

VType: Word;

Reservedly Reserved2, ReservedS: Word;

case Integer of

varSmallInt: (VSmallInt: Smallint);

varlnteger: (VInteger: Integer);

varSingle: (VSingle: Single);

varDouble: (VDouble: Double);

varCurrency: (VCurrency: Currency);

varDate:(VDate: Double) ;

varOleStr: (VOleStr: PWideChar) ;

varDispatch: (VDispatch: Pointer);

varError: (VError: WordBool);

varString: (VString: Pointer);

varArray: (VArray: PVarArray) ;

varByRef: (VPointer: Pointer);

end;

Как нетрудно убедиться, любая переменная вариантного типа представляет собой 16-байтную запись, содержащую 8-байтную вариантную часть, которая хранит либо собственно данные, либо их адрес (т. е. указатель на динамически размещ

К чему приводится | Тип данных в варианте
varEmpty | Целые | Вещественные | Дата-

Время

Строковые

Логические

К дата- 'У: время

30.12.

1899 00:00:00

Преобразование в

Double

Преобразование в

Double

Без преобразования Преобразование в дату

Преобразование в Double

К целым

0

Преобразование в соответствующий тип

Округление

до ближайшего целого

Округление до ближайшего целого

Преобразование в целый тип

0 для False,
иначе-1 (255 для

Byte)

.'К дата- 'У: время

30.12.1899 00:00:00

Преобразование в

Double

Преобразование в

Double

Без преобразования

Преобразование в дату

Преобразование в

Double

К строковым

Пустая строка

Преобразование в символьный вид

Преобразование в символьный вид

Преобразование в символьный вид

Без преобразования

'0'для False,'-!' для True

К логическим

False

False для 0, иначе

True

False для 0, иначе

True

False для 0, иначе

True

False для 'False' и для '0', иначе True

Без преобразования

енные данные). В поле VType в момент создания варианта компилятор помещает, признак отсутствия данных varEmpty. В работающей программе значение этого поля меняется в соответствии с текущим типом данных, размещенных в вариантной части. Замечу, что программа не может получить прямого доступа к полям вариантной записи. Получить тип вариантных данных можно с помощью функции varType (см. ниже), а изменить тип - путем присваивания варианту нового значения.