子范围类型

子范围类型是序数或浮点类型（基本类型）的值范围。

要定义子范围类型，必须指定其限制值 - 类型的最低值和最高值。例如：

  1. type
  2.   Subrange = range[0..5]
  3.   PositiveFloat = range[0.0..Inf]

Subrange 是整数的子范围，只能保存0到5的值。 PositiveFloat 定义所有正浮点值的子范围。 NaN不属于任何浮点类型的子范围。 将任何其他值分配给类型为 Subrange 的变量是检查的运行时错误（如果可以在语义分析期间确定，则为静态错误）。 允许从基本类型到其子类型之一（反之亦然）的分配。

子范围类型与其基类型具有相同的大小（Subrange示例中的 int ）。