TypeScript 基本泛型


泛型允许创建“类型变量”,可用于创建类、函数和类型别名,而无需显式定义它们使用的类型。

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


函数

带有函数的泛型有助于创建更通用的方法,更准确地表示使用和返回的类型。

示例

function createPair<S, T>(v1: S, v2: T): [S, T] {
  return [v1, v2];
}
console.log(createPair<string, number>('hello', 42)); // ['hello', 42]
亲自试一试 »

TypeScript 还可以从函数参数推断泛型参数的类型。


课程

泛型可用于创建通用类,例如地图

示例

class NamedValue<T> {
  private _value: T | undefined;

  constructor(private name: string) {}

  public setValue(value: T) {
    this._value = value;
  }

  public getValue(): T | undefined {
    return this._value;
  }

  public toString(): string {
    return `${this.name}: ${this._value}`;
  }
}

let value = new NamedValue<number>('myNumber');
value.setValue(10);
console.log(value.toString()); // myNumber: 10
亲自试一试 »

如果在构造函数参数中使用泛型参数,TypeScript 还可以推断泛型参数的类型。


类型别名

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

示例

type Wrapped<T> = { value: T };

const wrappedValue: Wrapped<number> = { value: 10 };

这也适用于具有以下语法的接口:interface Wrapped<T> {



默认值

可以为泛型分配默认值,如果没有指定或推断其他值,则应用这些默认值。

示例

class NamedValue<T = string> {
  private _value: T | undefined;

  constructor(private name: string) {}

  public setValue(value: T) {
    this._value = value;
  }

  public getValue(): T | undefined {
    return this._value;
  }

  public toString(): string {
    return `${this.name}: ${this._value}`;
  }
}

let value = new NamedValue('myNumber');
value.setValue('myValue');
console.log(value.toString()); // myNumber: myValue

延伸

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

示例

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

这可以与默认值结合使用。


TypeScript 练习

通过练习测试一下

练习:

完成通用:

function createPair, (x: typeX, y: typeY): [typeX, typeY] {
 return [x, y];
}
console.log(createPair<string, number>('Meaning', 42));

开始练习