TypeScript 中如何快捷定义含可选接口的交叉类型？

你之前设想的类似TypeA?的批量可选语法并不是TS的合法语法，TS没有提供这类简写标识，完全可以通过内置工具类型+交叉类型实现等价效果，不需要手动给TypeA的每个属性加可选标识。

核心实现依赖TS内置的Partial工具类型：它的原生能力就是自动将传入类型的所有属性批量转为可选，之后直接和保持原必填结构的TypeB做交叉合并即可：

// 原有已定义的接口
interface TypeA {
  a: string
  b: string
}

interface TypeB {
  c: string
}

// 一行定义目标TypeC
type TypeC = Partial<TypeA> & TypeB

类型约束校验 #

上述定义生成的类型完全匹配需求规则：

• TypeA的所有属性（a、b）均为可选
• TypeB的c属性为必填
• 合法赋值场景：
  • { c: "任意字符串" }
  • { a: "字符串值", c: "字符串值" }
  • { a: "字符串值", b: "字符串值", c: "字符串值" }
• 非法赋值场景：
  • 缺少必填c属性的对象
  • TypeA属性值类型不符合string要求的对象

复杂场景适配 #

如果TypeA体量极大，且不需要把TypeA的全部属性转为可选，只是选择性给部分属性加可选标识，也可以配合Pick、Omit工具类型灵活组合，依然无需逐一手写可选标记：

// 示例：包含大量属性的TypeA
type LargeTypeA = {
  a: string
  b: string
  keepRequired1: number
  keepRequired2: boolean
  // ... 几十上百个属性
}

// 仅将a、b转为可选，其余属性保留原必填约束，再合并TypeB
type TypeE = Partial<Pick<LargeTypeA, 'a' | 'b'>> & Omit<LargeTypeA, 'a' | 'b'> & TypeB

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