TypeScript中克隆对象时如何正确定义对象的键联合类型

问题根源 #

TypeScript 中Object.keys()的默认返回类型是string[]，不会自动推导为传入对象的键联合类型。这是TS基于结构类型系统的刻意设计：对象允许存在接口定义外的额外属性，直接将返回值收窄为keyof T可能引发未定义属性访问风险，这也是示例代码中必须重复写key as keyof A类型断言的核心原因。

最优实践：集中封装类型安全的键遍历工具 #

把类型断言收敛到通用工具函数中，业务代码里完全不需要重复写断言，同时把类型风险控制在最小范围：

/**
 * 类型安全的Object.keys封装，返回值自动推导为对象的键联合类型数组
 * 仅适用于明确对象结构和接口定义完全对齐的场景
 */
function typedKeys<T extends object>(obj: T): Array<keyof T> {
  return Object.keys(obj) as Array<keyof T>;
}

对应原示例的改造写法，全程无冗余断言：

interface A{
    a: string;
    b: number;
}

const a: A = {a: 'a', b: 1};
const b: A = {a: 'aa', b: 2};

typedKeys(a).forEach((key) => {
    // key自动推导为 'a' | 'b' 类型，赋值操作完全类型匹配
    a[key] = b[key];
})

其他可选写法 #

如果不想额外封装工具函数，也可以结合typeof和satisfies运算符简化断言逻辑，避免重复引用接口名：

// 用satisfies约束类型的同时保留对象字面量的类型推导
const a = {a: 'a', b: 1} satisfies A;
const b = {a: 'aa', b: 2} satisfies A;

// 仅需一次数组层面的类型断言，循环内部无需额外处理
(Object.keys(a) as Array<keyof typeof a>).forEach(key => {
    a[key] = b[key];
})

注意事项 #

• 上述写法仅适用于两个操作对象类型完全一致、不存在未知额外属性的场景，比如同类型对象克隆、属性批量赋值
• 如果对象来自外部输入、可能包含接口未定义的字段，不要强行收窄Object.keys的返回类型，避免出现类型定义和实际运行时结构不匹配的隐患

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