终于搞懂TS中的泛型啦!!

2023-10-18 19:22:31 浏览数 (1)

# 1. 前言

我们可以把泛型比喻为一个类型占位符,它告诉编译器:“嘿,这里有一个类型参数,我现在不确定具体是什么类型,但稍后会告诉你。”

通过使用泛型,我们可以编写更灵活、更可复用的代码。它允许我们在定义函数、类或接口时使用类型占位符来表示类型,而不直接指定具体的类型。这样,在实际使用时,我们可以传入不同的类型参数,使得代码可以适用于多种情况。

例如,让我们看一个简单的例子,来解释泛型的使用。假设我们有一个名为 identity 的函数,它接受一个参数并返回该参数:

代码语言:javascript复制
function identity<T>(value: T): T {
  return value;
}

在上述代码中,<T> 表示这是一个泛型函数,T 是一个类型参数,可以是任何类型。函数的参数 arg 的类型为 T,返回值的类型也是 T。这样,我们可以在函数调用时传入不同的类型参数,使得函数适用于各种类型的参数。

例如,我们可以这样调用 identity 函数:

代码语言:javascript复制
let result1 = identity<number>(42); // 传入 number 类型
let result2 = identity<string>("Hello, TypeScript"); // 传入 string 类型

在第一次调用时,类型参数 number 被传递给 identity 函数,所以返回值的类型也是 number。而在第二次调用时,类型参数 string 被传递给 identity 函数,所以返回值的类型是 string

通过使用泛型,我们可以编写出更加通用的函数,不限于特定的类型。这样一来,我们能够避免代码的重复编写,提高代码的可复用性和灵活性。

泛型主要用在四个场合:函数、接口、类和别名。

# 基本使用

泛型使用尖括号 <T> 来表示,并在定义函数、类或接口时指定类型参数。下面是一些基本的使用示例:

代码语言:javascript复制
// 示例1: 创建一个泛型函数
function identity<T>(arg: T): T {
  return arg;
}

// 示例2: 使用泛型函数
let output = identity<string>("Hello");
console.log(output); // 输出: Hello

// 示例3: 使用类型推断,自动推断泛型类型
let output2 = identity("Hello");
console.log(output2); // 输出: Hello

在示例 1 中,函数 identity 使用了泛型类型参数 T,表示参数和返回值的类型可以是任何类型。示例 2 和示例 3 展示了如何使用泛型函数并指定参数的类型。 。

# 2. 使用泛型变量:

泛型变量允许我们在函数或类中使用一种不确定的类型,而在实际使用时才确定具体的类型。

举个例子,考虑一个简单的函数identity,它接受一个参数并返回相同的值:

代码语言:javascript复制
function identity<T>(arg: T): T {
  return arg;
}

在这个例子中,我们使用了泛型变量T,它可以代表任意类型。当我们调用函数identity时,编译器会根据传入的参数类型自动推断T的具体类型。

例如:

代码语言:javascript复制
let result = identity<string>("Hello");
console.log(result); // 输出:Hello

let value = identity<number>(42);
console.log(value); // 输出:42

通过使用泛型变量,函数identity可以适用于不同类型的参数,提供了更高的灵活性和可重用性。

# 3. 泛型类型:

泛型类型允许我们创建可以适用于不同类型的变量、函数或类。

举个例子,考虑一个简单的数组反转函数reverse

代码语言:javascript复制
function reverse<T>(array: T[]): T[] {
  return array.reverse();
}

在这个例子中,我们定义了一个泛型函数reverse,接受一个数组参数,并返回反转后的数组。泛型类型T用于指定数组的元素类型。

例如:

代码语言:javascript复制
let numbers: number[] = [1, 2, 3, 4, 5];
let reversedNumbers = reverse(numbers);
console.log(reversedNumbers); // 输出:[5, 4, 3, 2, 1]

