3.7.1 Ограничения по дискриминантам

Ограничение по дискриминантам discriminant_constraint задаёт значения дискриминантов для данного типа с дискриминантами.

Каждый discriminant_selector_name именованной discriminant_association должен указывать на дискриминант типа, подвергающегося ограничению; дискриминанты, таким образом указанные, являются связанными дискриминантами этой именованной ассоциации. Для позиционной ассоциации связанным дискриминантом является дискриминант, спецификация которого появилась в соответствующей позиции в known_discriminant_part, определяющем дискриминанты типа, подвергающегося ограничению.

Ожидаемый тип для expression в discriminant_association соответствует типу связанного(ых) дискриминанта(ов).

Ограничение по дискриминантам discriminant_constraint разрешено только в subtype_indication, в которой subtype_mark обозначает либо неограниченный тип с дискриминантами, либо неограниченный тип указателя, а назначенный тип — неограниченный тип с дискриминантами. Однако, в случае типа указателя, discriminant_constraint является легитимным только если любая разыменование значения типа указателя известно как ограниченное (см. 3.3). В дополнение к местам, где обычно применяются правила легальности (см. 12.3), эти правила применяются также в частях для доступа к экземпляру генерируемого блока.

Именованная discriminant_association с более чем одним selector_name разрешена только если именованные дискриминанты являются одного типа. Ограничение по дискриминантам discriminant_constraint должно предоставлять ровно одно значение для каждого дискриминанта ограниченного типа.

Ограничение по дискриминантам discriminant_constraint является совместимым с неограниченным типом с дискриминантами, если каждое значение дискриминанта принадлежит типу соответствующего дискриминанта.

Составное значение удовлетворяет ограничению по дискриминантам тогда и только тогда, когда каждый дискриминант составного значения имеет значение, заданное ограничением по дискриминантам.

Для обработки ограничения по дискриминантам discriminant_constraint, expressionы в discriminant_associationы оцениваются в произвольном порядке и преобразуются к типу соответствующего дискриминанта (что может вызвать ошибку Constraint_Error — см. 4.6); expression именованной ассоциации вычисляется (и преобразуется) один раз для каждого связанного дискриминанта. Результат каждого вычисления и преобразования является значением, налагаемым ограничением для связанного дискриминанта.

Примеры (используя типы, объявленные выше в подразделе 3.7):