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

3.2.3 Классификация операций

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

Операция действует над типом T, если она возвращает значение типа T, если у неё есть операнд, ожидаемый тип которого (см. 8.6) — T, или если у неё есть параметр или результат доступа (см. 6.1), обозначающие T. Предварительно определённый оператор или другая определённая языком операция, такая как присваивание или проверка на принадлежность, действующая над типом, называется предопределённой операцией типа. Примитивные операции типа — это предопределённые операции типа плюс любые пользовательские примитивные подпрограммы.

Примитивные подпрограммы конкретного типа определяются следующим образом:

Предварительно определённые операторы типа (см. 4.5);

Для производного типа — унаследованные (см. 3.4) пользовательские подпрограммы;

Для типа перечисления — литералы перечисления (которые считаются безаргументными функциями — см. 3.5.1);

Для конкретного типа, объявленного непосредственно внутри спецификации_пакета, любые подпрограммы (кроме литералов перечисления), явно объявленные непосредственно внутри той же спецификации_пакета и действующие над типом;

Для конкретного типа с явно объявленным примитивным оператором «=», результат которого — тип Boolean, соответствующий оператор «/=» (см. 6.6);

Для неформального типа — любые подпрограммы, не охваченные выше, явно объявленные непосредственно внутри той же области объявления, что и тип, и переопределяющие (см. 8.3) другие неявно объявленные примитивные подпрограммы типа.

Примитивная подпрограмма, у которой обозначение — символ_оператора, называется примитивным оператором.