Справочник по Ada 95
13.10 Создание значений доступа Unchecked_Access
Атрибут Unchecked_Access используется для создания значений доступа небезопасным способом — программист несет ответственность за предотвращение «висячих ссылок».
Статическая семантика
Для префикса X, обозначающего алиасированный вид объекта, определен следующий атрибут:
- X'Unchecked_Access
- Все правила и семантика, применимые к X'Access (см. 3.10.2), также применяются к X'Unchecked_Access, за исключением того, что для целей правил и проверок доступности, предполагается, что X объявлен непосредственно внутри библиотечного пакета.
ПРИМЕЧАНИЯ
21 Данный атрибут предназначен для поддержки ситуации, когда локальный объект должен быть вставлен в глобальную связанную структуру данных, при условии, что программист знает, что он всегда будет удален из структуры данных до выхода за пределы области видимости объекта. Атрибут Access в этом случае был бы недопустимым (см. 3.10.2, «Операции типов доступа»).
22 Атрибута Unchecked_Access нет для подпрограмм.
