什么是ADA中的歧视记录?

这是一种歧视 类型 因为它有一个鉴别器,而且它是一个鉴别器 记录 因为这是一个记录。可以区分的其他类型是任务类型和受保护类型。

对于一个被区别的对象,区别只是另一个组件(除了不可变之外)。因此给出

type Buffer(Size : Buffer_Size := 100)  is
   record
      Pos   : Buffer_Size := 0;
      Value : String(1 .. Size);
   end record;

B : Buffer (Size => 50);

您可以访问 B.Size (与 B.Value’Length )

歧视者, Size 使 Discriminated_Record 受歧视的记录