为何泛型中keyof结合Omit会出现意外的字符串类型推断？

核心原因：Omit的本质与字面量类型的keyof特性 #

首先明确TypeScript内置工具类型Omit<T, K>的实际实现逻辑：

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

当你调用Trans<keyof T2>时，T被实例化为'a' | 'b'（字符串字面量联合类型），此时触发了两个关键的类型计算逻辑：

1. 字符串字面量类型的keyof行为 #

对于字符串字面量类型（如'a'），它是string原始类型的子类型。TypeScript中，对字面量类型使用keyof时，返回的是其所属原始类型的所有公共属性/方法的键（即keyof string），而非字面量本身的“键”（因为字面量类型作为类型，不存在自身的可枚举键）。

所以keyof ('a' | 'b')的计算结果是keyof string，包含charAt、concat、length等所有字符串原型上的属性与方法名。

2. Omit<T, never>的实际计算 #

当K为never时，Exclude<keyof T, never>等价于keyof T，因此Omit<T, never>就变成了Pick<T, keyof T>。

对于T = 'a' | 'b'，Pick<T, keyof string>的作用是提取'a' | 'b'类型上所有属于keyof string的属性。由于'a' | 'b'是string的子类型，继承了string的全部属性与方法，最终得到的就是包含所有字符串操作方法的复杂类型，而非预期的'a' | 'b'。

对比对象类型的情况（如X3） #

当T是对象类型T1 & T2时，keyof T返回的是对象自身的键（'a' | 'b'），因此Exclude<keyof T, never>仍为'a' | 'b'，Pick<T, 'a' | 'b'>自然就是原对象类型，符合预期。

总结 #

这种行为并非BUG，而是TypeScript对原始类型字面量的keyof处理规则与**Omit工具类型的底层实现**共同作用的结果。若想让Trans对字面量联合类型也返回原类型，需要修改泛型约束，限定T为对象类型：

type Trans<T extends object> = Omit<T, never>;

此时Trans<keyof T2>会直接报错，避免非对象类型传入导致的意外推断。

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