3.7.2 Операции с дискриминированными типами

Если дискриминированный тип имеет default_expression для своих дискриминантов, то допускаются неявные переменные типа, и дискриминанты такой переменной могут быть изменены присваиванием. Для формального параметра такого типа предоставляется атрибут, определяющий, является ли соответствующий фактический параметр ограниченным или неограниченным.

Для префикса A, который является дискриминированным типом (после любого неявного разыменования), определён следующий атрибут:

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