TS泛型类型

泛型类型（Generic Types）是编程语言中提供的一种强大特性，它允许开发者创建可以适应多种类型的数据结构和算法。在 TypeScript 中，泛型允许我们定义在编译时不知道具体类型的函数、类或接口。通过使用占位符类型（称为类型参数），泛型可以帮助我们编写更加通用、可复用的代码，同时保留静态类型检查的优势。

举例来说，在 TypeScript 中定义一个泛型函数或泛型类：

泛型函数示例：

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

let output1 = identity<string>("Hello World"); // 输出类型为 string
let output2 = identity<number>(42); // 输出类型为 number

在这个例子中，<T> 是一个类型参数，当调用 identity 函数时，我们可以指定 T 为任何类型。

泛型类示例：

class Box<T> {
  value: T;

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

let stringBox = new Box<string>("Hello");
let numberBox = new Box<number>(42);

// stringBox.value 的类型是 string
// numberBox.value 的类型是 number

在这个 Box 类中，T 是一个泛型类型参数，它代表了存储在 value 属性中的实际类型。创建 Box 类的实例时，我们可以指定 T 为任何类型。

通过这种方式，泛型增强了代码的可复用性和类型安全性，避免了不必要的类型转换和潜在的运行时错误。

更多 TypeScript 中泛型的例子：

泛型函数 - 映射函数

function mapArray<T, U>(array: T[], mapper: (item: T) => U): U[] {
  return array.map(mapper);
}

let numbers = [1, 2, 3, 4, 5];
let strings = mapArray(numbers, (n) => n.toString()); // strings 的类型是 string[]

在这个例子中，mapArray 函数接受一个类型为 T 的数组和一个映射函数，返回一个类型为 U 的数组。在调用时，根据传入的参数类型，编译器能够推断出返回值的类型。

泛型类 - 货币转换器

class CurrencyConverter<CurrencyFrom, CurrencyTo> {
  conversionRate: number;

  constructor(rate: number) {
    this.conversionRate = rate;
  }

  convert(value: number): number {
    return value * this.conversionRate;
  }
}

const usdToEurConverter = new CurrencyConverter<USD, EUR>(0.85);
let convertedAmount = usdToEurConverter.convert(100); // convertedAmount 的类型是 number

这里，CurrencyConverter 类接受两个泛型参数，代表货币类型，虽然这个例子中并未实际利用这些类型参数（只是为了展示泛型类的使用），但在实际开发中，类型参数可以用于限制输入输出的货币类型。

泛型接口 - 键值对集合

interface KeyValuePairs<K, V> {
  [key: K]: V;
}

let myPairs: KeyValuePairs<string, number> = {
  "apple": 1,
  "banana": 2,
  "cherry": 3,
};

此 KeyValuePairs 接口使用了索引签名和泛型，表示它可以存储任意数量的键值对，其中键的类型为 K，值的类型为 V。在实例化时，我们指定了 string 作为键类型，number 作为值类型。