Ада-95. Компилятор GNAT

       

Правила области видимости ссылочных типов для подпрограмм


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

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

Дополнительным ограничением является то, что со ссылочными типами для подпрограмм нельзя использовать атрибут 'Unchecked_Access.

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



Содержание раздела