映射类型可以使属性成为可选的，但前提是满足条件？

Question

我正在尝试创建一个映射类型，它采用某种类型的所有属性并使它们成为可选，但保持所有其他属性不变。我知道在定义映射类型时可以使用可选修饰符，如：

type MyPartial<T> = {
  [key in keyof T]?: T[key]
}

但我不确定语法是否允许将其与条件结合使用。我可以非常接近以下内容：

type OptionalArrays<T> = {
  [key in keyof T]: T[key] extends Array<any> ? T[key] | undefined : T[key]
}

interface Example {
  foo: string[];
  bar: number;
};

type Example2 = OptionalArrays<Example>;

问题是这会导致显式的undefineds，而不是隐式的，所以虽然它会在这两种情况下按照我的意愿行事：

const value1: Example2 = {
  foo: [],
  bar: 3,
}

const value2: Example2 = {
  foo: undefined,
  bar: 3,
}

它会给出一个不需要的错误，foo 缺少这个：

const value3: Example2 = {
  bar: 3,
}

是否可以在映射类型中添加可选修饰符（?），但前提是满足特定条件？

Playground link

Answer 1

可能有一种更优雅的方式，但是将两个映射类型相交并不太尴尬。一个用于可选属性，一个用于必需属性。

例如：

type OptionalArrays<T> = {
  [key in keyof T as T[key] extends Array<any> ? key : never]?: T[key]
} & {
  [key in keyof T as T[key] extends Array<any> ? never : key]: T[key]
}

注意映射类型的键部分中的as。这让您可以转换密钥类型。在这种情况下，如果我们想保留它，我们要么使用实际的密钥，要么将它转换为 never。

Playground

---

或者也许这个版本是相似的，但可以说是稍微不那么神秘。

type ArrayKeys<T> = {
    [key in keyof T]: T[key] extends Array<any> ? key : never
}[keyof T]

type OptionalArrays<T> =
    Omit<T, ArrayKeys<T>> & // get one type without array keys
    Partial<Pick<T, ArrayKeys<T>>> // get one type with array keys as optional

Playground