嵌套Omit类型为何会丢失TypeScript类型安全性？

当对包含联合类型的交叉类型应用Omit时，TypeScript会出现嵌套类型检查失效的情况。看下面的示例：

export type CaseOptions = {
    caseA: { a: number };
    caseB: { b: number };
};

type Options = { name: string } & (Omit<CaseOptions, 'caseA'> | Omit<CaseOptions, 'caseB'>);

function register(options: Options) {}

// 符合预期：报错，caseA的结构不符合要求
register({ name: 'myName', caseA: { b: 1 } });


function registerWithOmit(options: Omit<Options, 'name'>) {}

// 本应报错（caseA结构不合法），但实际无错误提示
registerWithOmit({ caseA: { b: 1 } });

原因分析 #

这本质是TypeScript对交叉联合类型的分配性处理和Omit的类型推导逻辑共同作用的结果：

1. Options的类型本质：Options是{name: string}与联合类型(Omit<CaseOptions, 'caseA'> | Omit<CaseOptions, 'caseB'>)的交叉类型。根据TypeScript的类型规则，A & (B | C)会被分配为(A & B) | (A & C)，所以Options实际等价于：

   { name: string, caseB: { b: number } } | { name: string, caseA: { a: number } }
   

   此时每个联合分支都明确约束了嵌套属性的类型，所以register函数能正确检查caseA的结构。

2. Omit后的类型变化：当对Options应用Omit<Options, 'name'>时，TypeScript会对联合类型的每个分支单独执行Omit操作，最终得到：

   { caseB: { b: number } } | { caseA: { a: number } }
   

   问题出在这里：TypeScript的联合类型检查在处理仅包含单个分支属性的对象字面量时，会优先匹配对应分支，但对嵌套属性的约束出现了宽松处理——它没有强制检查嵌套属性是否完全符合分支要求，而是允许传入结构不匹配的嵌套对象，导致本应报错的代码通过了检查。

   具体来说，{ caseA: { b: 1 } }被尝试匹配{ caseA: { a: number } }分支时，TypeScript没有严格校验嵌套对象是否包含a属性，而是错误地认为该对象符合分支类型。

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