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

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

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

• ни тип назначения, ни тип операнда не имеют аспекта Default_Value; или

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

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

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

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

• оба name являются selected_components, их prefixes известны как обозначающие один и тот же объект, и их selector_name обозначают один и тот же компонент; или

• оба name являются ссылками (явными или неявными) и ссылками на name известны как обозначающие один и тот же объект; или

• оба name являются indexed_components, их prefixes известны как обозначающие один и тот же объект, и каждая пара соответствующих значений индексов либо обе являются статическими выражениями с одним и тем же статическим значением, либо обе являются names, известными как обозначающие один и тот же объект; или

• оба name являются slices, их prefixes известны как обозначающие один и тот же объект, и оба slice имеют статически соответствующие ограничения индексов; или

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

• Два name известны как обозначающие один и тот же объект; или

• Один из name является selected_component, indexed_component или slice и его prefix известен как ссылающийся на тот же объект, что и другой name; или

• Один из двух name статически обозначает объявление переименования, чьё переименованное object_name известно как ссылающееся на тот же объект, что и другой name.

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

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

• Для массива aggregate, expression связанной с discrete_choice_list, который имеет два или более дискретных выбора, или имеет нестатический диапазон, рассматривается как два или более отдельных случаев expression;

• Для записи aggregate:

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

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

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

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

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

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

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

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

Ошибочное выполнение

Разрешения реализации