Справочник по Ada 2005

6.6 Перегрузка операторов

Оператор — это функция, у которой имя является символом_оператора. Операторы, как и другие функции, могут быть перегружены.

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

Каждое использование унарного или бинарного оператора эквивалентно вызову вызова_функции с префиксом_функции, являющимся соответствующим символом_оператора, и с (соответственно) одним или двумя позиционными фактическими параметрами, являющимися операндами оператора (в порядке).

Правила допустимости

Спецификация подпрограммы унарного или бинарного оператора должна иметь соответственно один или два параметра. Инициализация обобщённой функции, у которой имя является символом_оператора, разрешена только в том случае, если спецификация обобщённой функции имеет соответствующее количество параметров.

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

Явное объявление "/=" не должно иметь тип результата предопределённого типа Boolean.

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

Объявление "=" с типом результата Boolean неявно объявляет объявление "/=" с результатом, обратным результату "=".

ПРИМЕЧАНИЯ

8 Операторы "+" и "–" являются как унарными, так и бинарными операторами и, следовательно, могут быть перегружены как функциями с одним, так и с двумя параметрами.

Примеры

Примеры пользовательских операторов:

function "+" (Left, Right : Matrix) return Matrix;
function "+" (Left, Right : Vector) return Vector;

-- предполагая, что A, B и C имеют тип Vector
-- следующие две строки эквивалентны:

A := B + C;
A := "+"(B, C);