TypeScript深度合并接口不满足泛型约束及交集类型never问题

问题场景1：深度合并类型不满足Base约束 #

尝试实现深度合并类型UglyDeepMerge以合并两个继承自Base接口的类型时，触发泛型约束错误：Type 'UglyDeepMerge<T, U>' does not satisfy the constraint 'Base'，尽管通过条件类型UglyDeepMerge<T, U> extends Base ? true : false判断返回true。

相关代码：

// 初始深度合并实现
type UglyDeepMerge<T, U> = {
  [K in (keyof T | keyof U)]:
  K extends keyof U ?
  K extends keyof T ?
  T[K] extends Record<string, unknown> ?
  U[K] extends Record<string, unknown> ?
  UglyDeepMerge<T[K], U[K]> :
  U[K] :
  U[K] :
  U[K] :
  K extends keyof T ?
  T[K] :
  never
}

interface Base {
  name: string;
}
type DoSomething<T extends Base> = T;

// 报错：Type 'UglyDeepMerge<T, U>' does not satisfy the constraint 'Base'
type Test<T extends Base, U extends Base> = DoSomething<UglyDeepMerge<T, U>>;

问题场景2：初始需求——解决交集类型属性冲突为never #

使用交集类型T & U合并两个继承自Base的类型时，若存在同名不同类型的属性，合并后该属性类型会变为never，需要改为保留第二个类型（U）的属性类型（如number）。

相关代码：

interface Base {
  name: string;
}
type DoSomething<T extends Base> = T;
type Test<T extends Base, U extends Base> = DoSomething<T & U>;
type test = Test<Base & { age: string; }, Base & { age: number; }>["age"];
// 类型为never，期望为number

错误原因分析 #

1. 泛型约束错误原因：TypeScript对泛型约束的检查是保守的——尽管T和U都继承自Base，但它不会自动推导“两个继承自Base的类型的key联合必然包含Base的key”，因此无法确认合并后的类型必然拥有Base的所有成员，触发约束错误。
2. 交集类型never原因：当两个类型的同名属性类型冲突时（如string和number），交集类型会得到string & number，即never——这是交集类型的语义：不存在同时满足两种类型的值，因此类型为never。

解决方案 #

修复深度合并约束+实现属性覆盖需求

修改深度合并类型，显式继承Base并调整逻辑，让冲突属性优先取第二个类型（U）的类型：

interface Base {
  name: string;
}

// 修复后的深度合并类型：显式继承Base，优先保留U的属性
type DeepMerge<T extends Base, U extends Base> = Base & {
  [K in Exclude<keyof T | keyof U, keyof Base>]:
  K extends keyof U 
    ? (K extends keyof T 
      ? // 若双方都有该属性且均为对象，递归合并；否则取U的类型
        (T[K] extends Record<string, unknown> 
          ? (U[K] extends Record<string, unknown> 
            ? DeepMerge<T[K] & Base, U[K] & Base> 
            : U[K]) 
          : U[K])
      : U[K])
    : // 仅T有该属性时，取T的类型
      K extends keyof T ? T[K] : never
}

type DoSomething<T extends Base> = T;

// 不再报错，符合约束
type Test<T extends Base, U extends Base> = DoSomething<DeepMerge<T, U>>;

// 验证初始需求：冲突属性取U的类型
type TestResult = Test<Base & { age: string }, Base & { age: number }>;
type AgeType = TestResult["age"]; // 类型为number，符合预期

代码说明

1. 显式继承Base：通过Base & { ... }直接确保合并后的类型包含Base的所有属性，TypeScript可直接识别满足约束。
2. 属性覆盖逻辑：属性同时存在于T和U时，优先取U的类型；若属性是对象类型则递归合并，实现深度合并。
3. 排除Base属性：使用Exclude<keyof T | keyof U, keyof Base>避免重复定义Base中的属性（如name）。

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