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

• числовой литерал numeric_literal;

• литерал строки string_literal статического строкового типа;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• литерал перечисления;

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

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

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

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

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

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

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

• зависимого выражения if_expression, чей ассоциированный condition является статическим и равен False; или

• условия или зависимого выражения if_expression, где условие, соответствующее хотя бы одному предшествующему зависимому выражению if_expression, является статическим и равно True; или

• зависимого выражения case_expression, чей expression выбора является статическим и чьё значение не покрывается соответствующим списком дискретного выбора discrete_choice_list; или

• a choice_simple_expression (or a simple_expression of a range that occurs as a membership_choice of a membership_choice_list) of a static membership test that is preceded in the enclosing membership_choice_list by another item whose individual membership test (see 4.5.2) statically yields True.

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

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

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

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

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

Примеры