《现代Typescript高级教程》枚举和泛型

2023-07-27 15:43:29 浏览数 (1)

现代JavaScript高级小册

深入浅出Dart

现代TypeScript高级小册

枚举和泛型

接下来我们将学习TypeScript 中的两个重要主题:枚举(Enums)和泛型(Generics)。这两个特性能大大提高代码的可重用性和安全性。

枚举

枚举是 TypeScript 中一种特殊的数据类型,允许我们为一组数值设定友好的名字。枚举的定义使用 enum 关键字。

代码语言:javascript复制
enum Direction {
    Up = 1,
    Down,
    Left,
    Right,
}

在这个例子中,我们定义了一个名为 Direction 的枚举,它有四个成员:UpDownLeftRightUp 的初始值为 1,其余成员的值会自动递增。

除了使用数值,我们也可以使用字符串:

代码语言:javascript复制
enum Direction {
    Up = "UP",
    Down = "DOWN",
    Left = "LEFT",
    Right = "RIGHT",
}

此外,TypeScript 还支持计算的和常量成员。常量枚举通过 const enum 进行定义,TypeScript 会在编译阶段进行优化:

代码语言:javascript复制
const enum Enum {
    A = 1,
    B = A * 2
}

异构枚举

TypeScript 支持数字和字符串混用的枚举,这种类型的枚举被称为异构枚举:

代码语言:javascript复制
enum BooleanLikeHeterogeneousEnum {
    No = 0,
    Yes = "YES",
}

尽管 TypeScript 支持这种用法,但我们在实际项目中应尽可能避免使用异构枚举,因为这会引入不必要的复杂性。

枚举成员的类型

在某些特殊的情况下,枚举成员本身也可以作为一种类型:

代码语言:javascript复制
enum ShapeKind {
    Circle,
    Square,
}

interface Circle {
    kind: ShapeKind.Circle;
    radius: number;
}

interface Square {
    kind: ShapeKind.Square;
    sideLength: number;
}

泛型

在 TypeScript 中,泛型(Generics)是一种强大的类型工具,它允许我们编写可重用、灵活和类型安全的代码。泛型允许我们在定义函数、类或接口时使用类型参数,这些类型参数在使用时可以被动态地指定具体的类型。

以下是泛型在 TypeScript 中的几个常见应用场景:

1. 函数泛型

函数泛型允许我们编写可适用于多种类型的函数,提高代码的重用性和灵活性。例如:

代码语言:javascript复制
function identity<T>(arg: T): T {
  return arg;
}

let result = identity<number>(42);  // result的类型为number

在上面的示例中,identity函数接受一个类型参数T,表示输入和输出的类型。通过在函数调用时显式指定类型参数为number,我们可以将42传递给identity函数并推断出结果的类型为number

2. 接口泛型

接口泛型允许我们创建可适用于不同类型的接口定义。例如:

代码语言:javascript复制
interface Pair<T, U> {
  first: T;
  second: U;
}

let pair: Pair<number, string> = { first: 42, second: "hello" };

在上面的示例中,我们定义了一个Pair接口,它接受两个类型参数TU,表示firstsecond属性的类型。通过指定类型参数为numberstring,我们创建了一个具体的pair对象,它的first属性类型为numbersecond属性类型为string

3. 类泛型

类泛型允许我们创建可适用于不同类型的类定义。例如:

代码语言:javascript复制
class Container<T> {
  private value: T;

  constructor(value: T) {
    this.value = value;
  }

  getValue(): T {
    return this.value;
  }
}

let container = new Container<number>(42);
let value = container.getValue();  // value的类型为number

在上面的示例中,我们定义了一个Container类,它接受一个类型参数T,表示类的内部值的类型。通过在创建类的实例时显式指定类型参数为number,我们创建了一个具体的container对象,它的value属性类型为number,并可以使用getValue方法获取该值。

泛型还支持约束(Constraints)的概念,通过使用约束,我们可以限制泛型的类型范围,使其满足特定的条件。

泛型在 TypeScript 中广泛应用于函数、类、接口和类型别名的定义中,它提供了一种灵活、类型安全且可重用的方式来处理不同类型的数据。通过使用泛型,我们可以在编写代码时提供更强大的类型支持,从而减少错误并提高代码的可维护性和可读性。

0 人点赞