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 ^{[帶註釋的]}