Присваивания

Присваивание заменяет текущее значение переменной новым значением, определяемым выражением. Выражение должно быть совместимо по присваиванию с переменной (см. Приложение. A). Знаком операции присваивания является ":=", который читается "присвоить".

Присваивание = Обозначение ":=" Выражение.

Если выражение e типа Te присваивается переменной v типа Tv, имеет место следующее:

Если Tv и Te - записи, то в присваивании участвуют только те поля Te, которые также имеются в Тv (проецирование); динамический тип v и статический тип v должны быть одинаковы, и не изменяются присваиванием;

Если Tv и Te - типы указатель, динамическим типом v становится динамический тип e;

Если Тv это ARRAY n OF CHAR, а e - строка длины m < n, v[i] присваиваются значения ei для i = 0 .. m-1, а v[m] получает значение 0X.

Примеры присваиваний (со ссылками на примеры из Гл. 7):

i := 0
p := i = j
x := i + 1
k := log2(i+j)
F := log2 (* см. *)
s := {2, 3, 5, 7, 11, 13}
a[i] := (x+y) * (x-y)
t.key := i
w[i+1].name := "John"
t := c

Содержание раздела