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

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

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

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