TypeScript：约束对象为Record<string,T>后为何无法推断确定键名？

核心原因是你给params显式指定了Record<string, Param>类型，这个宽泛的类型会覆盖as const的字面量推断。

TypeScript的类型规则里，当你给变量显式标注类型时，TS会优先使用你指定的类型——只要右侧的值能赋值给这个类型，就不会去推导更具体的类型细节。as const确实能把对象的键、值都锁定为字面量类型，但它只是让右侧表达式的类型变窄，一旦你给变量标了Record<string, Param>（键是任意字符串），TS就会直接把变量的类型设定为这个宽泛的Record，而忽略as const带来的具体键信息。

解决办法 #

1. 去掉显式类型标注，让TS自动推断 #

直接移除Record<string, Param>的标注，as const就能发挥作用，TS会自动推断出具体的键类型：

const params = {
 foo: { field: 'hello', active: false },
 boo: { field: 'world', active: true },
} as const;
// 推断出的类型：{ readonly foo: { readonly field: "hello"; readonly active: false; }; readonly boo: { readonly field: "world"; readonly active: true; }; }
// 键类型为 'foo' | 'boo'

2. 约束值类型的同时保留键的字面量推断 #

如果需要确保每个值都符合Param类型，又想保留具体的键，可以用以下两种方式：

方式一：使用泛型函数

通过泛型函数约束输入值的类型，同时返回原推断的具体类型：

type Param = {
 field: string;
 active: boolean;
}

function createParams<T extends Record<string, Param>>(obj: T): T {
  return obj;
}

const params = createParams({
 foo: { field: 'hello', active: false },
 boo: { field: 'world', active: true },
} as const);
// 推断出的键类型为 'foo' | 'boo'，且每个值都符合Param类型

方式二：使用satisfies关键字（TS 4.9+）

satisfies会检查值是否符合指定类型，但不会改变变量的推断类型，是最简洁的方案：

type Param = {
 field: string;
 active: boolean;
}

const params = {
 foo: { field: 'hello', active: false },
 boo: { field: 'world', active: true },
} as const satisfies Record<string, Param>;
// 既确保值符合Param类型，又保留了'foo' | 'boo'的键类型

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