TypeScript中keyof typeof行为差异解析及解决方案咨询

先把三个示例的代码和结果明确下来，再逐个拆解原因：

示例1：直接定义的对象 #

const obj1 = { k1: 'v1', k2: 'v2', k3: 'v3', k4: 'v4' };
type Keys1 = keyof typeof obj1; // 结果："k1"|"k2"|"k3"|"k4"

原因：TypeScript对const声明的对象会自动做「最窄类型推断」——它会把对象的每个键都识别为字面量类型，而非宽泛的string。所以typeof obj1得到的是包含所有具体键的字面量对象类型，keyof自然能提取出这些具体键的联合类型。

示例2：标注为Record<string, string>的对象 #

const obj2: Record<string, string> = { k1: 'v1', k2: 'v2', k3: 'v3', k4: 'v4' };
type Keys2 = keyof typeof obj2; // 结果：string

原因：Record<string, string>的本质是带字符串索引签名的类型{ [key: string]: string }。当你给obj2标注这个类型时，typeof obj2的类型就被固定为Record<string, string>，而非对象的字面量类型。keyof作用于这种带字符串索引的类型时，返回的就是索引签名的类型string，不会保留具体的键。

示例3：带字符串索引签名的对象 #

const obj3: { [key: string]: string } = { k1: 'v1', k2: 'v2', k3: 'v3', k4: 'v4' };
type Keys3 = keyof typeof obj3; // 结果：string | number

原因：这是TypeScript为兼容JS特性设计的——在JS中，对象的数字键会被自动转换为字符串（比如obj[1]等价于obj["1"]）。所以当类型定义了字符串索引签名时，TypeScript认为number类型的键也是合法的（因为可以隐式转换为字符串），因此keyof会同时返回string和number的联合类型。

解决方案 #

根据需求，以下几种方式可以让你既保留类型约束，又能拿到具体的键类型：

1. 用satisfies约束类型（TS 4.9+） #

satisfies可以确保对象符合指定类型，但不会覆盖TypeScript对对象的窄类型推断，既能保留具体键，又能保证对象结构合法：

const obj = { k1: 'v1', k2: 'v2', k3: 'v3', k4: 'v4' } satisfies Record<string, string>;
type Keys = keyof typeof obj; // "k1"|"k2"|"k3"|"k4"

2. 先定义具体键的联合类型 #

如果需要复用键类型，可以先把具体键提取成联合类型，再基于它创建对象类型：

// 先定义具体键的联合类型
type ObjKeys = "k1" | "k2" | "k3" | "k4";
// 基于键类型创建约束对象类型
type ObjType = Record<ObjKeys, string>;

const obj: ObjType = { k1: 'v1', k2: 'v2', k3: 'v3', k4: 'v4' };
type Keys = keyof typeof obj; // "k1"|"k2"|"k3"|"k4"

3. 过滤字符串索引签名中的number类型 #

如果只是想从带字符串索引的类型中得到纯string键，可以用Exclude工具类型过滤掉number：

const obj3: { [key: string]: string } = { k1: 'v1', k2: 'v2', k3: 'v3', k4: 'v4' };
type StringOnlyKeys = Exclude<keyof typeof obj3, number>; // string

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