TypeScript如何动态声明变量类型为目标对象的键名？

你说的这种手动维护联合类型的方式确实很麻烦，每次新增方法都要改类型，TypeScript 早就想到这个问题了，用 keyof 结合 typeof 就能完美解决，让变量类型自动跟着对象的键同步更新～

具体实现步骤： #

1. 先通过 typeof 获取对象的类型
2. 用 keyof 操作符提取该类型所有键的联合类型
3. 把这个联合类型作为变量的类型注解

示例代码如下：

// 你的原始对象
let obj = { 
  method1: () => { return "method1 called" }, 
  method2: () => { return "method2 called" }, 
  method3: () => { return "method3 called" }, 
};

// 动态生成对象键的联合类型
type ObjMethodKeys = keyof typeof obj;

// 声明变量，类型自动关联obj的所有键
let myVar: ObjMethodKeys;

效果测试： #

• 合法赋值：myVar = "method1" 或 myVar = "method3" 都不会报错
• 非法赋值：myVar = "randomKey" 会直接触发TypeScript类型检查错误
• 动态更新：当你给obj新增方法，比如 obj.method4 = () => "method4 called"，ObjMethodKeys 会自动包含 "method4"，此时myVar = "method4" 完全合法，不需要手动修改类型！

进阶优化：如果想让键的类型更精确 #

如果你的对象不需要后续修改（或者想让类型更严格），可以用 const 声明对象并加上 as const 断言，这样TypeScript会把每个键识别为字面量类型，而不是宽泛的string类型：

const obj = { 
  method1: () => { return "method1 called" }, 
  method2: () => { return "method2 called" }, 
  method3: () => { return "method3 called" }, 
} as const;

type ObjMethodKeys = keyof typeof obj;
// 此时 ObjMethodKeys 就是精确的 "method1" | "method2" | "method3"，和你手动写的联合类型完全一致

这种方式彻底解决了手动维护联合类型的痛点，后续对象的任何键变更都会自动同步到变量的类型约束里，非常省心～

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