序数类型

序数类型有以下特征:

  • 序数类型是可数和有序的。该属性允许定义函数的操作 inc, ord, dec 。
  • 序数值具有最小可能值。尝试进一步向下计数低于最小值会产生已检查的运行时或静态错误。
  • 序数值具有最大可能值。尝试计数超过最大值会产生已检查的运行时或静态错误。

整数,bool,字符和枚举类型(以及这些类型的子范围)属于序数类型。 出于简化实现的原因,类型 uintuint64 不是序数类型。 (这将在该语言的更高版本中更改。)

如果基类型是序数类型,则不同类型是序数类型。