7.3 Типы с приватной частью и расширения типов с приватной частью

Объявление (в видимой части пакета) типа как типа с приватной частью или расширения типа с приватной частью служит для разделения характеристик, которые могут быть использованы непосредственно внешними блоками программы (то есть логические свойства), от других характеристик, непосредственное использование которых ограничено пакетом (детали определения самого типа). См. 3.9.1 для обзора расширений типов.

private_type_declaration или private_extension_declaration объявляет частичный вид типа; такое объявление разрешается только как declarative_item видимой части пакета, и оно требует завершения, которое должно быть full_type_declaration, которое появляется как declarative_item в приватной части пакета. Вид типа, объявленный full_type_declaration, называется полным видом. Также, формальный приватный тип или формальное расширение приватного типа в обобщенном блоке являются частичным видом.

Тип должен быть полностью определен до его заморозки (см. 3.11.1 и 13.14). Таким образом, ни объявление переменной частичного вида типа, ни создание объекта частичного вида посредством allocator не допускаются до полного объявления типа. Аналогично, до полного объявления имя частичного вида не может использоваться в generic_instantiation или в элементе представления.

Тип является ограниченным, если его объявление включает зарезервированное слово limited; расширение типа является ограниченным, если его тип-предок является ограниченным типом, который не является типом-интерфейсом, или если зарезервированное слово limited или synchronized появляется в его определении. Если частичный вид является неограниченным, то полный вид должен быть неограниченным. Если частичный вид типа с метками является ограниченным, то полный вид должен быть ограниченным. С другой стороны, если частичный вид без меток является ограниченным, полный вид может быть ограниченным или неограниченным.

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

Если полный тип имеет частичный вид с метками, то:

Тип-предок private_extension_declaration — это подтип, определенный subtype_indication; тип-предок должен быть конкретным типом с метками. Полный вид расширения типа должен быть производным (прямо или косвенно) от типа-предка. Помимо мест, где обычно применяются правила легальности (см. 12.3), требование, чтобы предок был конкретным, применяется также в приватной части экземпляра обобщенного блока.

Если в private_extension_declaration появляется зарезервированное слово limited, тип-предок должен быть ограниченным типом. Если в private_extension_declaration появляется зарезервированное слово synchronized, тип-предок должен быть ограниченным типом-интерфейсом.

Если объявление частичного вида включает known_discriminant_part, то full_type_declaration должен иметь полностью соответствующую (явную) known_discriminant_part (см. 6.3.1, «Правила соответствия»). Тип-предок может быть неограниченным; подтип родителя полного вида должен быть ограниченным (см. 3.7).

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

Если full_type_declaration для расширения типа включает derived_type_definition, то зарезервированное слово limited должно появляться в full_type_declaration тогда и только тогда, когда оно также появляется в private_extension_declaration.

Если частичный вид имеет неизвестные дискриминанты, то full_type_declaration может определить определенный или неопределенный подтип с дискриминантами или без них.

Если частичный вид не имеет ни известных, ни неизвестных дискриминантов, то full_type_declaration должен определять определенный подтип.

Если подтип родителя расширения типа имеет ограниченные дискриминанты, то подтип родителя полного вида должен накладывать статически соответствующее ограничение на эти дискриминанты.

private_type_declaration объявляет тип с приватной частью и его первый подтип. Аналогично, private_extension_declaration объявляет расширение типа с приватной частью и его первый подтип.

Объявление частичного вида и соответствующее full_type_declaration определяют два вида одного типа. Объявление частичного вида вместе с видимой частью определяет операции, доступные внешним блокам программы; объявление полного вида вместе с приватной частью определяет другие операции, непосредственное использование которых возможно только в пределах области объявления самого пакета. Более того, в области видимости объявления полного вида характеристики (см. 3.4) типа определяются полным видом; в частности, в его области видимости полный вид определяет классы, которые включают тип, какие компоненты, записи и защищенные подпрограммы являются видимыми, какие атрибуты и другие предопределенные операции разрешены, и является ли первый подтип статическим. См. 7.3.1.

Для расширения типа характеристики (включая компоненты, но исключая дискриминанты, если указан новый discriminant_part), предопределенные операторы и унаследованные пользовательские примитивные подпрограммы определяются типом-предком и типами-прогенеторами (если таковые имеются), точно так же, как это определяется для расширения записи типом-родителя и типами-прогенеторами (см. 3.4 и 7.3.1).

Выполнение private_type_declaration создает частичный вид типа. Выполнение private_extension_declaration выполняет subtype_indication и создает частичный вид типа.

Примеры объявлений приватных типов: