【TS】泛型以及多个泛型参数

在TypeScript中，泛型是一种创建可复用代码组件的强大机制。它允许你在类、接口、方法中使用类型参数，从而可以在不同的上下文中重用这些组件。

泛型的一般形式是：

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

在这个例子中，<T>是一个类型参数，它代表了一个泛型类型，可以在函数签名和函数体中使用。

如果你需要定义多个类型参数，可以在尖括号中用逗号分隔。

function tupleToObject<K extends string, V>(keys: K[], values: V[]) : { [key in K]: V } {
    return keys.reduce((acc, key, index) => ({ ...acc, [key]: values[index] }), {} as { [key in K]: V });
}

在这个例子中，<K extends string, V>定义了两个类型参数，分别代表键的类型和值的类型。

解决方案：

// 定义一个泛型函数，它接受两个泛型参数A和B，并返回一个元组类型
function tuple<A, B>(a: A, b: B): [A, B] {
    return [a, b];
}
 
// 使用泛型函数
let myTuple = tuple<string, number>('hello', 42);
 
console.log(myTuple[0].toUpperCase()); // HELLO
console.log(myTuple[1].toFixed(2)); // 42.00

在这个例子中，tuple函数接受两个参数，并返回一个包含这两个参数的元组。通过指定<string, number>作为泛型参数，我们可以得到一个确保第一个元素是字符串，第二个元素是数字的元组。这样，在使用该函数时，TypeScript编译器会进行类型检查，以确保我们不会错误地将一个字符串和一个数字组合在一起，或者尝试在字符串上调用数字方法。