Глава 7. Операторы

Операторы описывают те алгоритмические действия, которые

должны выполняться. Операторам могут предшествовать метки, кото-

рые можно использовать для ссылок в операторах перехода goto.

оператор --T--------------------T-------------------------->

¦ ------¬ ----¬ ^ ¦ -----------------¬ ^

L->¦метка+-->¦ : +-- +-->¦простой оператор+--+

L------ L---- ¦ L----------------- ¦

¦ -----------------¬ ¦

L-->¦ структурный +---

¦ оператор ¦

L-----------------

Метка - это последовательность цифр в диапазоне от 0 до 9999

или идентификатор.

Существует два основных вида операторов: простые операторы и

структурные операторы.

Простые операторым

Простым оператором является такой оператор, который не со-

держит в себе других операторов.

----------------------¬

простой оператор ----T--->¦оператор присваивания+------->

¦ L---------------------- ^

¦ ----------------------¬ ¦

+--->¦ оператор процедуры +---+

¦ L---------------------- ¦

¦ ----------------------¬ ¦

L--->¦ оператор перехода +----

L----------------------

Оператор присваивания

Оператор присваивания заменяет текущее значение переменной

новым значением, которое определяется выражением, или определяет

выражение, значение которого должно возвращаться функцией.

------------¬ ---¬ ----------¬

оператор -----T-->¦ссылка на +------>¦:=+-->¦выражение+-->

присваивания ¦ ¦переменную ¦ ^ L--- L----------

¦ L------------ ¦

¦ --------------¬ ¦

L-->¦идентификатор+--

¦ функции ¦

L--------------

Выражение должно быть совместимо по присваиванию с типом пе-

ременной или типом значения, возвращаемого функцией в качестве

результата (см. раздел "Совместимость типов" в Главе 4).

Приведем некоторые примеры операторов присваивания:

X := Y + Z

Done := (I >= 1) and (I < 100);

Huel := [blue, Succ(C)];

I := Sqr(J) - I * K;

Присваивания объектного типа

Правила совместимости по присваиванию объектных типов позво-

ляют присваивать экземпляру объекта экземпляр любого из его до-

черних типов. Такое присваивание представляет собой проекцию

потомка на пространство его предка. В примере исходного кода в

Главе 4 с учетом экземпляра F типа TField и экземпляра Z типа

TZipField присваивание F := Z копирует только поля X, Y, Len и

Name.

Присваивание экземпляру объектного типа не инициализирует

экземпляр. Например, в предыдущем примере присваивание F := Z оз-

начает, что вызов конструктора для F можно опустить.