Ada 编程/属性/'有辨别式

描述

Has_Discriminants 属性的前缀是类型。结果是一个布尔值，如果该类型具有辨别式，则为 True，否则为 False。该属性的预期用途是与泛型定义结合使用。如果该属性应用于泛型私有类型，则它指示相应的实际类型是否具有辨别式。