为何用Exclude实现TypeScript工具类型Omit会丢失readonly属性？

先看你提供的代码示例，明确现象：

interface obj {
  readonly title: string;
  desc?: string;
  author: string;
}

type result = Omit<obj, "desc">;
// 保留readonly：{ readonly title: string; author: string; }

type result1 = {
  [K in Exclude<keyof obj, "desc">]: obj[K];
};
// 丢失readonly：{ title: string; author: string; }

type result2 = {
  [K in keyof obj as K extends "desc" ? never : K]: obj[K];
};
// 保留readonly：{ readonly title: string; author: string; }

下面拆解背后的原因：

1. result1丢失readonly的核心原因 #

当你在映射类型中直接使用Exclude<keyof obj, "desc">作为遍历的键集时，Exclude返回的是一个独立的字符串字面量联合类型（"title" | "author"）。此时TypeScript会把这些键当成普通字符串，无法关联到原obj类型中对应属性的元信息（比如readonly修饰符），因此映射后的属性会丢失原有的修饰符。

2. result和result2保留readonly的原因 #

• Omit的底层逻辑：TypeScript内置的Omit<T, K>等价于Pick<T, Exclude<keyof T, K>>。而Pick<T, K>的定义是{ [P in K]: T[P]; }，这里的K被约束为keyof T的子集。TS对这种场景做了特殊处理：它会保留原类型中对应属性的所有修饰符，因为K的成员始终和原类型的键存在直接关联。
• result2的重映射机制：result2使用了映射类型的重映射（as子句），写法是[K in keyof obj as K extends "desc" ? never : K]。这种方式是先遍历keyof obj的每一个原始键K，再通过as过滤掉不需要的键。整个过程中K始终是原类型的键，TS能完整追踪到其对应的属性修饰符，因此readonly会被保留。

3. 为什么不直接内联Exclude就没问题？ #

你提到的“不直接内联Exclude”的有效场景，本质是借助Pick来包裹Exclude的结果（比如Pick<obj, Exclude<keyof obj, "desc">>）。如前面所说，Pick的映射逻辑会保留原属性的修饰符，因为它明确基于原类型的键子集进行操作，而非使用独立的字符串字面量。

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