为何直接用keyof的映射类型无缺失属性报错，提取后却报错？

先看完整的代码复现场景：

// 定义含可选属性的类型
type Test = {
  a?: string;
  b?: number;
};

// 情况1：直接用keyof Test映射，赋值{}无报错
const test1: { [K in keyof Test]: K } = {}; 

// 情况2：提取keyof Test为Keys类型，再映射，赋值{}报TS2739
type Keys = keyof Test;
const test2: { [K in Keys]: K } = {}; 

// 情况3：用Record类型，无论直接用keyof Test还是Keys都报错
const test3: Record<keyof Test, keyof Test> = {};
const test4: Record<Keys, Keys> = {};

核心差异原因拆解 #

1. 直接使用keyof Test的映射类型会继承可选性 #

当你在映射类型中直接写[K in keyof Test]时，TypeScript会保留原类型Test中属性的可选标记。也就是说，{ [K in keyof Test]: K }本质上等价于{ [K in keyof Test]?: K }——所有映射后的属性都是可选的，因此空对象{}完全符合类型要求，不会触发错误。

2. 提取keyof Test为独立类型会丢失可选信息 #

keyof Test本身会被解析为联合类型"a" | "b"，但这个联合类型不携带任何可选性元数据。当你把它提取为独立的Keys类型后，再用[K in Keys]创建映射类型时，TypeScript会默认把所有属性标记为必填。此时{ [K in Keys]: K }等价于{ a: "a"; b: "b" }，空对象缺少所有必填属性，自然会触发TS2739错误。

3. Record类型的强制必填特性 #

Record<K, T>的底层定义是{ [P in K]: T }，但它的设计逻辑是强制所有遍历到的属性为必填，不会自动继承原类型的可选性。哪怕你传入keyof Test作为K，TypeScript也会把它解析为联合类型后，要求所有属性必须存在，因此空对象无法满足类型约束，无论是否提取为独立类型都会报错。

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