TypeScript 基础泛型

泛型允许创建 "类型变量",可以用来创建不需要显式定义所使用类型的类、函数和类型别名。

泛型使编写可重用代码变得更容易。


函数

带有函数的泛型有助于生成更通用的方法,从而更准确地表示所使用和返回的类型。

  1. function createPair<S, T>(v1: S, v2: T): [S, T] {
  2. return [v1, v2];
  3. }
  4. console.log(createPair<string, number>('hello', 42)); // ['hello', 42]
TypeScript 还可以从函数参数推断泛型参数的类型。

泛型可以用来创建泛化类,比如 Map

  1. class NamedValue<T> {
  2. private _value: T | undefined;
  3. constructor(private name: string) {}
  4. public setValue(value: T) {
  5. this._value = value;
  6. }
  7. public getValue(): T | undefined {
  8. return this._value;
  9. }
  10. public toString(): string {
  11. return `${this.name}: ${this._value}`;
  12. }
  13. }
  14. const value = new NamedValue<number>('myNumber');
  15. value.setValue(10);
  16. console.log(value.toString()); // myNumber: 10
如果在构造函数参数中使用泛型参数,则 TypeScript 还可以推断泛型参数的类型。

类型别名

类型别名中的泛型允许创建更可重用的类型。

  1. type Wrapped<T> = { value: T };
  2. const wrappedValue: Wrapped<number> = { value: 10 };
这也适用于具有以下语法的接口:interface Wrapped<T>{

默认值

泛型可以指定默认值,如果没有指定或推断其他值,则适用默认值。

  1. class NamedValue<T = string> {
  2. private _value: T | undefined;
  3. constructor(private name: string) {}
  4. public setValue(value: T) {
  5. this._value = value;
  6. }
  7. public getValue(): T | undefined {
  8. return this._value;
  9. }
  10. public toString(): string {
  11. return `${this.name}: ${this._value}`;
  12. }
  13. }
  14. let value = new NamedValue('myNumber');
  15. value.setValue('myValue');
  16. console.log(value.toString()); // myNumber: myValue

Extends

可以向泛型中添加约束以限制允许的内容。这些约束使得在使用泛型类型时可以依赖更具体的类型。

  1. function createLoggedPair<S extends string | number, T extends string | number>(v1: S, v2: T): [S, T] {
  2. console.log(`creating pair: v1='${v1}', v2='${v2}'`);
  3. return [v1, v2];
  4. }