如何在TypeScript中实现接口部分属性可选？

问题描述 #

我们知道Partial<T>可以将接口所有属性设为可选，但需求是仅将指定的部分属性设为可选，其余属性保持必填。例如：

interface A {
  a: string;
  b: string;
  c: string;
}

// 期望结果：a和b可选，c必填
type X = Optionalize<A, 'a', 'b'>

原实现问题分析 #

你当前的实现：

type Optionalize<T, K extends keyof T> = Omit<T, K> & Partial<Pick<T, K>>;

核心逻辑是成立的，但泛型参数仅支持单个键或手动传入联合类型（如Optionalize<A, 'a'|'b'>），无法直接接受多个独立参数（Optionalize<A, 'a', 'b'>），原因是没有使用可变参数泛型来支持任意数量的键输入。

修正后的实现 #

利用TypeScript 4.0+支持的可变参数泛型，我们可以让工具类型接受任意多个指定键：

type Optionalize<T, ...K extends Array<keyof T>> = Omit<T, K[number]> & Partial<Pick<T, K[number]>>;

代码解释 #

1. ...K extends Array<keyof T>：定义可变参数泛型，允许传入任意数量的T的键名，这些参数会被收集为一个元组类型K。
2. K[number]：将元组类型转换为联合类型（例如传入'a'和'b'时，K[number]等于'a'|'b'）。
3. Omit<T, K[number]>：从T中移除指定的键，保留其余必填属性。
4. Partial<Pick<T, K[number]>>：将指定的键转换为可选属性。
5. 两者通过交叉类型&合并，得到最终的类型：指定属性可选，其余属性保持必填。

验证示例 #

interface A {
  a: string;
  b: string;
  c: string;
}

// 生成的类型：{ a?: string; b?: string; c: string }
type X = Optionalize<A, 'a', 'b'>

// 支持任意多个键
type Y = Optionalize<A, 'a', 'b', 'c'> // 等同于Partial<A>
type Z = Optionalize<A> // 等同于原类型A（因为没有指定任何键）

内容的提问来源于stack exchange，提问作者Islam Y-