Typescript - 深度类型合并，包括可选属性

Question

到目前为止，我一直在使用交集 (&) 运算符来合并两种对象类型。在某些情况下，交叉点不起作用：

• 两个对象中都存在对象类型的属性，我想合并它们
• 两个对象中都存在一个可选属性。
• 对象类型的可选属性存在于两个对象中。

我正在寻找一种也可以处理这些情况的通用产品。

This answer 展示了如何隔离可选属性。

Answer 1

首先感谢您提供类似问题的链接，我从那里获取实用程序类型 - OptionalPropertyOf。下面解决你的问题

type OptionalPropertyOf<T> = Exclude<{
  [K in keyof T]: T extends Record<K, T[K]>
    ? never
    : K
}[keyof T], undefined>

type Merge<T1, T2,
    First = {
        [K in (keyof T1)]: K extends keyof T2 ? T1[K] | T2[K] : T1[K]
    }, OptionalSecond = {
        [K in Exclude<OptionalPropertyOf<T2>, keyof T1>]+?: T2[K]
    },
    NonOptionalSecond = {
        [K in Exclude<keyof T2, keyof First | keyof OptionalSecond>]: T2[K]
    }> = First & OptionalSecond & NonOptionalSecond

// Example
type A = {
    a: string,
    b?: number,
    f: number,
}
type B = {
    a: boolean,
    b? : string,
    c?: string,
    e: number
}
type C = Merge<A, B>
/* type C evaluated as
{
    a: string | boolean;
    b?: string | number | undefined;
    f: number;
    c?: string | undefined;
    e: number;
}

*/
const value: C = {
    a: true,
    e: 1,
    f: 2
}

我们做了三个步骤：

• type First 表示T1 的所有字段 + 如果T2 有相同的字段我们通过联合合并它
• type OptionalSecond 表示在T2 中是可选的但在First 类型中没有使用的字段。我们在这里说 +? 是为了说明这些字段在这里仍然是可选的
• type NonOptionalSecond 表示T2 中的每个字段，这是附加的且非可选的

结果我们有两种类型的所有可选字段，在重复合并的情况下也是由联合完成的。