ГОСТ
V
ИСО/МЭК &*24-»3
24 ОБОЗНАЧЕНИЯ ДЛЯ ВЫБОРОЧНЫХ ТИПОВ
24.1 Обозначения для определения выборочного типа (ем. 3.27),
исходя из имеющихся других типов, должны иметь вид «Выбором-
ныйТип»:
ВыборочныиТипСИ01СЕ{СписокТипов-Варнантов}
СписокТипов-Вариантов :: »
ПонменованныйТннJ
СписокТипов-Вариантов, ПоимснованныйТкп
П р и м е ч а н и я
1 Прайма кодирования обеспечивают идентичность способа иодирования
выбранного значения выборочного тина способу кодирования такого же значения
типа-варианта
2 Кодирование значений «ВыборочногоТииа» с единственным типом-вариан
том «ПоименопаниыйТни» в «СпискеТипов-Варианто»» яевоаможно отличить от
кодирования соответствующих значений о случае прямого задании «Типа», вхо
дящего п последовательность «ПоименоианныйТип».
24.2 Все типы, входящие в «СписокТипов Вариантов». должны
иметь различные теги (см. раздел 26).
24.3 Тег выборочного типа следует считать переменной. При вы
боре конкретного значения выборочного тина его тег становится
равным тегу того тина-варианта, к которому относится значение.
24.4 Если выборочный тип используют в таких конструкциях,
где требованием настоящего стандарта является использование ти
пов с различными тегами (см 20.3. 22.3 и 24 2), то теги всех типов,
определенных в «СпискеТниов-Вариантов», должны отличаться от
тегов других типов (см. раздел 26). Приведенные ниже примеры
иллюстрируют это требование. Примеры I к 2 являются примерами
правильного использования нотации. Пример 3 является приме
ром неправильного использования нотации, поскольку теги типов
d. f. а также с.
и.
совпадают.
П Р И М Е Р Ы
1 A ::-C H O IC E
(b В
с NULL)
В : • = СН01СЕ
{d |0| NULL,
с Cl] NULL)
2 А :: «CHOICE
{b В.
с С)
В :: ^CHOICE
{d (01 NULL
е [1| NULL)
Г.9-