TypeScript中Omit工具类型的编译期类型校验机制是怎样的？

这个校验结果差异和Omit工具类型的特殊逻辑无关，本质是TypeScript针对不同赋值场景采用了不同的校验规则。

先搞懂Omit的实际行为 #

Omit是纯类型层面的内置工具类型，没有什么特殊的编译期魔法，实现逻辑非常简单：

type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>

对应示例里的Bar = Omit<Foo, 'prop2'> & {prop3: string}，展开后等价于：

type Bar = {
  prop1: string;
  prop3: string;
}

从类型定义本身看，Bar确实没有声明prop2属性。

两种场景校验结果不一致的具体原因 #

1. 直接写内联对象字面量赋值时，会触发严格多余属性检查 #

当你把代码里直接写的、没有经过任何变量中转的对象字面量（TS里叫「新鲜对象字面量」）赋值给指定类型的变量时，会触发多余属性检查（Excess Property Checking）：这是一个类似代码检查的特殊规则，会严格比对字面量里的属性和目标类型声明的属性，只要出现目标类型里没声明的属性，就直接抛类型错误。
示例中qux的赋值右侧就是直接内联的对象字面量，里面多了Bar类型没声明的prop2，所以会直接报错，这个表现完全符合规则预期。

2. 用展开运算符构造对象时，不会触发上述严格检查 #

当你通过...展开已有变量构造新对象时，不会触发上面说的多余属性检查，只会走TS默认的结构子类型兼容性校验：

• 结构兼容性校验的核心规则是「只要目标类型要求的所有必填属性都存在、且类型匹配就算合法」，不会禁止对象携带额外的多余属性。
• TS不会在类型层面模拟展开操作的属性过滤逻辑，被展开变量类型上携带的所有属性，都会被默认推导到新对象的类型中，不会因为目标类型不需要就自动剔除。示例里{...foo, prop3: 'prop3'}推导出来的类型就是Foo & {prop3: string}，包含prop1/prop2/prop3三个字符串属性，完全满足Bar类型的结构要求，自然可以顺利通过编译。

容易踩的误区 #

别觉得TS要求运行时的对象属性必须和类型声明完全一一对应。TS的结构类型系统核心是「满足必要结构即可兼容」，多余属性检查只是专门针对内联对象字面量加的防错规则，用来帮开发者规避写错属性名、传错参数这类低级错误，不是类型系统的核心兼容性规则。
你可以自己做个简单验证：把包含prop2的对象先赋值给一个中间变量，再把这个中间变量赋值给Bar类型的变量，一样可以通过编译，和用不用Omit、用不用展开运算符没有直接关系。

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