TypeScript带Primitive约束的泛型函数返回元组成员类型异常问题

首先明确核心定义：

type Primitive = string | number | bigint | boolean | symbol | null | undefined;
type A<T> = T extends Primitive ? [T] : never;

为什么示例A与示例C的推导结果不同？ #

示例A的问题根源 #

当泛型参数被约束为T extends Primitive时，TypeScript的类型推断逻辑会优先考虑满足约束的最宽类型范围。调用a(['a string'])时，传入的['a string']是[string]类型，而[string]是A<Primitive>（即[Primitive]）的子类型（因为string extends Primitive）。此时TypeScript允许将T推断为整个Primitive联合类型——虽然这不是最精确的类型，但完全符合泛型约束，因此返回类型会变成Primitive。

而示例B中函数直接返回A<T>（即[T]），TypeScript会倾向于推断更具体的T值（这里是string），因为这样返回的[string]比[Primitive]更贴合传入参数的实际类型，这是TypeScript为了返回更精确类型做出的优化。

示例C的正确推导原因 #

当泛型约束是T extends unknown时，没有对T的范围做限制，TypeScript会直接推断T为最具体的类型——string，因为A<string>正好匹配传入的[string]参数，因此返回a[0]的类型就是string。

解决方案：兼顾约束与精确推导 #

要同时保留Primitive约束和精确的类型推导，可以通过以下几种方式实现：

1. 使用const泛型强制精确推断 #

const泛型会告诉TypeScript推断最窄、最具体的类型，避免自动拓宽：

const a = <const T extends Primitive>(a: A<T>) => a[0];
a(['a string']); // 返回类型为string

2. 直接使用元组类型替代条件类型 #

既然A<T>本质是原始类型的元组，直接将参数类型定义为[T]并约束T：

const a = <T extends Primitive>(a: [T]) => a[0];
a(['a string']); // 返回类型为string

3. 通过infer提取元组元素并约束 #

利用条件类型的infer语法提取元组元素，同时约束元素为原始类型：

const a = <T extends [Primitive]>(a: T) => a[0];
a(['a string']); // 返回类型为string

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