TypeScript内置工具类型Omit中，K为何继承keyof any而非keyof T？

核心原因是为了提升工具类型的灵活性和容错性，具体可以从这几点理解：

• 允许传入T中不存在的键，且不会报错
  假设我们写Omit<{a: number}, 'b'>，如果K的约束是keyof T，这里的'b'不属于keyof {a: number}，TypeScript会直接抛出类型错误。但实际这个操作完全无害——Exclude<keyof T, K>会自动过滤掉T中不存在的键，最终结果还是{a: number}。用keyof any作为约束，就能支持这种“冗余排除”的场景，不用强制用户先确保K的所有键都存在于T中。

• 适配更通用的使用场景
  有时候我们可能需要批量排除一组键，其中部分键可能并不存在于目标类型T中。比如处理一个动态生成的类型，或者不确定某些键是否存在时，keyof any的约束能让我们直接写出Omit<T, 'a' | 'b' | 'c'>，而不用先做额外的类型判断或过滤，简化代码。

• 符合Omit的设计意图
  Omit的本质是“移除T中存在的、属于K集合的键”，而不是“只能移除T已有的键”。约束成keyof any（即string | number | symbol，所有合法的对象键类型），既保证了K是合法的键类型，又不限制必须是T的子集，完美契合这个设计目标。

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