СД типа указатель.

Date: 2015-10-07; view: 440.

Указательный тип занимает промежуточное положение между скалярными и структурными типами: с одной стороны значение указательного типа является атомарным (неделимым), а с другой стороны, эти типы определяются через другие (в том числе и структурные) типы.

Type <тип указателя> = ^ <тип указываемого объекта>

(этот тип разрешает использовать базовый тип перед описанием)

Type PtrType = ^BaseType;

BaseType = record

x, y: real;

end;

Var A: PtrType; {А – переменная статического типа, значением которой являются адреса расположения в памяти конкретных значений заданного типа}

B: BaseType;

C: ^PtrType;

Переменной А можно присвоить адрес какой-либо переменной, для чего используем унарную операцию взятия указателя: А = @ В.

На физическом уровне указатель занимает два слова: в первом слове находится адрес сегмента, во втором – адрес смещения.

Операции над указательным типом:

1) Операция сравнения на равенство: = (равенство, если совпадают адреса сегмента и смещения).

2) Операция сравнения на неравенство: <>.

3) Операция доступа: B. x = B. X + 3. Доступ с помощью разыменования: A^. X=A^. X+3. Краткая операция разыменования: С^^. x.

Среди всех возможных указателей выделяется один специальный указатель, который никуда не указывает. Т.е. в памяти выделяется один адрес, в который не записывается ни одна переменная. На это место в памяти и ссылается такой пустой или “нулевой” указатель, который обозначается nil. Указатель nil считается константой, совместимой с любым ссылочным типом, т.е. это значение можно присваивать любому указательному типу.