6.2 Режимы формальных параметров

A parameter_specification объявляет формальный параметр с режимом in, in out или out.

Параметр передаётся либо по значению, либо по ссылке. При передаче по значению формальный параметр обозначает отдельный объект от фактического параметра, и любое передача информации между ними происходит только до и после выполнения подпрограммы. При передаче по ссылке формальный параметр обозначает (вид) объекта, обозначаемого фактическим параметром; чтение и обновление формального параметра напрямую ссылаются на объект фактического параметра.

Тип является типом копирования, если он является элементарным типом или является потомком приватного типа, полным типом которого является тип копирования. Параметр типа копирования передаётся по значению, если формальный параметр явно не является псевдонимом.

Тип является типом ссылки, если он является потомком одного из следующих типов:

Параметр типа ссылки передаётся по ссылке, как и явно псевдонимизированный параметр любого типа. Каждый параметр типа ссылки имеет связанный объект. Для преобразования значений связанный объект — это анонимный результирующий объект, если такой объект создаётся (см. 4.6); в противном случае это связанный объект операнда. В других случаях объект, связанный с оцениваемым операционным составляющим имени или выражения (см. 4.4) определяет его связанный объект.

Для других параметров не определено, передаётся ли параметр по значению или по ссылке.

Если одно имя обозначает часть формального параметра, а второе имя обозначает часть другого формального параметра или объекта, который не является частью формального параметра, то эти два имени считаются различными путями доступа. Если объект имеет тип, для которого механизм передачи параметров не указан и не является явно псевдонимизированным параметром, то присвоение объекту через один путь доступа, а затем чтение значения объекта через другой путь доступа является ошибкой. Это происходит, если первый путь доступа не обозначает часть формального параметра, который больше не существует в точке второго доступа (из-за выхода из соответствующей вызываемой конструкции). Возможные последствия: повышение Program_Error, чтение только что присвоенного значения или чтение некоторого старого значения объекта.