• 枚举类型

    枚举类型

    枚举类型定义一个新类型，其值由指定的值组成。这些值是有序的。例：

    1. type
    2.   Direction = enum
    3.     north, east, south, west

    现在以下内容成立:

    1. ord(north) == 0
    2. ord(east) == 1
    3. ord(south) == 2
    4. ord(west) == 3
    5.  
    6. # 也允许:
    7. ord(Direction.west) == 3

    因此, north < east < south < west 。 比较运算符可以与枚举类型一起使用。 枚举值也可以使用它所在的枚举类型 Direction.nort 来限定，而不是 north 等。

    为了更好地与其他编程语言连接，可以为枚举类型的字段分配显式序数值。 但是，序数值必须按升序排列。 未明确给出序数值的字段被赋予前一个字段+ 1的值。

    显式有序枚举可以有 洞 ：

    1. type
    2.   TokenType = enum
    3.     a = 2, b = 4, c = 89 # 洞是合法的

    但是，它不再是序数，因此不可能将这些枚举用作数组的索引类型。 过程 inc, dec, succ 和 pred 对于它们不可用。

    编译器支持枚举的内置字符串化运算符 $ 。 字符串化的结果可以通过显式给出要使用的字符串值来控制：

    1. type
    2.   MyEnum = enum
    3.     valueA = (0, "my value A"),
    4.     valueB = "value B",
    5.     valueC = 2,
    6.     valueD = (3, "abc")

    从示例中可以看出，可以通过使用元组指定字段的序数值及其字符串值。 也可以只指定其中一个。

    枚举可以使用 pure 编译指示进行标记，以便将其字段添加到特定模块特定的隐藏作用域，该作用域仅作为最后一次尝试进行查询。 只有没有歧义的符号才会添加到此范围。 但总是可以通过写为 MyEnum.value 的类型限定来访问:

    1. type
    2.   MyEnum {.pure.} = enum
    3.     valueA, valueB, valueC, valueD, amb
    4.  
    5.   OtherEnum {.pure.} = enum
    6.     valueX, valueY, valueZ, amb
    7.  
    8.  
    9. echo valueA # MyEnum.valueA
    10. echo amb    # 错误：不清楚它是MyEnum.amb还是OtherEnum.amb
    11. echo MyEnum.amb # OK.

    要使用枚举实现位字段，请参阅 Bit fields