в случае перекрывающихся отрезков, поскольку

Примечание

А : STRING(1 .. 31); В : STRING(3 .. 33); ... А := B; — одинаковое количество компонентА(1 .. 9) := "tar sauce"; А(4 .. 12) := A(1 .. 9); -- А(1 .. 12) = "tartar Sauce" Примечание. Присваивание массива определено даже в случае перекрывающихся отрезков, поскольку выражение в правой части вычисляется До присваивания компонент. Так, в случае последнего из приведенных примеров реализация, вырабатывающая А(1 .. 12) = = "tartartartar", была бы некорректной^.
Описанное выше явное преобразование подтипа выполняется только на уровне значения всего выражения правой части, но не для его подкомпонент, являющихся индексируемыми значениями.
Ссылки: исключение CONSTRAINT_ERROR 11.1, массив 3.6, отрезок 2, переменная 1, преобразование подтипа 4.6, присваивание 5.2, сопоставляемые индексируемые компоненты 2, тип
1) Покомпонентная пересылка недопустима. — Прим. ред.

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