6.4.1 Ассоциации параметров

Правила разрешения имен

Правила легитимности

• должен существовать тип (кроме корневого числового типа), который является предком как целевого типа, так и типа операнда;

• в случае скалярного типа тип операнда преобразования должен иметь указанный аспект Default_Value.

• подтип F должен статически совпадать с номинальным подтипом фактического объекта;

• подтип F должен быть не ограниченным, дискриминированным в полном представлении и не ограниченным в любом частичном представлении.

• оба имени статически обозначают тот же самостоятельный объект или параметр;

• оба имени являются выбранным_компонентом, их префиксы обозначают один и тот же объект, а их имена_селекторов обозначают тот же компонент; или

• оба имени — это разыменования (явные или неявные), и разыменованные имени обозначают один и тот же объект; или

• оба имени — это индексированные_компоненты, их префиксы обозначают один и тот же объект, и каждая пара соответствующих значений индексов либо являются обоими статическими выражениями с тем же статическим значением, либо обоими имени, обозначающими один и тот же объект; или

• оба имени — это срезы, их префиксы обозначают один и тот же объект, а два срезы имеют статически совпадающие ограничения индексов; или

• одно из двух имени статически обозначает объявление переименования, переименованное имя_объекта_имя которого известно как обозначающее тот же объект, что и другое, префикс любого разыменования внутри переименованного имя_объекта_имя не является переменной, и любое выражение внутри переименованного имя_объекта_имя не содержит ссылок на переменные или вызовов нестатических функций.

• Два имени обозначают один и тот же объект;

• Одно из имени — выбранный_компонента, индексированный_компонента или срез, и его префикс ссылается на тот же объект, что и другое имя; или

• Одно из двух имени статически обозначает объявление переименования, переименованное имя_объекта_имя которого ссылается на тот же объект, что и другое имя.

• Для каждого имени N, которое передается как параметр режима вход-выход или выходной вызову C, нет другого имени среди других параметров режима вход-выход или выходной для C, обозначающего один и тот же объект.

• Для каждого имени N, которое передается как параметр режима вход-выход или выходной некоторому внутреннему вызову функции C2 (не включая саму конструкцию C), нет другого имени где-либо внутри прямой составляющей конструкции C, отличной от той, которая содержит C2, которое ссылается на тот же объект.

• Для массива агрегата, выражения, связанного с списком_дискретных_выборов, который имеет два или более дискретных выбора или имеет нестатический диапазон, рассматривается как два или более отдельных вхождения выражения;

• Для записи агрегата:

• Для вызова любое выражение_по_умолчанию выражения, вычисленное как часть вызова, считается частью вызова.

Динамические семантика

• Сначала оценивается фактический параметр.

• Для параметра доступа access_definition уточняется, что создаёт анонимный тип доступа.

• Для параметра (любого режима), передаваемого по ссылке (см. 6.2), оценивается преобразование вида фактического параметра к номинальному подтипу формального параметра, и формальный параметр обозначает это преобразование.

• Для параметра in или in out, передаваемого по значению (см. 6.2), создаётся объект формального параметра, и значение фактического параметра преобразуется в номинальный подтип формального параметра и присваивается формальному.

• Для параметра out, передаваемого по значению, создаётся объект формального параметра, и:

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

Ошибка выполнения