获取通用接口扩展

Question

考虑以下接口：

interface A {
   name: string;
   value: number;
   sub: {
       query: number[]
   },
   old: number;
}

interface B {
   name: string;
   value: string;
   sub: {
       query: string[]
   },
   new: boolean;
}

我正在寻找获取接口/类型的通用解决方案：

interface C extends B, A {
}

C 就像接口 D：

interface D {
   name: string;
   value: string;
   sub: {
       query: string[]
   },
   old: number;
   new: boolean;
}

所以我可以有一个函数：

function merge<T, U>(t: T, u: U): interface C extends T, U {
  // Merge objects
  // ...
  return obj;
}

它不一定是一个接口。类型也会这样做（我认为）。

A & B 类型不起作用，因为那时我有一个交叉点（例如，value 将是 number & string 类型）。

Answer 1

我使用这种MergeReplace 类型来更准确地输入诸如Object.assign({}, T, S) 之类的内容：

type MergeReplace<T, S> = Omit<T, keyof T & keyof S> & S;
type Omit<T, K extends keyof T> = Pick<T, Exclude<keyof T, K>>;

如果你使用的是 Exclude 可以这样定义：

type Project<K extends string, T> = (T & {[x: string]: never})[K];
type Delete<T extends string, U extends string> = ({[P in T]: P} & {[P in U]: never});
type Exclude<T extends string, U extends string> = Project<T, Delete<T,U>>;

TypeScript playground with examples

注意MergeReplace 是右偏的，所以如果T 和S 共享一个属性但类型不同，则选择S 中的类型。

查看this TypeScript issue了解更多信息。

Answer 2

我想我明白了：

type MergeRightBiased<TLeft, TRight> =
  TLeft extends any[] ? TRight :
    TRight extends any[] ? TRight :
      TLeft extends object ?
        TRight extends object ? {
          // All properties of Left and Right, recursive
          [P in keyof TLeft & keyof TRight]: MergeRightBiased<TLeft[P], TRight[P]>
        } & {
          // All properties of Left not in Right
          [P in Exclude<keyof TLeft, keyof TRight>]: TLeft[P];
        } & {
          // All properties of Right not in Left
          [P in Exclude<keyof TRight, keyof TLeft>]: TRight[P]
        }
          // Prefer Right
          : TRight
        : TRight;

感谢@Oblosys 的帮助！