Руководство по Ada (Ada 2022)

3.3.2 Объявления чисел

Объявление number_declaration объявляет именованное число.

Синтаксис

number_declaration ::=
defining_identifier_list : constant := static_expression;

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

static_expression, заданное для объявления number_declaration, ожидается любого числового типа.

Имя, обозначающее number_declaration, интерпретируется как значение универсального типа, если ожидаемый тип для имени — не числовой тип с аспектом Integer_Literal или Real_Literal, в этом случае оно интерпретируется как его ожидаемый тип.

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

static_expression, указанное для объявления числа, должно быть статическим выражением, как определено в 4.9.

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

Именованное число обозначает значение типа universal_integer, если тип static_expression — целочисленный тип. Именованное число обозначает значение типа universal_real, если тип static_expression — вещественный тип.

Значение, обозначаемое именованным числом, является значением static_expression, преобразованным в соответствующий универсальный тип.

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

Выполнение number_declaration не имеет эффекта.

Примеры

Примеры объявлений чисел:

Two_Pi : constant := 2.0*Ada.Numerics.Pi;
-- вещественное число (см. A.5)

Max : constant := 500; -- целое число
Max_Line_Size : constant := Max/6; -- целое число 83
Power_16 : constant := 2**16; -- целое число 65_536
One, Un, Eins : constant := 1; -- три разных имени для 1