将函数参数推断为字面量类型的目的是什么？

把函数参数推断为字面量类型而非宽泛的基础类型（比如number），核心目的是保留参数的具体值信息，让TypeScript能基于这个精准值做更细粒度的类型校验、约束或后续逻辑的类型推导。

拿你给出的例子来说：

const foo = <Value extends number, T extends { a: Value }>(a: T) => a

// 调用后推断出的类型：<42, { a: 42 }>(a: { a: 42; }) => { a: 42; }
foo({ a: 42 })

如果换成普通的(a: {a: number}) => a，TypeScript只会把参数识别为{a: number}，完全丢失了42这个具体值。而通过泛型推断字面量类型后，不仅参数的类型被精准捕获，函数的返回值也会对应是{a:42}——后续使用这个返回值时，TypeScript能明确知道a的具体数值，提供更精准的类型提示。

这种推断方式最关键的用处就是实现基于具体值的类型校验，比如你提到的禁止值等于1的场景。我们可以修改泛型约束来实现这个规则：

// 约束Value不能是1
const foo = <Value extends number & (1 extends Value ? never : Value), T extends { a: Value }>(a: T) => a

foo({ a: 42 }) // 正常通过
foo({ a: 1 })  // TypeScript会报错，因为1不符合泛型约束

如果用普通的{a: number}类型，根本无法做到这种针对具体值的校验——TypeScript只会检查参数是否是number类型，不会关心具体数值是否符合规则。

简单来说，这种推断方式让TypeScript从“只看类型”升级到“既能看类型，也能看具体值”，从而支持更复杂、更精准的类型逻辑。

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