示例工程【免费下载链接】type-challengesCollection of TypeScript type challenges with online judge项目地址https://gitcode.com/GitHub_Trending/ty/type-challenges点击查看免费下载本文以 type-challenges 仓库中第 3 道中等难度题目「Omit」对应文档 questions/00003-medium-omit/README.ja.md为主线讲解如何在不借助内置OmitT, K的前提下用映射类型Mapped Types与联合类型过滤Exclude从零实现等价能力。读完本文你将掌握Omit的底层构造原理、映射类型 keyof的组合技巧并能读懂题目自带的 test-cases.ts 测试用例用仓库内真实的判题方式来验证自己的解法。一、题目概览这是怎样的一道挑战这道题出自作者 Anthony Fu 发起的 type-challenges 系列题目编号为 3难度为「中級medium」标签为#union与#built-in这些元数据记录在题目的 info.yml 中difficulty: medium、tags: union, built-in。所谓#built-in意味着题目目标是对标 TypeScript 内置工具类型而#union则提示核心考点与联合类型的操作密不可分。原文档给出的任务描述非常简洁但信息量十足組み込みの型ユーティリティOmitT, Kを使用せず、TのプロパティからKを削除する型を実装します。不使用内置类型工具OmitT, K实现一个从T的属性中删除K的类型。也就是说我们要写出一个名为MyOmit的泛型它的行为与标准库Omit完全一致从T中挑选出除K之外的所有属性构造出一个新对象类型。同时题目还通过 info.yml 中的related: 4声明了它的关联题目——第 4 道「实现 Pick」两道题一删一留正好构成一对互补练习。二、任务定义与期望行为原文档给出的示例清晰地定义了「期望行为」。将MyOmit应用于一个包含三个字段的接口删除其中两个字段后剩下的对象只能拥有剩余字段interface Todo { title: string description: string completed: boolean } type TodoPreview MyOmitTodo, description | title const todo: TodoPreview { completed: false, }注意这里K是一个联合类型description | titleMyOmitTodo, description | title的结果等价于{ completed: boolean }。这正是Omit的语义——Omit 会创建一个省略K中字段的T对象仓库的简体中文版文档 README.zh-CN.md 也做了同样的表述。在作答之前仓库为每道题都提供了模板文件 template.ts内容只有一行占位实现type MyOmitT, K any any是留给挑战者的空位我们的任务就是把any替换成真正的类型逻辑让下方的类型测试全部通过。三、标准解法映射类型 × ExcludeOmit的构造思路分两步恰好对应它的名字先「取」Pick 全部属性再「删」去掉K中的键。用 TypeScript 的类型语法表达标准解如下type MyOmitT, K extends keyof T { [P in Excludekeyof T, K]: T[P] }拆开来看这个解法只用了三个基础语法单元keyof T取出T的全部属性名构成一个字符串字面量联合类型。对Todo而言就是title | description | completed。ExcludeUnion, K内置的条件类型工具从联合类型Union中剔除K成员。Excludetitle | description | completed, description | title的结果是completed。映射类型[P in ...]遍历剩余的每个键P并用索引访问类型T[P]取出该属性的原始类型逐个映射到新对象上。三步组合起来MyOmitTodo, description | title便被解析为{ completed: boolean }。值得一提的是Exclude本身就是 TypeScript 内置的条件类型其实现为ExcludeT, U T extends U ? never : T因此上述写法并没有违反「不使用内置Omit」的规则——我们禁用的只是Omit本身而非Exclude这类更基础的构件。更简洁的等价写法是复用上一道题第 4 题 Pick的结果将「先取再删」显式化type MyOmitT, K extends keyof T PickT, Excludekeyof T, K这条写法直观地揭示了Omit与Pick的关系Omit 本质上就是「挑选出T中不在K里的那些属性」。内置类型OmitT, K在 TypeScript 标准库中的定义也正是PickT, Excludekeyof T, K对应 template.ts 需要实现的目标。四、源码视角模板与测试用例题目的正确性由 test-cases.ts 把关它从type-challenges/utils导入了Equal与Expect两个辅助类型其实现位于 utils/index.d.tsimport type { Equal, Expect } from type-challenges/utils type cases [ ExpectEqualExpected1, MyOmitTodo, description, ExpectEqualExpected2, MyOmitTodo, description | completed, ExpectEqualExpected3, MyOmitTodo1, description | completed, ]三个用例分别检验不同场景用例输入期望结果验证点Expected1MyOmitTodo, description{ title: string; completed: boolean }删除单个键Expected2MyOmitTodo, description \| completed{ title: string }删除联合类型中的多个键Expected3MyOmitTodo1, description \| completed{ readonly title: string }保留readonly修饰符第三个用例最具启发性Todo1的title是readonly属性期望输出Expected3中依然带有readonly。这验证了映射类型在[P in ...]遍历时默认会原样保留原属性的readonly修饰符除非显式使用-readonly因此我们的MyOmit不需要额外处理修饰符即可通过该用例。EqualX, Y的定义位于 utils/index.d.ts 中它利用函数泛型推断的细微差异来判断两个类型是否严格相等export type EqualX, Y (T() T extends X ? 1 : 2) extends (T() T extends Y ? 1 : 2) ? true : falseExpectT extends true T则要求传入的必须是字面量true否则直接报类型错误。这两者组合保证了MyOmit的输出与期望接口在结构上逐字段严格一致任何多出的属性、丢失的属性或类型偏差都会导致编译失败。本地验证时仓库根目录 package.json 使用 TypeScript^5.3.3作为开发依赖直接以项目内配置运行类型检查即可对MyOmit进行判题在线上则可通过题目 README 中的在线判题入口运行同一套用例。五、从 Pick 到 Omit相关挑战的串联学习题目的 info.yml 将第 4 题「Pick」标记为关联挑战related: 4原文档底部也给出了对应链接。两道题放在一起学习效果最佳第 4 题 Pickeasy实现MyPickT, K从T中挑选K指定的属性。其模板与测试位于 questions/00004-easy-pick/template.ts 和 questions/00004-easy-pick/test-cases.ts。该题的测试用例额外包含一行// ts-expect-error用于验证MyPickTodo, title | completed | invalid会因invalid键不存在于Todo而报错。本题 Omitmedium实现MyOmitT, K删除K指定的属性。难度比 Pick 高一级因为需要多掌握Exclude或条件类型来反向过滤联合类型。从类型表达式上可以很自然地看出二者的递进关系// Pick直接选取 type MyPickT, K extends keyof T { [P in K]: T[P] } // Omit先排除再选取 type MyOmitT, K extends keyof T { [P in Excludekeyof T, K]: T[P] }掌握了 Pick再给映射类型的键集合套上一层Excludekeyof T, K的过滤就得到了 Omit。六、边界情况与进阶思考基于对解法的推导和测试用例的约束可以进一步推演MyOmit的边界行为以下内容属于从类型系统规则出发的合理推断可用本地类型检查自行验证K中出现T不存在的键由于Exclude只是从联合类型中剔除成员多余的键会静默失效MyOmitT, 不存在的键结果与T完全一致。这与内置Omit的行为相同——Omit并不强制约束K必须是T的键若想强制约束可在K上添加extends keyof T泛型约束但这会改变 API 的兼容性。K为neverExcludekeyof T, never等于keyof T结果与T等价即「删除空集」。K覆盖全部键Excludekeyof T, keyof T得到never映射类型遍历空集结果为{}。可选属性与索引签名映射类型会按原样保留?可选修饰符对于索引签名keyof的枚举行为和直接映射会带来与内置实现细节上的差异这也是后续更进阶挑战如Remove Index Signature一类题目的关注点。如果想继续巩固映射类型与条件类型的能力仓库的 guides 目录下还有 infer、递归等主题的进阶指南如 guides/infer.md、guides/recursive.md可以作为 Omit 之后的下一站。七、小结回到原文档的核心诉求在不使用内置Omit的前提下用Excludekeyof T, K过滤联合类型、再用映射类型重建对象即可实现一个行为等价、能通过全部测试用例的MyOmit。这道题的关键收获有三点keyof提取键集合、Exclude做联合类型减法、映射类型逐键重建对象并保留修饰符。验证依据则全部沉淀在仓库中——template.ts 提供起点test-cases.ts 提供判据utils/index.d.ts 提供Equal/Expect测试工具顺着这些文件你就能完整复现并验证这道经典的中等难度类型挑战。赞分享示例工程【免费下载链接】type-challengesCollection of TypeScript type challenges with online judge项目地址https://gitcode.com/GitHub_Trending/ty/type-challenges点击查看免费下载相关推荐手写 TypeScript 内置 Omit 泛型type-challenges 第 3 题「实现 Omit」完整拆解手写 TypeScript 内置 Omit 泛型type challenges 第 3 题「实现 Omit」完整拆解 本文围绕 type challenges示例工程TypeScript 挑战实战不使用内置 Omit 实现 MyOmitT, Ktype-challenges 第 3 题TypeScript 挑战实战不使用内置 Omit 实现 MyOmitT, K type challenges 第 3 题 导读 本篇文章围绕 type示例工程type-challenges 题目精解不使用内置泛型实现 OmitT, KMediumtype challenges 题目精解不使用内置泛型实现 OmitT, K Medium 导读 本篇文章围绕 type challenges http示例工程创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考