4.9 Статические выражения и статические подтипы

Статическая семантика

• числовая константа numeric_literal числового типа;

• строковая константа string_literal статического строкового подтипа;

• идентификатор name, обозначающий объявление статической константы;

• идентификатор name, обозначающий именованное число, и интерпретируемый как значение числового типа;

• вызов функции function_call, у которого имя функции name или префикс функции prefix статически обозначает статическую функцию, и все фактические параметры, если таковые имеются (явные или по умолчанию), являются статическими выражениями;

• ссылка на атрибут attribute_reference, обозначающая скалярное значение, у которой префикс prefix обозначает статический скалярный подтип;

• ссылка на атрибут attribute_reference, у которой префикс prefix статически обозначает статически ограниченный массив или подтип массива, а атрибутный идентификатор attribute_designator равен First, Last или Length с необязательной размерностью;

• ссылка на атрибут attribute_reference, у которой префикс prefix обозначает негенерическую сущность, не объявленную в генерируемой единице, а атрибутный идентификатор attribute_designator равен Nonblocking;

• преобразование типа type_conversion, у которого метка подтипа subtype_mark обозначает статический (скалярный или строковый) подтип, а операнд — статическое выражение;

• квалифицированное выражение qualified_expression, у которого метка подтипа subtype_mark обозначает статический (скалярный или строковый) подтип, а операнд — статическое выражение;

• тест на принадлежность, у которого проверяемое выражение simple_expression является статическим выражением, а список вариантов принадлежности membership_choice_list состоит только из вариантов принадлежности membership_choice, которые являются либо статическими выражениями simple_expression, статическими диапазонами range или метками подтипа subtype_mark, обозначающими статический (скалярный или строковый) подтип;

• форма управления короткого замыкания, у обоих отношений relation являются статическими выражениями;

• условное выражение conditional_expression, у которого все условия condition, выбираемые выражения и зависящие выражения являются статическими выражениями;

• выражение объявления declare_expression, у которого выражение тела expression является статическим, и каждое из его объявлений, если таковые имеются, является либо объявлением статической константы, либо переименованием объекта object_renaming_declaration с именем объекта name, которое статически обозначает переименованный объект;

• статическое выражение в скобках.

• Это прямой идентификатор direct_name, расширенное имя или строковая константа character_literal, и он обозначает объявление, отличное от переименования renaming_declaration; или

• Это ссылка на атрибут attribute_reference, у которой префикс prefix статически обозначает какую-то сущность; или

• Это имя целевого объекта target_name (см. 5.2.1) в операторе присваивания assignment_statement, у которого имя переменной name статически обозначает какую-то сущность; или

• Он обозначает переименование renaming_declaration с именем name, которое статически обозначает переименованную сущность.

• статически обозначает объявление объекта (возможно, через одно или несколько переименований);

• это компонент selected_component, у которого префикс статически называет объект, явного разыменования префикса нет, и имя селектора selector_name не обозначает объявление компонента component_declaration в части варианта variant_part; или

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

• предопределенный оператор, у которого типы параметров и результата — все скалярные типы, ни один из которых не является потомком формального скалярного типа;

• предопределенный оператор отношения, у которого параметры — строкового типа, не являющегося потомком формального массива;

• предопределенный оператор конкатенации, у которого тип результата — строковый тип, не являющийся потомком формального массива;

• функция сдвига или поворота, связанная с модульным типом, объявленным в пакете Interfaces (см. B.2);

• перечисление константы;

• функция статического выражения (см. 6.8);

• определённый в языке атрибут, являющийся функцией, если префикс prefix обозначает статический скалярный подтип и типы параметров и результата — скалярные.

• Нулевое ограничение всегда является статическим;

• Скалярное ограничение является статическим, если оно не имеет ограничения диапазона range_constraint или имеет статический диапазон;

• Ограничение индекса является статическим, если каждый discrete_range статический, и каждый тип подтипа индекса соответствующего массива является статическим;

• Ограничение дискриминанта является статическим, если каждое выражение ограничения статическое, и тип подтипа каждой дискриминанты является статическим.

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

• правого операнда статической формы короткого замыкания, значение которой определяется левым операндом; или

• dependent_выражения выражения_if, связанное с условием которого является статическим и равно False; или

• условие или dependent_выражение выражения_if, где условие, соответствующее по крайней мере одному предыдущему dependent_выражению выражения_if, является статическим и равно True; или

• dependent_выражение выражения_case, чьё selecting_выражение является статическим и чьё значение не покрывается соответствующим discrete_choice_list; или

• choice_simple_expression (или simple_expression диапазона диапазон, который встречается как membership_choice membership_choice_list) статического теста принадлежности, перед которым в окружающем membership_choice_list находится другой элемент, чей индивидуальный тест принадлежности (см. 4.5.2) статически дает True.

• Выражение является недопустимым, если его оценка не прошла проверку, определённую языком, отличную от Overflow_Check. В целях этой оценки предполагается, что политика утверждения равна Check.

• Если выражение не является частью более крупного статического выражения и выражение ожидается быть одного конкретного типа, то его значение должно находиться в базовом диапазоне ожидаемого типа. В противном случае значение может быть произвольно большим или малым.

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

Требования к реализации

Рекомендации по реализации

Примеры