Ada 程式設計/屬性/'Has Tagged Values

描述

Has_Tagged_Values 屬性的字首是一個型別。如果該型別是複合型別（陣列或記錄），並且是帶標記型別或具有帶標記的子元件，則結果為真值；否則為假值。此屬性的預期用途與泛型定義相關聯。如果屬性應用於泛型私有型別，則表示相應的實際型別是否有訪問值。