let strings: string[] = ["apple", "banana", "orange"];
let reversedStrings = reverse(strings);
console.log(reversedStrings); // 输出:["orange", "banana", "apple"]

通过使用泛型类型,函数reverse可以适用于不同类型的数组,提供了更高的灵活性和可重用性。

# 4. 泛型类:

泛型类允许我们创建可以适用于多种类型的类。类中的成员可以使用泛型类型进行声明和使用。

举个例子,考虑一个简单的Box类,用于存储任意类型的值:

代码语言:javascript复制
class Box<T> {
  private value: T;

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

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

在这个例子中,我们定义了一个泛型类Box,它具有一个私有成员value和一个公共方法getValue用于获取值。

例如:

代码语言:javascript复制
let box1 = new Box<number>(42);
console.log(box1.getValue()); // 输出:42

let box2 = new Box<string>("Hello");
console.log(box2.getValue()); // 输出:Hello

过使用泛型参数<T>,可以在类的定义中引入类型变量来表示未知的类型。这样一来,我们可以在类实例化时指定具体的类型,从而创建适用于不同类型数据的类的实例。

# 5. 泛型约束:

泛型约束允许我们限制泛型类型的范围,使其满足特定条件

# 5.1. 确保属性存在

举个例子,假设我们想编写一个函数getLength,用于获取对象的长度。但是并不是所有的对象都有length属性,所以我们需要对泛型类型进行约束,确保它具有该属性。

例如:

代码语言:javascript复制
interface HasLength {
  length: number;
}

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

在这个例子中,我们使用泛型约束T extends HasLength来限制泛型类型T必须满足HasLength接口的要求,即具有length属性。

例如:

代码语言:javascript复制
let str = "Hello";
console.log(getLength(str)); // 输出:5

let arr = [1, 2, 3, 4, 5];
console.log(getLength(arr)); // 输出:5

通过使用泛型约束,函数getLength可以接受具有length属性的对象,并返回其长度。

# 5.2 检查对象的 key

1、keyof typescript 中检测类型的方法,以联合类型的方式方返回类型的所有 key 2、搭配泛型约、<T,K extends keyof T >

refshttps://juejin.cn/post/6844904184894980104#heading-0open in new window 使用泛型,可以让我们在编译前发现错误。

# 6 泛型接口:

泛型接口允许我们定义可以适用于不同类型的接口。

举个例子,考虑一个简单的Transformer接口,它定义了一个将输入值转换为输出值的转换器:

代码语言:javascript复制
interface Transformer<T, U> {
  transform(input: T): U;
}

在这个例子中,我们定义了一个泛型接口Transformer,它有两个类型参数TU,用于定义输入类型和输出类型。

例如,我们可以实现一个字符串到数字的转换器:

代码语言:javascript复制
class StringToNumberTransformer implements Transformer<string, number> {
  transform(input: string): number {
    return parseFloat(input);
  }
}

通过定义实现了Transformer接口的类,我们可以创建不同类型的转换器。

例如:

代码语言:javascript复制
let transformer = new StringToNumberTransformer();
let result = transformer.transform("3.14");
console.log(result); // 输出:3.14

通过使用泛型接口,我们可以定义可重用、可灵活的接口,适用于不同类型的转换操作。

# 接口搭配泛型,应用在 calss 类上

extend people 约束泛型类 在 people 接口范围内 此时是 泛型变量占位符,在实例化 class 类是传递类型

代码语言:javascript复制
interface people {
  name: string;
  age: number;
}

class Popele<T extends people> {
  data: T;
  constructor(data: T) {
    this.data = data;
  }
  hi() {
    return `${this.data.name},,${this.data.age}`;
  }
}

let zhagnsan = new Popele<people>({ name: "张三", age: 18 });

总结: 泛型在 TypeScript 中提供了更灵活、可重用的代码编写方式。它可以用于定义函数、类以及接口,让我们能够编写适用于不同类型的代码。

0 人点赞