ГОСТ Р И С 0 10303-11 — 2009
Окончание таблицы 17
Первый операнд
Второй операнд
Результат
BAG
LIST
BAG
SET
SET
SET
SET
Элемент
SET
Элемент
SET
SET
SET
BAG
SET
SET
LIST
SET
LIST
LIST
LIST1»
Элемент
LIST
LIST2»
LIST
Элемент
LIST3»
’1Первый элемент второго списка следует за последним элементом первого
списка.
21 Новый элемент становится первым в результирующем списке.
31Новый элемент становится последним в результирующем списке.
12.6.4 Оператор различия
Оператор различия (-) принимаетдва операнда, левый из которыхдолжен быть агрегированной струк
турой. и выдает результат агрегированного типа данных. Допустимые типы данных операндов и соответ
ствующие им типыданных результата приведены втаблице 18. Результирующая агрегированная структура
содержит элементы первого операнда за исключением элементов, совпадающих с элементами второго
операIда. Другими словами, каждый элемент второго операнда, который присутствует и в первом операн
де. удаляется из первого операнда. Результирующая агрегированная структура является неявно объяв
ленной агрегированной структурой с типом данных, соответствующим таблице 18. и границами [0 .. ?].
Базисные типы операндов должны быть совместимы (см. 12.11). Типданных возвращаемой агрегирован ной
структуры должен совпадать с типом данных первого операнда. Если оба операнда являются пакета ми, и
некоторый элемент е присутствует m раз в первом операнде и п раз во втором операнде, то элемент о
должен присутствовать в результирующей агрегированной структуре m-п раз. если т больше п. и ни
одного раза, если т меньше или равно п. Если второй операнд содержит элементы, которых нет в первом
операнде, то такие элементы игнорируются и не включаются в результирующую агрегированную структу
ру. Если какой-либо из операндов имеет неопределенное (?) значение, то результат будет также иметь
неопределенное (?) значение.
Т а б л и ц а 18 — Оператор различия: типы данных операндов и результата
Первый операнд
Второй операнд
Результат
BAG
BAG
BAG
BAG
SET
BAG
BAG
Элемент
BAG
SET
SET
SET
SET
BAG
SET
SET
Элемент
SET
Пример — Если А является пакетом целых чисел [1.2.1,3], то выражение А -1
имеет значение [1,2,3]. которое эквивалентно значению [2,1,3].
83