TypeScript泛型类型推断为何不推导出联合类型？

为什么TypeScript不自动推断合法的联合类型？ #

TypeScript的泛型参数推断策略优先选择最具体的、能匹配所有参数的类型，而非直接退到最宽松的联合类型。对于pairer<T>(a: T, b: T)这种定义，TS会先尝试用第一个参数的类型（bigint）作为候选泛型类型，接着检查第二个参数是否符合该类型——显然boolean不匹配，因此抛出错误。

这种设计是为了避免意外的类型宽泛化：如果TS自动将T推断为联合类型，会掩盖开发者可能的传参错误（比如不小心把不同类型的值传给了本应同类型的参数），违背了类型检查的初衷。只有当开发者显式指定联合类型时，TS才会认可这种意图。

有没有详细的泛型推断逻辑文档？ #

官方TypeScript手册的泛型章节偏向入门指引，未覆盖这类细节场景。但TypeScript语言规范（TypeScript Language Specification） 中包含类型推断的完整规则；此外，TypeScript仓库中的设计提案、PR讨论（比如涉及泛型推断策略的RFC）也会深入解释这类推断逻辑的设计考量。

如何定义泛型让调用自动推断联合类型？ #

要实现自动推断参数类型的联合，需要调整泛型的定义方式，常见的两种方案：

方案1：使用两个独立泛型参数，显式返回联合类型 #

如果希望返回对象的a和b都为参数类型的联合，可以这样定义：

const pairer = <A, B>(a: A, b: B): { a: A | B; b: A | B } => ({ a, b });
const mypair = pairer(3n, true); // a和b的类型均为bigint | boolean

方案2：通过泛型约束让T自动推断为联合类型 #

利用泛型约束让T成为两个参数类型的父类型，TS会自动将T推断为两者的联合：

const pairer = <T, A extends T, B extends T>(a: A, b: B) => ({ a, b });
const mypair = pairer(3n, true); // T被推断为bigint | boolean，无类型错误

如果只是需要保留参数各自的类型，但允许传入不同类型，也可以直接使用两个泛型参数不做约束，此时返回对象的类型会保留各自的具体类型：

const pairer = <A, B>(a: A, b: B) => ({ a, b });
const mypair = pairer(3n, true); // 类型为{ a: bigint; b: boolean; }

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