TypeScript 类、泛型的使用实践记录 | 青训营

在TypeScript中，泛型是一种用于创建可重用、灵活且类型安全的组件的特性。它可以在函数、类、接口等数据类型中使用参数化类型，使得代码可以适用于多种数据类型。

泛型的使用方法和场景

泛型函数

使用泛型函数时，可以将类型参数放在函数名后面的尖括号内，然后在函数的参数列表或返回值中使用该类型参数。

function identity<T>(arg: T): T {
  return arg;
}

// 使用泛型函数
let result1 = identity<number>(42); // 返回类型为 number
let result2 = identity<string>("Hello"); // 返回类型为 string

泛型类

泛型类允许在类定义中使用类型参数，并在类的属性和方法中使用这些参数。

class Box<T> {
  value: T;

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

// 使用泛型类
let box1 = new Box<number>(42); // value的类型为 number
let box2 = new Box<string>("Hello"); // value的类型为 string

泛型接口

泛型接口可以用于定义带有类型参数的接口，使得接口可以适用于不同类型的实现。

interface Pair<T, U> {
  first: T;
  second: U;
}

// 使用泛型接口
let pair: Pair<number, string> = { first: 42, second: "Hello" };

泛型在数组处理中的使用场景

一个常见的使用场景是在处理数组时使用泛型。考虑一个函数，它可以接收一个任意类型的数组，并返回其中最小的元素。可以使用泛型来实现以下这个函数：

function findMin<T>(arr: T[]): T | undefined {
  if (arr.length === 0) {
    return undefined;
  }

  let min: T = arr[0];
  for (let i = 1; i < arr.length; i++) {
    if (arr[i] < min) {
      min = arr[i];
    }
  }

  return min;
}

let numbers = [5, 3, 9, 2, 7];
let strings = ["apple", "banana", "orange"];

let minNumber = findMin(numbers); // 返回类型为 number | undefined
let minString = findMin(strings); // 返回类型为 string | undefined

console.log(minNumber); // 输出 2
console.log(minString); // 输出 "apple"

在上述代码中，使用泛型函数findMin来处理不同类型的数组，包括数字数组和字符串数组。通过泛型的灵活性，这个函数可以处理各种类型的数组，并返回相应类型的最小元素。

TypeScript如何使用类型约束来增加代码的灵活性和安全性

在TypeScript中，使用类型约束可以增加代码的灵活性和安全性。类型约束允许对泛型参数进行限制，指定泛型必须满足特定条件或实现特定接口。这样做可以在编译时期捕获一些类型错误，避免在运行时出现不必要的问题，并增加代码的可读性和可维护性。

使用extends进行类型约束

使用extends关键字可以对泛型参数进行类型约束，限制泛型必须是某个类的子类或实现了特定接口。

示例 1：泛型函数中使用类型约束

假设有一个泛型函数printProperty，它接收一个对象和一个属性名，并打印该对象上指定属性的值。可以使用类型约束来确保传入的对象包含指定的属性。

function printProperty<T extends { [key: string]: any }>(obj: T, key: keyof T): void {
  console.log(obj[key]);
}

let person = { name: "Alice", age: 30 };
let car = { make: "Toyota", model: "Camry", year: 2020 };

printProperty(person, "name"); // 输出 "Alice"
printProperty(car, "year"); // 输出 2020
printProperty(car, "color"); // 编译时报错，car对象中没有color属性

在上述代码中，使用了extends { [key: string]: any }，表示泛型类型T必须是包含任意属性的对象。这样，在编译时期，如果传入一个不存在指定属性的对象，TypeScript会给出编译错误，从而增加代码的安全性。

总结

总结来说，TypeScript中的泛型能够大幅提高代码的重用性、灵活性和类型安全性，而使用场景主要集中在处理数据结构的通用组件上，如数组、链表、树等。通过使用类型约束，可以在编译时期对泛型进行更多的类型检查，提高代码的灵活性和安全性。同时，类型约束还使得代码更具可读性和可维护性，因为在使用泛型时，可以清楚地了解其约束条件，从而更好地利用其特和功能。