TypeScript 类型体操实战：ExtractToObject——从对象中提取属性并展开为接口

本篇指南围绕 type-challenges 仓库中的中等难度对象类型题目 ExtractToObject（原题文档）展开：它要求实现一个接收两个类型参数的类型工具，将对象中某个属性（其值为对象）"提取"出来并展开为顶层接口。读完本文，你将掌握基于映射类型键重映射（as 子句）与交叉类型的对象结构变换思路，并能对照仓库中的测试用例验证自己的解法。

题目速览：ExtractToObject 是什么

ExtractToObject 是 type-challenges 仓库 questions/ 目录下编号 29650 的题目，从 info.yml 可以确认它的元信息：

• 难度：medium
• 标签（tag）：object
• 作者：Maxim Bazuev（GitHub 用户 bazuka5801）

题目以练习文件 template.ts 的形式给出，初始实现只是一个占位：

type ExtractToObject<T, U> = any

也就是说，我们需要把 any 替换为真正符合题目要求的类型实现。整个仓库的题目都是这种"填空式"结构：template.ts 给出类型签名骨架，test-cases.ts 提供类型级别的断言，README.md 则描述题目目标。

原题要求逐条解析

原文档（questions/29650-medium-extracttoobject/README.md）给出的核心要求可以拆解为三点：

1. 实现一个将属性值提取为接口的类型：ExtractToObject 接收两个类型参数。
2. 输出应为一个对象：结果是携带各属性值的对象类型。
3. 属性值本身是对象：被提取的目标属性（第二个参数指定的键）的值必须是对象类型。

原文档给出了唯一的官方示例：

type Test = { id: '1', myProp: { foo: '2' }}
type Result = ExtractToObject<Test, 'myProp'> // expected to be { id: '1', foo: '2' }

注意观察这里的语义：myProp 这个键本身消失了，而它的值对象 { foo: '2' } 被"展开"到了顶层，与剩余属性 id: '1' 合并成一个平面对象。这正是"extract prop value to the interface"的字面含义——提取属性值，并把它铺平成接口的一部分。

测试用例拆解：从行为推导需求

仅凭官方示例仍不足以确定全部行为细节，好在仓库提供了 4 组类型级测试用例（questions/29650-medium-extracttoobject/test-cases.ts），它们是对需求的精确规格化。

用例 1：最简单场景

type test1 = { id: '1', myProp: { foo: '2' } }
type testExpect1 = { id: '1', foo: '2' }

ExtractToObject<test1, 'myProp'> 应等于 { id: '1', foo: '2' }——目标键被移除，其值对象键被展开。

用例 2：多个属性共存时只提取其中一个

type test2 = {
  id: '1'
  prop1: { zoo: '2' }
  prop2: { foo: '4' }
}
type testExpect2 = {
  id: '1'
  prop1: { zoo: '2' }
  foo: '4'
}

当对象有多个属性时，只有被指定的 'prop2' 被提取展开，其他属性（如 prop1，它本身也是对象）保持原样不动。

用例 3：被提取的对象值含多个键

type test3 = {
  prop1: { zoo: '2', a: 2, b: 4, c: 7 }
  prop2: { foo: '4', v: 2, d: 4, g: 7 }
  k: 289
}
type testExpect3 = {
  zoo: '2'
  a: 2
  b: 4
  c: 7
  prop2: { foo: '4', v: 2, d: 4, g: 7 }
  k: 289
}

提取 prop1 后，其内部全部 4 个键（zoo、a、b、c）都平铺到顶层，而未被选中的 prop2 仍然保留为嵌套对象。这说明该操作只做一层展开，不涉及递归或深层扁平化。

用例 4：目标键不存在时应报错

type test4 = { id: '1', myProp: { foo: '2' } }
// @ts-expect-error
Expect<Equal<ExtractToObject<test4, 'prop4'>, testExpect4>>

test4 中并不存在 'prop4' 这个键，调用方在 Expect 前标注了 @ts-expect-error——即期望这一行出现编译错误。这暗示实现必须对第二个类型参数施加约束（如 U extends keyof T），使得传入不存在的键时直接触发类型错误。

这些断言统一依赖仓库 utils/index.d.ts 中导出的 Equal 与 Expect：Expect<T extends true> 用于声明"类型必须为 true"，Equal 则通过函数参数逆变位置的协变检查严格比较两个类型是否全等。整个仓库所有题目的测试都遵循这一约定。

解题思路与实现

综合上述要求，ExtractToObject<T, U> 需要完成两件事：去掉 U 对应的键，以及把 T[U] 的值对象并入结果。

方案一：Omit 与交叉类型的组合

最直白的思路是复用内置工具 Omit 删除键，再用交叉类型（&）合并被提取的对象：

type ExtractToObject<T, U extends keyof T> = Omit<T, U> & T[U]

• Omit<T, U> 得到删去 U 键后的对象；
• T[U] 是被提取键的值（题目保证其为对象）；
• 两者交叉即为最终平面对象。

