Ada 编程/编译指示/受控

编译指示 Controlled 是一个古老的 Ada 83 编译指示，从未被任何编译器实现。因此，它最终在 Ada 2012 中被删除。

该编译指示旨在防止垃圾收集器（也从未被任何编译器实现）篡改相应访问类型的存储池。语法为

type Pointer is access Some_Type;
pragma Controlled (Pointer);  -- see RM_83 4.8; RM_95/2005 13.11.3

另请参阅 从存储池中删除对象，位于关于访问类型的页面。

Ada 参考手册

Ada 83

• 4.8: 分配器

Ada 95

• 13.11.3: 编译指示 Controlled ^{[带注释的]}

Ada 2005

• 13.11.3: 编译指示 Controlled ^{[带注释的]}