TypeScript 基础指南：泛型约束（Generic Constraints） - Wikoding

TypeScript 基础指南：泛型约束（Generic Constraints）

在 TypeScript 中,泛型约束（Generic Constraints）是一种用于限制泛型类型的特性。它允许开发者指定泛型类型必须满足的一些条件或接口。

泛型约束的基本语法如下:

function functionName<T extends InterfaceName>(parameter: T): T {
  // 函数体
  return parameter;
}

在这个示例中:

1.

<T extends InterfaceName> 是泛型约束的语法,它指定类型参数 T 必须是 InterfaceName 接口的子类型。

2.

parameter: T 表示参数必须是 T 类型,也就是满足 InterfaceName 接口的类型。

3.

return parameter 表示函数返回的值也必须是 T 类型。

下面是一个更具体的例子:

interface HasLength {
  length: number;
}

function getLength<T extends HasLength>(arg: T): number {
  return arg.length;
}

console.log(getLength('hello')); // 输出: 5
console.log(getLength([1, 2, 3])); // 输出: 3
console.log(getLength(42)); // 错误: number 不满足 HasLength 接口

在这个例子中:

1.

我们定义了一个 HasLength 接口,它要求类型必须有一个 length 属性。

2.

getLength 函数接受一个类型参数 T，并要求 T 必须满足 HasLength 接口。

3.

我们成功地传入了 string 和 number[] 类型,因为它们都满足 HasLength 接口。但是传入 number 类型会报错,因为它不满足 HasLength 接口。

泛型约束的主要用途包括:

•

数据验证

可以确保函数或类只接受满足特定条件的数据类型。

•

算法复用

可以编写适用于多种数据类型的通用算法。

•

类型安全

可以在编译时发现类型错误,提高代码的可靠性。

•

代码可读性

可以使代码更加易于理解和维护。

除了使用接口,泛型约束还可以使用类型表达式,如 extends typeof someObject。这样可以根据现有的类型信息来约束泛型类型。总之,泛型约束是 TypeScript 中一个强大的特性,它可以帮助开发者编写出更加灵活、健壮和可维护的代码。合理使用泛型约束可以提高代码的质量和可靠性。

TypeScript 基础指南

© 2024 Wikoding, Inc.