使用 TypeScript 中的交叉类型解决部分擦除 Type Parameters 的问题。

在 TypeScript 中，我们经常使用泛型来增加代码的灵活性和可重用性。然而，在某些情况下，由于类型参数无法推断，或是需要对泛型类型进行进一步的操作，我们可能需要将类型参数进行“部分擦除”（Partial Erasure），即将某些类型参数的信息擦除掉，以便能够以更灵活的方式使用它们。

例如，在下面的代码中，我们定义了一个泛型函数 swap，来交换两个元素的位置：

function swap(arr: T[], i: number, j: number): void {
  const temp: T = arr[i]
  arr[i] = arr[j]
  arr[j] = temp
}

但是，假设我们只想对 T 执行交换操作，而不关心 K，我们可以将 K “部分擦除”，以便只关注 T。在原来的代码中，我们需要使用类型断言来告诉 TypeScript 这一点：

function swap(arr: T[], i: number, j: number): void {
  const temp: T = arr[i] as any
  arr[i] = arr[j] as any
  arr[j] = temp
}

但是，这种方法有它的限制。首先，它使我们失去了类型安全性。我们不能保证 arr 中的每个元素都是 T 类型，而不是 K 类型。此外，如果我们要对 T 进行其他操作，例如调用 T 上的方法或访问 T 的属性，那么这些操作也将无法进行正确的类型检查。因此，我们需要一个更好的方法来解决这个问题。

一个解决方法是使用 TypeScript 中的交叉类型。交叉类型