Ada 程式設計/屬性/'有辨別式

描述

Has_Discriminants 屬性的字首是型別。結果是一個布林值，如果該型別具有辨別式，則為 True，否則為 False。該屬性的預期用途是與泛型定義結合使用。如果該屬性應用於泛型私有型別，則它指示相應的實際型別是否具有辨別式。