【TypeScript】TS泛型

在TypeScript中，泛型是一种创建可复用代码组件的工具，它允许你在类、接口、方法中使用类型参数。泛型不仅可以提高代码的可复用性，还能提供编译时的类型检查。

以下是一个简单的泛型函数示例，该函数可以对两种不同类型的数组进行合并，并且能在编译时检查合并后数组的类型：

function mergeArrays<T, U>(arr1: T[], arr2: U[]): (T | U)[] {
    return arr1.concat(arr2);
}
 
let numbers = [1, 2, 3];
let strings = ['a', 'b', 'c'];
 
let merged = mergeArrays(numbers, strings);  // (number | string)[]
 
console.log(merged[0]);  // 可能是 number 或 string，类型为 number | string

在这个例子中，mergeArrays 函数使用了两个类型参数 T 和 U，它们代表两个数组中元素的类型。函数返回值的类型是一个联合类型，表示数组中可能包含 T 或 U 类型的任何元素。

泛型不仅可以用于函数，还可以用于类和接口，例如创建一个泛型队列类：

class Queue<T> {
    private data: T[] = [];
 
    push(item: T) {
        this.data.push(item);
    }
 
    pop(): T | undefined {
        return this.data.shift();
    }
}
 
let queueOfNumbers = new Queue<number>();
queueOfNumbers.push(1);
queueOfNumbers.push(2);
 
let first = queueOfNumbers.pop().value;  // 类型为 number

在这个例子中，Queue<T> 类使用了一个类型参数 T，它代表队列中元素的类型。这个类可以用于保持不同类型的元素，并且在编译时会进行类型检查。