什么是泛型,什么是泛型约束

在TypeScript中,泛型是一种允许你编写可重用的代码,同时适应各种类型的强大工具。

泛型的主要目标是提高类型安全性和代码重用性,同时保持类型的明确性。

以下是一些具体的使用例子:

泛型函数:你可以定义一个接受某种类型参数的函数,然后这个函数可以操作那个类型的任何值。例如:

typescriptfunction printValue(value: T): void {
console.log(value);
}

printValue(10); // 输出:10
printValue("Hello"); // 输出:"Hello"

泛型类:你可以定义一个类,该类的类型参数可以是任何类型。例如:

typescriptclass Box {
content: T;

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

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

let integerBox = new Box(10);
let stringBox = new Box("Hello");

console.log(integerBox.getValue()); // 输出:10
console.log(stringBox.getValue()); // 输出:"Hello"

泛型接口:你可以定义一个接口,该接口的类型参数可以是任何类型。例如:

typescriptinterface BoxInterface {
content: T;
getValue(): T;
}

class Box implements BoxInterface {
content: T;

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

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

以上的 就是泛型标记,表示这个类、函数或接口是泛型的,可以接受一个或多个类型参数。使用时可以用实际的类型来替代 ,如 等。

在TypeScript中,泛型约束是一种限制泛型类型参数的方式,以便更精确地指定泛型代码的适用范围。

泛型约束可以通过在泛型类型参数后面添加一个约束类型来实现。约束类型可以是一个内置类型、一个类类型或者一个接口类型。

以下是一些泛型约束的使用例子:

约束为内置类型:你可以约束泛型类型参数为某些内置类型。例如:

typescriptfunction printValue(value: number | string): void {
console.log(value);
}

在这个例子中,printValue 函数的泛型类型参数被约束为 numberstring 类型。约束为类类型:你可以约束泛型类型参数为一个类类型。例如:

typescriptclass Animal {
speak(): void {
console.log("Animal speaks");
}
}

function printValue(value: Animal): void {
console.log(value);
}

在这个例子中,printValue 函数的泛型类型参数被约束为 Animal 类类型。

约束为接口类型:你可以约束泛型类型参数为一个接口类型。例如:

typescriptinterface Shape {
area(): number;
}

function printValue(value: Shape): void {
console.log(value);
}

在这个例子中,printValue 函数的泛型类型参数被约束为 Shape 接口类型。

通过使用泛型约束,你可以确保泛型代码适用于特定类型的值,并且可以在编译时捕获潜在的类型错误。

你可能感兴趣的:(typescript)