Ada 编程/属性/'类型类

描述

对于任何类型或子类型，typ'Type_Class 会返回完整类型类型类的值。 如果是泛型形式类型，则该值为对应实际子类型的值。 此属性的值类型为System.Aux_DEC.Type_Class，其定义如下

type Type_Class is
  (Type_Class_Enumeration,
   Type_Class_Integer,
   Type_Class_Fixed_Point,
   Type_Class_Floating_Point,
   Type_Class_Array,
   Type_Class_Record,
   Type_Class_Access,
   Type_Class_Task,
   Type_Class_Address);

保护类型会产生Type_Class_Task值，因此它适用于所有并发类型。 此属性旨在与同名的 DEC Ada 83 属性兼容。