【TS系列】TypeScript进阶

在TypeScript中，我们可以使用泛型来创建可复用的组件，它们可以在不同的类型之间复用。泛型是一种在定义函数、接口或类时，不预先指定其具体类型，而是在使用时才指定的特殊类型。

以下是一个使用泛型的例子，它定义了一个函数，该函数可以操作任何类型的数组：

function identity<T>(arg: T[]): T[] {
    return arg;
}
 
let output = identity<string>(['1', '2', '3']);  // 明确指定泛型为string
console.log(output);  // ['1', '2', '3']
 
// 类型推断
let output2 = identity(['4', '5', '6']);  // 不需要明确指定泛型，类型会被推断为string[]
console.log(output2);  // ['4', '5', '6']

在这个例子中，identity函数接受一个泛型参数T，并使用这个泛型参数来定义参数类型和返回类型。当调用identity函数时，可以明确指定泛型类型，如<string>，或者让编译器通过上下文来推断类型。

泛型不仅可以用于函数，还可以用于接口和类。例如，可以创建一个泛型接口来描述一个键值对：

interface Pair<K, V> {
    key: K;
    value: V;
}
 
let pair: Pair<string, number> = { key: 'test', value: 123 };
console.log(pair);  // { key: 'test', value: 123 }

泛型也可以用于类，例如，创建一个泛型栈类，该类可以用于存储任何类型的元素：

class Stack<T> {
    private items: T[] = [];
 
    push(item: T) {
        this.items.push(item);
    }
 
    pop(): T {
        return this.items.pop();
    }
}
 
let stack = new Stack<number>();
stack.push(1);
stack.push(2);
console.log(stack.pop());  // 2

泛型提供了强大而灵活的工具，可以用来创建可复用的代码。在TypeScript中，泛型是一个非常重要的特性，它可以提高代码的可复用性和类型安全性。