TypeScript 基础泛型
泛型允许创建“类型变量”,这些类型变量可用于创建不需显式定义所用类型的类、函数和类型别名。
泛型使编写可重用代码更加容易。
函数
函数中的泛型有助于创建更通用的方法,这些方法能更准确地表示所用和返回的类型。
示例
function createPair<S, T>(v1: S, v2: T): [S, T] {
return [v1, v2];
}
console.log(createPair<string, number>('hello', 42)); // ['hello', 42]
自己动手试一试 »
TypeScript 也可以从函数参数推断泛型参数的类型。
Classes
泛型可用于创建通用的类,例如 Map。
示例
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
extends
可以向泛型添加约束以限制允许的类型。约束使得在使用泛型类型时可以依赖于更具体的类型。
示例
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];
}
这可以与默认值结合使用。