以官方示例验证：Omit<{ id: '1', myProp: { foo: '2' } }, 'myProp'> 得到 { id: '1' }，再与 { foo: '2' } 交叉，结果 { id: '1' } & { foo: '2' } 在结构上等价于 { id: '1', foo: '2' }，可通过 Equal 的全等检查。

方案二：映射类型 + 键重映射（as 子句）

不依赖 Omit，直接用映射类型遍历 keyof T，并用 as 子句将目标键重映射为 never 以剔除它：

type ExtractToObject<T, U extends keyof T> = {
  [K in keyof T as K extends U ? never : K]: T[K]
} & T[U]

[K in keyof T as ...] 是 TypeScript 4.1 引入的键重映射语法：当 K 等于被提取的键 U 时，键被映射为 never（即被过滤），其余键原样保留，值类型仍是 T[K]。最后同样通过 & T[U] 把目标键的值对象展开进结果。

关键约束：U extends keyof T

无论采用哪种方案，第二个参数都必须声明为 U extends keyof T。这有两个作用：

1. 类型安全：保证 T[U] 一定存在，避免索引访问越界；
2. 触发用例 4 期望的错误：当传入不存在的键（如 'prop4'）时，类型参数不满足约束，编译器立即报错，从而让 @ts-expect-error 成立。

若省略该约束，T[U] 会退化为 unknown 或直接报"类型 'U' 无法用于索引"的错误，行为不符合题目的规格。

边界情况与设计考量

目标键不存在

如上所述，U extends keyof T 约束让非法键在调用处即产生编译错误，这正是 test4 所验证的行为。

被提取的值不是对象

原文档明确限定"Prop value is object"。当 T[U] 是原始类型（如 string）时，方案中的 T[U] 交叉仍会在语法上成立，但语义上并不符合题目的对象展开模型；从测试用例看，本题目并未覆盖该场景，实际解题时应以题目声明的"值必为对象"为前提。

键名冲突的语义

如果被提取对象内部的某个键（如 foo）与 T 中已有的键重名，交叉类型 Omit<T, U> & T[U] 会将两者合并为"同时满足两侧声明"的属性。仓库的 4 组测试用例没有覆盖这种冲突场景，因此不能断言仓库对此有既定行为；从类型系统的语义看，这一结果由交叉类型的天然规则决定。

不做深度递归

从 test3 可见，只有被选中的键被展开一层；其他嵌套对象（如 prop2）原样保留。这符合题目"extract prop value"的浅层语义。如果需要递归提取，则属于另一个题目范畴（可参考仓库 guides 目录下 recursive.md 中关于递归类型变换的讨论思路）。

与同类对象操作题目的关联

在仓库 questions/ 目录中，围绕"对象结构变换"还有一批姊妹题，与本题互为参照：

• 00527-medium-append-to-object：AppendToObject<T, U, V>，为对象追加一个键值对，与本题的"删除并展开"方向相反；
• 00599-medium-merge：Merge<F, S>，将两个对象合并为一个，其交叉/覆盖语义与本题最终结果的合并部分相通；
• 00008-medium-readonly-2、00009-medium-deep-readonly 等题目同样大量运用映射类型遍历键值，是掌握 [K in keyof T] 基本功的入口。

把这几题放在一起练习，可以系统性地建立起"键的增删改查 + 值的变换/展开"这一对象类型体操知识体系。

验证与运行方式

本仓库的所有题目都采用"模板 + 测试"结构，验证方式为类型级断言而非运行时测试：test-cases.ts 中每一行 Expect<Equal<...>> 都会在 TypeScript 编译阶段被检查。仓库根目录 package.json 声明了 typescript: ^5.3.3 作为开发依赖，测试工具包 utils/package.json 同样基于 TypeScript 5.3+。你可以：

1. 将你的实现写入 questions/29650-medium-extracttoobject/template.ts（替换 any 占位）；
2. 用 TypeScript 编译器对 test-cases.ts 进行类型检查；
3. 若所有 Expect<Equal<...>> 通过、且 @ts-expect-error 那一行确实报错，即说明实现满足题目规格。

作为参考，仓库 utils/index.d.ts 中的 Equal 采用了 <T>() => T extends X ? 1 : 2 的严格全等比较（而非单向可赋值检查），因此像 { id: '1' } & { foo: '2' } 这样的交叉结果能够与字面量对象 { id: '1', foo: '2' } 判等，方案的验证是严谨可信的。

小结

ExtractToObject 是一道典型的 medium 级对象类型题，核心价值在于两点：一是理解"提取 + 展开"这一常见的对象重构语义（键的删除与值对象的平铺）；二是熟练运用 U extends keyof T 约束与键重映射语法来精确控制键集合。结合本仓库的 test-cases.ts 逐条验证行为，再横向对比 AppendToObject、Merge 等姊妹题，你就能把对象类类型体操的基础打牢，为后续 hard/extreme 难度的对象与递归题目做好准备。