TypeScript中如何将嵌套联合类型的可选成员设为必填？

遇到这种需要将指定可选字段转为必填，同时处理嵌套数组的场景，自定义一个泛型工具类型是最简洁且可复用的方案——既能避免重复定义类型，又能完美解决嵌套数组的类型推断问题。

第一步：定义通用的MakeRequired工具类型 #

这个工具会递归处理数组元素，精准将目标字段从可选转为必填：

// 泛型工具：将类型T中指定的K字段转为必填，支持递归处理数组元素
type MakeRequired<T, K extends keyof T> = 
  T extends Array<infer U>
    ? Array<MakeRequired<U, K>>
    : Omit<T, K> & Required<Pick<T, K>>;

第二步：复用原类型定义目标类型 #

直接基于你已有的ItemOptions和ContainerOptions，用MakeRequired一键转换即可：

// 原始可选类型（可添加其他任意可选字段）
type ItemOptions = { id?: string; };
// 将ItemOptions的id字段转为必填
type Item = MakeRequired<ItemOptions, 'id'>;

// 原始容器可选类型（可添加其他容器字段）
type ContainerOptions = { items: ItemOptions | ItemOptions[]; };
// 将ContainerOptions中items的所有元素的id字段转为必填
type Container = MakeRequired<ContainerOptions, 'items'>;

验证效果 #

现在测试你之前的嵌套数组场景，完全符合预期：

let c1: Container = { items: [{ id: "1", }], };
if (c1.items instanceof Array) {
  let s: string = c1.items[0].id; // ✅ 编译正常，id被识别为string类型
} else {
  let s: string = c1.items.id; // ✅ 编译正常
}

简单场景也能正常工作：

let myItem: Item = {}; // ❌ 报错，id为必填项（符合预期）
let len = myItem.id.length; // ✅ 无需空值检查

原理说明 #

• 递归处理数组：通过T extends Array<infer U>判断类型是否为数组，如果是，就递归处理数组中的每个元素U，确保数组内的对象也能将目标字段转为必填。
• 精准转换字段：对于非数组类型，用Omit<T, K>移除原类型中的可选字段，再通过Required<Pick<T, K>>将该字段转为必填，最后交叉两个类型——既保留原类型的其他字段，又确保目标字段必填。

这种写法的核心优势是：无需重复定义大量类型结构，只需要维护原始的Options类型，通过泛型工具快速生成必填版本，同时完美支持嵌套数组、联合类型等复杂场景。

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