ГОСТ Р И С 0 10303-11 — 2009
12.2.1.5 Сравнение элементов перечисления
Сравнение значений элементов перечисления, которое не является наращиваемым и не основано на
наращиваемом перечислении, основано на ихотносительных позициях вобъявлении перечисляемого типа
данных. См. правило по перечислению d) в 8.4.1.
Для значений, тип данных которых является наращиваемым перечисляемым типом или перечисляе
мым типом, основанном на наращиваемом перечисляемом типе, определено только сравнение на равен
ство или неравенство. Два таких значения равны, если они представляютодин и тотже элемент
перечисле ния, и не равны — в противном случае.
12.2.1.6 Сравнение агрегированных значений
Операторами сравнения значений, установленными для агрегированных значений, являются опе
раторы «равно» (=) и «не равно» (<>). Два агрегированных значения могут сравниваться только в том
случае, если их типы данных совместимы (см. 12.11).
При сравнении агрегированных структур должно проверяться число элементов в каждом из операн
дов. если справедливо выражение SIZEOF (а) <> SIZEOF (Ь). то агрегированные структуры не равны. При
сравнении агрегированных структур сравниваются элементы агрегированного значения путем сравнения
значений. Если результатом какого-либо сравнения элементов является FALSE, то результатом сравнения
агрегированных структур является также FALSE. Если результатом одного или нескольких сравнений эле
ментов при сравнении агрегированных структур является UNKNOWN, а результатом остальныхсравнений
является TRUE, то результатом сравнения агрегированных структур является UNKNOWN. Во всех других
случаях результатом сравнения агрегированных структур является TRUE.
Определение равенства агрегированных структур зависитот ихагрегированных типов данных:
- два массива а и Ь равны тогда и только тогда, когда значение каждого элемента из а равно значе
нию элемента из Ь. расположенного в той же позиции, то есть а[ i ) = b( i ] (см. 12.6.1);
- два списка а и Ь равны тогда и только тогда, когда значение каждого элемента из а равно значению
элемента из Ь, расположенного в той же позиции;
- два пакета или набора а и Ь равны тогда и только тогда, когда каждый элемент VALUEJN а встреча
ется в VALUEJ N Ь равное число раз. а каждый элемент VALUEJ N Ь также встречается в VALUEJ N а
равное число раз.
12.2.1.7 Сравнение значений объектныхтипов данных
Значения двух экземпляров объектного типа данных являются равными, если равны значения их
соответствующих атрибутов. Поскольку экземпляры объектного типа данных могут иметь атрибуты, пред
ставленные также объектными типами данных,для таких экземпляров существует возможность ссылаться
на самих себя. При этом значения экземпляров объектного типа данных являются равными, если все
атрибуты, представленные простыми типами данных, имеют одинаковые значения, и одни ите же атрибуты в
обоих экземплярах объектного типа данных ссылаются сами на себя.
Для более точного определения предположим, что необходимо сравнить два экземпляра <и г.
Если t :=: г, то / =г. Иначе вводят следующие определения:
- определют упорядочение на совокупности рассматриваемых экземпляров. На практике такая сово
купность конечна, поэтому упорядочение может быть осуществлено:
-для целей данного рассмотрения определяют оператор индексирования агрегированной струк
туры. соблюдающий данное упорядочение так. чтобы для любой агрегированной структуры agg и для
любых индексов i и j условие i< j было эквивалентно условию aggfi] < agg[j];
- определяют ссылочный путь как последовательность одной или нескольких ссылок на атрибуты или
индексы. Применение ссылочного пути s к экземпляру i будет записано как s(i). Тогда s(i) является
вычисляемым, если ни одна из ссылок, за исключением последней, не приводит к неопределенности (?).
Тогда значение выражения
/ =г
определяют по первому выполненному из следующих условий:
a) если TYPEOF(/)<>TYPEOF(r). то
t
=г имеет значение FALSE;
b
) если существует такой ссылочный путь s. что только один из s(/) и s(r) является вычисляемым, то
1 -х имеет значение FALSE;
c) если существует такой ссылочный путь s, что результатами как s(/). так и s(r) являются значения
простого типа данных, и если s(/)<>s(r). то / = г имеет значение FALSE.
d) если существует такой ссылочный путь s, что результатами как s(/). так и s(r) являются либо значе
ния объектного типа данных, либо объявляется, что они должны быть выбираемого типа данных, и если
TYPEOF(s(/))oTYPEOF(s(r)), тоt -г имеет значение FALSE;
72