如何将TypeScript类型中指定的嵌套属性设为可选？

可以通过组合Omit和嵌套类型重构来实现需求，既保留原Foo类型的结构，又精准修改指定属性的可选性：

type ModifiedFoo = Omit<Foo, 'a' | 'metadata'> & {
  a?: string;
  metadata: Omit<Foo['metadata'], 'c'> & { c?: string };
};

function doSomething(foo: ModifiedFoo): void {
  // 设置默认值示例
  const finalA = foo.a ?? 'default_a';
  const finalC = foo.metadata.c ?? 'default_c';
  // 业务逻辑
}

原理说明 #

• Omit<Foo, 'a' | 'metadata'>：先移除原类型中需要修改的顶层属性a和metadata
• 重新定义a?: string：将顶层a设为可选
• 对嵌套的metadata，用Omit<Foo['metadata'], 'c'>移除原必填的c，再合并c?: string将其设为可选，同时保留d的必填性

优势 #

• 完全基于原Foo类型动态生成，原类型更新时自动同步，无需手动维护重复定义
• 精准控制仅指定属性变为可选，其他属性保持原有的必填/可选状态

如果需要更通用的工具类型（比如以后要修改其他嵌套属性），也可以封装一个通用的MakeNestedOptional工具类型：

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

type MakeNestedOptional<T, Path extends string> = 
  Path extends `${infer Key}.${infer Rest}`
    ? Key extends keyof T
      ? Omit<T, Key> & { [k in Key]: MakeNestedOptional<T[k], Rest> }
      : T
    : Path extends keyof T
      ? MakeOptional<T, Path>
      : T;

// 使用通用工具类型实现
type ModifiedFoo = MakeNestedOptional<Foo, 'a' | 'metadata.c'>;

这个通用工具类型支持通过路径字符串（如'metadata.c'）批量指定需要设为可选的属性，扩展性更强，适合原类型结构复杂或需要多次修改的场景。

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