omit 通过 exclude 先排除键名再由 pick 提取实现“先排除后提取”——exclude 作用于 keyof t 得到剩余键联合类型，再传给 pick；直接对对象类型用 exclude 会返回新类型而非键名，无法用于 pick。

直接用 Exclude 和 Pick 组合，就能实现“先排除某些属性、再提取剩下属性”的效果——但要注意：这不是两个类型简单拼在一起，而是有明确的依赖关系和执行顺序。

Exclude 是 Pick 的底层支撑

Pick 本身不负责“排除”，它只做“选中”。真正实现“排除某几个属性”的逻辑，其实是靠 Exclude 先算出“该保留哪些键”，再把结果交给 Pick 去取值。

Omit 的源码就是最典型的例子：

type Omit = Pick>;

它不是自己写一套排除逻辑，而是：

• 先用 keyof T 拿到原类型所有键名（比如 'id' | 'name' | 'email'）
• 再用 Exclude 把你指定要删的键（比如 'email'）从里面踢掉，得到新键集合（'id' | 'name'）
• 最后把这组新键传给 Pick，让它生成只含这些属性的新类型

手动组合实现自定义排除+提取

你可以不用 Omit，直接手写这个组合，更灵活地控制中间步骤。比如想从 User 类型里排除 password 和 token，再只取 name 和 role ——注意：这是“先排除、再筛选”，不是单纯删或选。

写法如下：

type SafeUserFields = Pick & ('name' | 'role')>;

拆解来看：

Add Typescript Best Practices

在 CLAUDE.md 中配置 TypeScript 最佳实践和代码风格规则

下载

• Exclude<keyof user></keyof> → 得到除密码和 token 外的所有字段名
• & ('name' | 'role') → 用交叉类型进一步交集约束，确保最终只保留 name 和 role
• 再套一层 Pick → 生成只含这两个字段、且它们原本类型不变的新类型

这种写法适合字段多、筛选逻辑复杂（比如“排除敏感字段后，再从中挑几个用于日志”）的场景。

为什么不能直接 Pick>？

因为 Exclude 返回的是联合类型（如 'a' | 'b'），而 Pick 的第二个参数要求是 K extends keyof T ——也就是说，它必须是原类型中真实存在的键的子集。Exclude 的结果天然满足这个约束，所以能直接用；但如果你写成 Pick<exclude password: string>, 'name'></exclude> 就会报错，因为 Exclude 作用于对象类型时返回的是新对象类型，不是键名联合类型，无法传给 Pick。

关键记住：

• Exclude 用于键名（union）→ 产出仍是键名
• Exclude 用于类型（object/union of objects）→ 产出是新类型，不能直接喂给 Pick
• 要组合 Pick 和 Exclude，第一步一定是 keyof T 开头

实用技巧：嵌套组合加条件判断

还可以结合条件类型，让排除+提取逻辑自动适配不同输入。例如，定义一个工具类型，当字段存在时才提取，不存在就跳过：

type ConditionalPick = K extends keyof T ? Pick : {};

再配合 Exclude 使用：

type PublicInfo = ConditionalPick>;

这样即使某个接口没定义 password，也不会报错，而是安全地跳过排除步骤。

不复杂但容易忽略