Справочное руководство по языку Ада-83


Операции и вычисление выражения - часть 4


ОПЕРАЦИИ ОТНОШЕНИЯ И ПРОВЕРКИ ПРИНАДЛЕЖНОСТИ

Операции равенство и неравенство предопределены для любого типа, не являющегося лимитируемым. Остальные операции отношения являются операциями упорядочивания:

< (меньше), < = (меньше или равно), > (больше), > = (больше или равно). Операции упорядочивания предопределены для любого скалярного типа и любого дискретного индексируемого типа (одномерного индексируемого типа с компонентами дискретного типа). Операнды каждой предопределенной операции отношения имеют один и тот же тип. Тип результата &#x2014; предопределенный тип &#x2014; BOOLEAN.

Смысл операций отношения традиционный: результат равен TRUE, если соответствующее отношение удовлетворено, результат равен FALSE в противном случае. Операция нер-зенства дает результат, противоположный результату операции равенства: FALSE, если операнды равны; TRUE &#x2014; если не равны.

Знак операции

Операция

Тип операнда

Тип результата

= /=

Равенство и неравенство

Любой тип

BOOLEAN

< < = > > =

Проверка упорядоченности

Любой скалярный

ТИП

BOOLEAN

Дискретный индексируемый ТИП

BOOLEAN

Равенство для дискретных типов &#x2014; это равенство значений. Результаты предопределенных операций отношения для вещественных операндов, значения которых равны

приблизительно,

приводятся в разд. 4.5.7. Два ссылочных значения равны, когда они указывают на один и тот же объект либо когда они равны пустому значению ссылочного типа.

Для двух значений одного и того же индексируемого типа или именуемого типа левый операнд равен правому, если и только если для каждой компоненты левого операнда имеется

сопоставленная компонента

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




Начало  Назад  Вперед



Книжный магазин