- 子范围类型
子范围类型
子范围类型是序数或浮点类型(基本类型)的值范围。
要定义子范围类型,必须指定其限制值 - 类型的最低值和最高值。例如:
- type
- Subrange = range[0..5]
- PositiveFloat = range[0.0..Inf]
Subrange 是整数的子范围,只能保存0到5的值。 PositiveFloat 定义所有正浮点值的子范围。 NaN不属于任何浮点类型的子范围。 将任何其他值分配给类型为 Subrange 的变量是检查的运行时错误(如果可以在语义分析期间确定,则为静态错误)。 允许从基本类型到其子类型之一(反之亦然)的分配。
子范围类型与其基类型具有相同的大小(Subrange示例中的 int )。