枚举类型

枚举类型

一个枚举类型变量只能被赋值一个有限的集合。这个集合有有序的符号组成。每个符号内部映射到一个整数值。第一个符号在运行时用0表示，第二个用1表示等等。例如：

type
  Direction = enum
    north, east, south, west

var x = south      # `x` is of type `Direction`; its value is `south`
echo($x)           # writes "south" to `stdout`

所有的比较运算符都可以用枚举类型。

一个枚举符号可以避免歧义：Direction.south。

$操作符可以将任何枚举类型的值转换为它的名字，ord过程转化为它们基本的整数值。

为了更好的连接到其他语言中，枚举类型符号可以被赋值一个明确的序号值。然而，这个序号值必须是升序类型。一个符号的有序值没有明确的给出将会被赋值为前一个符号值+1.

一个明确的有序枚举可以有孔 （注：一个明确的有序类型的序数值可以不是连续的值）

type
  MyEnum = enum
    a = 2, b = 4, c = 89

序数类型

连续的枚举类型，整形，字符，以及布尔类型（和子类型）称作序数类型。序数类型有相当多的特殊操作：

inc,dec,succ,pred操作会失败通过产生EOutOfRange(越界)，EOverflow（溢出）异常。（如果代码编译已经有适当的运行时检查打开）

子类型

子类型是一个来自整形或者枚举类型（基本类型）的范围值。例如：

type
  Subrange = range[0..5]

Subrange是一个int的子类型，它只能容纳从0到5的值。给Subrange子类型变量赋任何值都会出现编译或运行时错误。从基本类型给它的一个子类型赋值是允许的（反之亦然）。

系统模型定义了重要的自然类型范围 0...high(int)。其他编程语言授权自然类型使用无符号数。

这通常是错误的：你不想无符号计算仅仅是因为这个数不能为负。nim的自然类型帮助避免这种常见的编程错误。