如何在TypeScript中从复杂类型中移除指定属性？

type U = {a: string, b: string};

type T = U & ({c: string, d?: never}|{c?: never, d: string});
type E = Exclude<T, {a: string}>;
type O = Omit<T, "a">;

const t1: T = {a: "a", b: "b", c: "c", d: "d"}; // error - expected
const t2: T = {a: "a", b: "b", c: "c"}; // ok - expected
const t3: T = {a: "a", b: "b", d: "d"}; // ok - expected

const e1: E = {b: "foo", c: "c", d: "d"}; // error - expected
const e2: E = {b: "foo", c: "c"}; // error: E is never
const e3: E = {b: "foo", d: "d"}; // error: E is never

const o1: O = {b: "foo", c: "c", d: "d"}; // ok - unexpected!
const o2: O = {b: "foo", c: "c"}; // ok
const o3: O = {b: "foo", d: "d"}; // ok

类型T是U与互斥联合类型的交叉结果，语义为：必须包含a、b属性，且c与d只能二选一、不可共存。现在需要构造一个与T语义完全一致但不含a属性的类型，尝试Exclude和Omit均未达到预期：

• Exclude<T, {a: string}>最终得到never，完全无法使用；
• Omit<T, "a">虽移除了a，但丢失了c与d的互斥约束，允许两者同时存在。

注：此问题与常规“从联合类型中移除属性”问题不同：

• 涉事类型并非普通联合类型，而是包含联合类型的交叉类型；
• 需要实现从任意“黑盒”类型中移除属性，且完全保留原有语义。

解决关键是利用TypeScript的分布式条件类型，它会自动将交叉联合类型拆解为底层的单个联合成员，对每个成员单独执行属性移除后再重新组合，以此完整保留原类型的约束逻辑。

自定义类型工具 #

type DistributeOmit<T, K extends PropertyKey> = T extends unknown ? Omit<T, K> : never;

验证效果 #

用这个工具处理类型T：

type CorrectOmit = DistributeOmit<T, "a">;

const co1: CorrectOmit = {b: "foo", c: "c", d: "d"}; // error - 符合预期，c和d不可共存
const co2: CorrectOmit = {b: "foo", c: "c"}; // ok
const co3: CorrectOmit = {b: "foo", d: "d"}; // ok

为什么原方法失效？ #

• Exclude<T, {a: string}>：Exclude用于从联合类型中排除可赋值给目标类型的成员，但T的每个联合成员都包含a属性，因此会被全部排除，最终得到never；
• Omit<T, "a">：Omit基于keyof T提取属性，对于交叉联合类型，keyof T会合并所有可能的属性（a、b、c、d），导致生成的类型丢失了原联合类型中c和d的互斥约束，变成了b必填、c和d可选的普通对象类型。

自定义工具的原理 #

分布式条件类型T extends unknown ? ... : never会自动遍历联合类型的每个成员，将T拆解为U & {c: string, d?: never}和U & {c?: never, d: string}两个单独成员，分别执行Omit<..., "a">后再重新组合为联合类型，完美保留了c与d的互斥约束。

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