如何构建可接收任意键数组的TypeScript Omit类型通用模板？

问题背景 #

我定义了如下TypeScript类型：

type MyType = {
    a: string;
    b: number;
    c: boolean;
}

希望基于该类型生成一个排除指定字符串数组keysToDrop中字段的新类型，示例数组为：

const keysToDrop = ['a', 'c']

已知可以用Omit工具类型实现，比如type client = Omit<MyType, 'a' | 'c'>，但需要把string[]转换成字符串字面量联合类型（如'a' | 'c'）。因为TypeScript要求类型在编译时确定，所以得先把数组设为不可修改（用as const），目前已经实现了以下代码：

// 确保数组不可修改
const keysToDrop = ['a', 'c'] as const

// 转换为字符串字面量联合类型
type MyNarrowedType = (typeof keysToDrop)[number]

现在想要实现一个通用模板，能接收任意keysToDrop作为输入，自动生成对应的MyNarrowedType，进而生成排除对应字段的类型（伪代码示意：type MyNarrowedType: (keysToDrop) => (typeof keysToDrop)[number]），该怎么实现？

解决方案 #

可以通过泛型工具类型实现这个通用模板，核心是利用泛型约束接收只读字符串数组类型，从中提取字面量联合类型后结合Omit完成字段排除。

实现步骤 #

1. 定义泛型工具类型，接收两个参数：原类型T，以及只读的待排除键数组K extends readonly (keyof T)[]（用keyof T约束，确保数组元素都是原类型的有效键）。
2. 从数组类型K中提取字面量联合类型：K[number]。
3. 结合Omit返回排除指定字段后的新类型。

完整代码示例 #

type MyType = {
    a: string;
    b: number;
    c: boolean;
}

// 通用排除字段的工具类型
type OmitByKeys<T, K extends readonly (keyof T)[]> = Omit<T, K[number]>

// 使用示例：定义不可修改的待排除键数组
const keysToDrop1 = ['a', 'c'] as const
const keysToDrop2 = ['b'] as const

// 生成排除后的类型
type Client1 = OmitByKeys<MyType, typeof keysToDrop1>
// Client1 类型为 { b: number }

type Client2 = OmitByKeys<MyType, typeof keysToDrop2>
// Client2 类型为 { a: string; c: boolean }

关键说明 #

• readonly (keyof T)[]约束泛型K，既保证数组是只读类型（对应as const声明的数组），又确保数组元素都是原类型T的有效键，避免传入不存在的字段导致类型错误。
• K[number]会自动将只读数组类型转换为其元素的字面量联合类型，比如typeof ['a','c'] as const对应的K[number]就是'a' | 'c'。
• 该工具类型可复用在任意对象类型上，只需传入对应的原类型和as const声明的待排除键数组即可。

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