TypeScript泛型多类型参数的含义、作用及参数类型疑问

1. 尖括号里的多个类型参数代表什么？ #

function fn<T, U>(...)中的T、U是类型形参，本质是类型层面的占位符。它们本身没有固定类型，就像函数的普通形参代表具体值的占位符一样，这些类型参数会在函数调用时，根据传入的实际参数类型被自动推断，或者由开发者手动指定具体类型。

比如调用fn<string, number>("hello", 42)时，T就被替换为string，U被替换为number；如果不手动指定，TypeScript也会根据传入的参数自动推导：fn("hello", 42)同样会识别出T=string、U=number。

2. 设置多个泛型类型的目的是什么？ #

核心目的是让函数能安全处理多种不同类型的输入/输出，同时保持类型约束，避免用any导致的类型安全丢失，也不用为每种类型组合写重复的重载函数。

举个实际场景：如果你需要一个函数，接收一个用户信息对象（类型A）和一个配置对象（类型B），返回两者合并后的新对象。用两个泛型参数T（用户信息类型）和U（配置类型），就能让函数适配任意结构的用户信息和配置，同时保证返回值的类型是T & U，调用时能获得完整的类型提示和校验。

3. 函数参数是否可以为T或U类型？ #

当然可以，这正是泛型的核心用法之一。你可以直接把类型参数作为函数参数、返回值、甚至内部变量的类型约束。

示例代码：

// 参数分别为T和U类型，返回值是两者的元组
function combine<T, U>(a: T, b: U): [T, U] {
  return [a, b];
}

// 调用时自动推断类型：T=boolean，U=string
const result = combine(true, "test");
// result的类型是[boolean, string]，完全符合约束

内容的提问来源于stack exchange，提问作者Mike