13.11.3 Директива Controlled

Директива Controlled используется для предотвращения автоматического освобождения памяти (сборки мусора) для объектов, созданных аллокаторами заданного типа доступа.

Идентификатор first_subtype_local_name директивы pragma Controlled должен обозначать не производный тип доступа.

Директива pragma Controlled является директивой представления, которая определяет аспект controlled представления.

Сбор мусора — это процесс автоматического освобождения памяти или перемещения объектов в другой адрес, пока объекты существуют.

Если для типа доступа с стандартным пулом памяти указана директива pragma Controlled, то сборка мусора для объектов в этом пуле не выполняется.

Реализация может не поддерживать сборку мусора, в этом случае директива Controlled не имеет эффекта.