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

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

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

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