TypeScript中如何根据泛型类型将属性设置为可选？

问题场景 #

现有泛型类型MyType和接收该类型的函数myFunction：

type MyType<R extends Record<string, string> | undefined, A extends string[] | undefined> = {
  record: R
  array: A
}

const myFunction = <R extends Record<string, string> | undefined, A extends string[] | undefined>(myObject: MyType<R, A>)=>{
  // ... //
}

需求是：当泛型参数R为undefined时，调用myFunction可省略record属性；同理当A为undefined时可省略array属性，例如：

const record = getTheRecord() // 假设返回undefined
const array = ['a']
myFunction<undefined, string[]>({
  array
})

解决方案 #

核心思路是利用TypeScript的条件类型，根据泛型参数是否为undefined，动态决定对应属性是否可选。以下是两种可行实现：

方案一：直接通过条件类型构造类型 #

修改MyType定义，对每个属性单独做条件判断：

type MyType<R extends Record<string, string> | undefined, A extends string[] | undefined> = 
  (R extends undefined ? { record?: R } : { record: R }) & 
  (A extends undefined ? { array?: A } : { array: A });

这种写法直观易懂，针对每个属性的泛型参数分别处理：若泛型为undefined，则属性设为可选；否则保持必填。

方案二：结合Omit与Partial简化逻辑 #

如果需要更简洁的写法，可以通过Omit移除可选属性的必填约束，再用Partial将其转为可选：

type MyType<R extends Record<string, string> | undefined, A extends string[] | undefined> = 
  // 定义基础必填属性（排除undefined情况）
  Omit<{ record: Exclude<R, undefined>; array: Exclude<A, undefined> }, 
       // 确定需要转为可选的属性
       R extends undefined ? 'record' : never | A extends undefined ? 'array' : never> & 
  // 将目标属性转为可选
  Partial<Pick<{ record: R; array: A }, 
               R extends undefined ? 'record' : never | A extends undefined ? 'array' : never>>;

验证效果 #

修改后的类型可完美满足需求：

• 合法调用场景：

  // R为undefined，省略record
  myFunction<undefined, string[]>({ array: ['a'] });
  
  // A为undefined，省略array
  myFunction<{ id: '123' }, undefined>({ record: { id: '123' } });
  
  // 两个泛型均非undefined，传入所有属性
  myFunction<{ id: '123' }, string[]>({ record: { id: '123' }, array: ['a'] });
  

• 错误场景会被TypeScript自动检测：

  // 报错：缺少必填属性record
  myFunction<{ id: '123' }, string[]>({ array: ['a'] });
  

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