Формальные параметры-константы работают аналогично локальной
переменной, доступной только по чтению, которая получает свое
значение при активизации процедуры или функции от соответствующе-
го фактического параметра. Присваивания формальному парамет-
ру-константе не допускаются. Формальный параметр-константа также
не может передаваться в качестве фактического параметра другой
процедуре или функции.
Параметр-константа, соответствующий фактическому параметру в
операторе процедуры или функции, должен подчиняться тем же прави-
лам, что и фактическое значение параметра.
В тех случаях, когда формальный параметр не изменяет при вы-
полнении процедуры или функции своего значения, вместо парамет-
ра-значения следует использовать параметр-константу. Парамет-
ры-константы позволяют при реализации процедуры или функции защи-
титься от случайных присваиваний формальному параметру. Кроме то-
го, для параметров структурного и строкового типа компилятор при
использовании вместо параметров-значений параметров-констант мо-
жет генерировать более эффективный код.