在第一节的基础数据类型中,有简单地提到过枚举 enum ,在这一节,将详细地介绍它。

数字枚举

先来举一个小例子:

  1. enum Direction {
  2. Up = 1,
  3. Down,
  4. Left,
  5. Right,
  6. }

如上,我们定义了一个数字枚举,Up使用初始化为1。 其余的成员会从1开始自动增长。 换句话说,Direction.Up的值为1Down2Left3Right4


数字枚举可以被混入到计算过的和常量成员(如下所示)。 简短地说,不带初始化器的枚举或者被放在第一的位置,或者被放在使用了数字常量或其它常量初始化了的枚举后面。

  1. function getSomeValue() {
  2. return 1;
  3. }
  4. enum E {
  5. A,
  6. B = getSomeValue(),
  7. }

它的其它基础内容,可以直接回去基础数据类型一节继续阅读。

字符串枚举

字符串枚举的概念很简单,但是有细微的运行时的差别。 在一个字符串枚举里,每个成员都必须用字符串字面量,或另外一个字符串枚举成员进行初始化。

  1. enum Direction {
  2. Up = "UP",
  3. Down = "DOWN",
  4. Left = "LEFT",
  5. Right = "RIGHT",
  6. }

由于字符串枚举没有自增长的行为,字符串枚举可以很好的序列化。 换句话说,如果你正在调试并且必须要读一个数字枚举的运行时的值,这个值通常是很难读的 - 它并不能表达有用的信息(尽管反向映射会有所帮助),字符串枚举允许你提供一个运行时有意义的并且可读的值,独立于枚举成员的名字。

异构枚举(不常用)

  1. enum BooleanLikeHeterogeneousEnum {
  2. No = 0,
  3. Yes = "YES",
  4. }

计算的/常量 成员

每个枚举成员都带有一个值,它可以是 常量 或 计算 出来的。

  • 它是枚举的第一个成员且没有初始化器,这种情况下它被赋予值0
  1. // E.X is constant:
  2. enum E { X }


  • 它不带有初始化器且它之前的枚举成员是一个数字常量。 这种情况下,当前枚举成员的值为它上一个枚举成员的值加1。
  1. enum E1 { X, Y, Z }
  2. enum E2 {
  3. A = 1, B, C,
  4. }


  • 枚举成员使用常量枚举表达式初始化。 常量枚举表达式是TypeScript表达式的子集,它可以在编译阶段求值。 当一个表达式满足下面条件之一时,它就是一个常量枚举表达式
    1. 一个枚举表达式字面量(主要是字符串字面量或数字字面量)
    2. 一个对之前定义的常量枚举成员的引用(可以是在不同的枚举类型中定义的)
    3. 带括号的常量枚举表达式
    4. 一元运算符+, -, ~其中之一应用在了常量枚举表达式
    5. 常量枚举表达式做为二元运算符+, -, *, /, %, <<, >>, >>>, &, |, ^的操作对象。

      若常量枚举表达式求值后为NaN或Infinity,则会在编译阶段报错。

所以其它情况的枚举成员被当作是需要计算得出的值

  1. enum FileAccess {
  2. // constant members
  3. None,
  4. Read = 1 << 1,
  5. Write = 1 << 2,
  6. ReadWrite = Read | Write,
  7. // computed member
  8. G = "123".length
  9. }


联合枚举与枚举成员的类型

存在一种特殊的非计算的常量枚举成员的子集:字面量枚举成员。 字面量枚举成员是指不带有初始值的常量枚举成员,或者是值被初始化为

  • 任何字符串字面量(例如:"foo""bar""baz"
  • 任何数字字面量(例如:1, 100
  • 应用了一元-符号的数字字面量(例如:-1, -100

当所有枚举成员都拥有字面量枚举值时,它就带有了一种特殊的语义。
首先,枚举成员成为了类型! 例如,我们可以说某些成员只能是枚举成员的值:

  1. enum ShapeKind {
  2. Circle,
  3. Square,
  4. }
  5. interface Circle {
  6. kind: ShapeKind.Circle;
  7. radius: number;
  8. }
  9. interface Square {
  10. kind: ShapeKind.Square;
  11. sideLength: number;
  12. }
  13. let c: Circle = {
  14. radius: 100,
  15. kind: ShapeKind.Circle,
  16. };


运行时枚举

枚举是在运行时真正存在的对象。

  1. enum E {
  2. X, Y, Z,
  3. }
  4. function f(obj: { X: number }) {
  5. return obj.X;
  6. }
  7. // Works, since 'E' has a property named 'X' which is a number.
  8. console.log(f(E));

反向映射

除了创建一个以属性名做为对象成员的对象之外,数字枚举成员还具有了反向映射,从枚举值到枚举名字。

  1. enum Enum {
  2. A,const enum Enum {
  3. A = 1,
  4. B = A * 2,
  5. }
  6. }
  7. let a = Enum.A;
  8. let nameOfA = Enum[a]; // "A"

const枚举

大多数情况下,枚举是十分有效的方案。 然而在某些情况下需求很严格。 为了避免在额外生成的代码上的开销和额外的非直接的对枚举成员的访问,我们可以使用const枚举。 常量枚举通过在枚举上使用const修饰符来定义。

  1. const enum Enum {
  2. A = 1,
  3. B = A * 2,
  4. }

常量枚举只能使用常量枚举表达式,并且不同于常规的枚举,它们在编译阶段会被删除。 常量枚举成员在使用的地方会被内联进来。 之所以可以这么做是因为,常量枚举不允许包含计算成员。

  1. const enum Directions {
  2. Up,
  3. Down,
  4. Left,
  5. Right,
  6. }
  7. let directions = [Directions.Up, Directions.Down, Directions.Left, Directions.Right]
  8. //编译结果
  9. var directions = [0 /* Up */, 1 /* Down */, 2 /* Left */, 3 /* Right */];

外部枚举

外部枚举(Ambient Enums)是使用 declare enum 定义的枚举类型。

  1. declare enum Directions {
  2. Up,
  3. Down,
  4. Left,
  5. Right,
  6. }
  7. let directions = [Directions.Up, Directions.Down, Directions.Left, Directions.Right];
  8. //编译结果
  9. var directions = [Directions.Up, Directions.Down, Directions.Left, Directions.Right];

declare 定义的类型只会用于编译时的检查,编译结果中会被删除。

我们也可以同时使用 declareconst

  1. declare const enum Directions {
  2. Up,
  3. Down,
  4. Left,
  5. Right,
  6. }
  7. let directions = [Directions.Up, Directions.Down, Directions.Left, Directions.Right];
  8. //编译结果
  9. var directions = [0 /* Up */, 1 /* Down */, 2 /* Left */, 3 /* Right */];