为何TypeScript泛型函数未传参时会自动推导类型？

问题场景 #

定义泛型类型T<G = Record<string, any>>与泛型函数element，预期行为：

• 未传入source参数时，返回对象的id类型为'random'
• 传入source时，id类型与source完全一致

实际出现的矛盾现象：

• 用变量接收函数返回值时，类型校验符合预期
• 直接将element()放入T<Data>[]类型的数组中时，未触发报错，此时element()的返回类型被自动推导为{ readonly id: keyof Data; readonly label: "Element1"; }

相关代码：

type T<G = Record<string, any>> = {
     id: keyof G
     label: string
     somethingElse?: string
}

const element = <ID extends string = 'random'>({ source }: { source?: ID } = {}) =>
    ({
        id: (source || 'random') as ID,
        label: 'Element1',
    }) as const satisfies T  

type Data = { a: string; b: number }

// 变量接收时校验正常
const el1 = element()                   // el1类型：{ readonly id: "random"; readonly label: "Element1"; }
const el2 = element({source: 'b'})     // el2类型：{ readonly id: "b"; readonly label: "Element1"; }
const el3 = element({source: 'else'})   // el3类型：{ readonly id: "else"; readonly label: "Element1"; }

const b: T<Data>[] = [el1, el2, el3]   // el1和el3报错，符合预期

// 直接调用时未报错，不符合预期
const a: T<Data>[] = [element()]   
// 为何此时element()的返回类型是{ readonly id: keyof Data; readonly label: "Element1"; }？

原因解释 #

这是TypeScript上下文类型推导机制的典型表现：

1. 无约束场景的泛型推断：当用变量（如el1）接收element()返回值时，没有明确的目标类型约束，TypeScript会直接使用函数泛型的默认参数'random'，因此el1的id类型为'random'。

2. 有约束场景的反向推导：当element()直接处于T<Data>[]类型的数组中时，TypeScript会根据数组的目标类型反向推导泛型参数。T<Data>要求id的类型是keyof Data（即'a' | 'b'），而keyof Data属于string的子类型，符合ID extends string的约束，因此TypeScript会将element的泛型参数ID推导为keyof Data，而非默认的'random'。

3. 编译期类型匹配优先级：编译阶段TypeScript优先满足上下文的类型要求，只要推导后的泛型参数符合函数约束，就不会触发报错——即便运行时实际返回的id值是'random'，也不会影响编译期的类型校验逻辑。

简言之，TypeScript会根据代码所处的上下文环境调整泛型推导逻辑，优先匹配目标类型的要求，而非始终使用泛型默认值。

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