1.1.6. Универсальные типы - Variant

В переменных типа Variant могут храниться данные любого типа, кроме записей множеств, статических массивов, файлов, классов, ссылок на классы, указателей и Int64. Такие переменные занимают дополнительно два байта и содержат код типа и значение переменной или указатель на это значение. Работа с такими переменными требует больше машинного вре­ме­ни, и ошибки при несоответствии типов значений обнаруживаются толь­ко при выполнении, а не при компиляции программы.

При объявлении универсальным переменным присваиваются спе­циаль­ные значения константой Unassigned. Значение переменной Null оз­на­чает ошибочное значение переменной.

Тип текущего значения можно установить функцией VarType(x), которая возвращает значения, соответственно, в виде именованных кон­стант: varEmpty (состояние Unassigned), varNull (null), varSmallInt, varInteger, varSingle, varDouble, varCurrency, Date (TdateTime), varOLEStr (ссыл­ка на динамически размещенную строку UNICODE), varDispatch, varError (код ошибки операционной системы), varBoolean(WordBool), varUnknown (неизвестный тип), varByte, VarString, varTypeMask (битовая мас­ка для извлечения кода типа), varArray (ссылка на массив Variant), varByRef (ссылка на тип Variant).

1.1.7. Массивы типа Variant

Переменным типа вариант нельзя присвоить значение обычного статического массива. Для этого существуют функции VarArrayCreate, VarArrayOf:

VarArrayCreate (const Bound: array of Integer,VarType: <тип>): Variant;

Bound - массив пар целых чисел, каждая пара определяет нижнее и верхнее значение индекса одной размерности массива.

VarType - тип массива, равный константам с результатом работы функции VarType (п.1.1.6), кроме VarString, varArray, varRef.

Пример создания массива типа Variant из 6 целых чисел:

Var V: Variant; //объявление переменной типа Variant

V:=VarArrayCreate([0,5], varInteger); //создание массива

Пример создания массива типа Variant из 3 значений типа Variant:

Var M: Variant; //объявление переменной типа Variant

M:=VarArrayCreate([0,2], varVariant); //создание массива

M[0]:=’Иванов И.И.’; M[1]:=’04.05.70’; M[2]:=True; //присвоение значений

VarArrayOf(const Values: array of Variant): Variant;

Values - массив задает число и значения элементов в создаваемом массиве.

Пример. Продолжим предыдущий пример и создадим одномерный массив M[2] из четырех значений: 1,’Факт’, 12, 13:

M[2]:=VarArrayOf([1,'Факт',12,13]); //создание массива M[2] из 4 элементов Label3.caption:=m[2][2]; //вывод третьего значения 12 в метку Label3

Рассмотрим и другие полезные функции (п. 3.8).

VarArray Low/High Bound(x:Variant,N) ‑ возвращает нижнюю/верхнюю границу аргумента.

VarIsArray(x:Variant) ‑ возвращает True, если аргумент является массивом типа Variant.

VarIsNull(x:Variant) ‑ возвращает True, если аргумент равен Null (пустой).

1.1.8. Указатели

Указатель ‑ переменная, которая содержит значение адреса неко­торой другой переменной, структуры или объекта.

Типизированный указатель объявляется следующим образам:

Type < имя типа указателя> = ^ < идентификатор типа данных>;

Var <имя переменной ‑ указателя : <имя типа указателя>; или

Var <имя переменной ‑ указателя : ^ <идентификатор типа данных>.

При объявлении вместо ^<типа указателя> можно использовать специально определенные для указателей типы:

Pointer - нетипизированный указатель, который может указывать на данные любого типа (Var b: Pointer).

PAnsiString, PString - указатель на данные типа AnsiString (Var s: Pstring).

PCurrency (Currency), PExtended (Extended), POleVariant (OleVariant), PShortString (ShortString), PTextBuf (TextBuf), PVarRec (VarRec), PVariant (Variant), PwideString (WideString).

PbyteArray (ByteArray) и PwordArray (TwordArray) для доступа к динамически размещаемым массивам.

При объявлении указателя ему присваивается значение именованной константы Nil, которая является признаком того, что указатель ни на что не указывает. Над указателем можно делать только операции сравнения на равенство и неравенство.

Если в выражении символ “^” находится справа от указателя, то это ‑ опе­­­рация разадресации: берется значение по этому адресу.

Запись вида @<переменная> или Addr(<переменная>) означает взятие адреса указанной переменной.

Пример:

Type tu = PInteger; //объявление типа указателя, можно и TU=^Integer

Var a : tu ; z1, z2: Integer; //объявление указателя A и переменных

Begin z1:=100; a:=Addr(z1); // можно A:=@Z1, адрес Z1 помещается в A

z2:=a^; //z2:=z1, т.е. z2=100.

End;

Обычно указатели используют для формирования динамических структур типов очередей, списков, стеков, когда число элементов этих структур заранее не известно (п.1.9).