Typescript中是否可直接为常量推断泛型类型？

结论 #

TypeScript 4.9 及以上版本可以通过 satisfies 运算符实现无需恒等函数的常量泛型类型约束与推断，低于该版本的环境暂时只能依赖泛型恒等函数实现。

原方案痛点 #

你之前使用的泛型恒等函数，核心作用是同时满足两个需求：

• 给常量值施加泛型类型约束，不符合类型规则的赋值会直接触发类型报错
• 保留常量本身的精确字面量类型，不会像手动显式标注泛型类型一样丢失值的细节类型信息

替代实现示例 #

我们以「约束对象的键、值类型必须相同」的场景为例，satisfies 写法如下：

// 自定义泛型类型
type SameKeyValue<T extends string> = Record<T, T>

// 无需恒等函数，直接定义常量
const config = {
  a: 'a',
  b: 'b'
} satisfies SameKeyValue<keyof typeof config>

上述代码的效果和泛型恒等函数完全一致：

• 如果写 a: 'c' 不符合类型规则会直接报错
• config 的类型会保留为精确的 { a: 'a', b: 'b' }，不会被拓宽为通用的 Record<string, string>

如果你不需要保留精确的字面量类型，也可以直接给常量标注带泛型参数的类型：

type MyTypeWithGeneric<T> = { value: T }
const foo: MyTypeWithGeneric<string> = { value: 'test' }

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