TypeScript：条件映射类型与泛型参数的类型定义问题咨询

首先，咱们来拆解一下你遇到的问题核心：当Sub是泛型参数TModel时，TypeScript没办法提前确定TModel是否包含Super的属性（比如Title），也无法预判这些属性的类型是否和Super兼容。这就导致Partial<SubAddsNewPropsToSuper<TModel, {Title: string}>>里的Title类型被推断成了TModel['Title'] & string | undefined——如果TModel的Title是更严格的字面量类型（比如"Foo"）或者完全不兼容的类型（比如number），TypeScript会认为"FANCY"可能不匹配，从而抛出错误。

而非泛型场景下能正常工作，是因为TypeScript可以直接计算出Exclude<keyof Sub, keyof Super>的结果（比如{Title: "Foo"}和{Title: string}的交叉，排除后是空集合），最终类型等价于Super，Partial自然能正确识别Title的类型是string | undefined。

下面给你几个可行的解决方案：

方案1：显式拆分Partial类型 #

既然我们明确最终类型是「Super的完整属性 + Sub的新增属性」，那可以直接把Partial版本拆成两个部分的交叉，强制保留Super的属性类型不受泛型参数影响：

// 原类型定义保持不变
type SubAddsNewPropsToSuper<Sub, Super> = { 
  [KeyOfNewPropsInSub in Exclude<keyof Sub, keyof Super>]: Sub[KeyOfNewPropsInSub] 
} & Super;

// 显式定义Partial版本，明确拆分Super和新增属性的Partial
type PartialSubAddsNewPropsToSuper<Sub, Super> = Partial<Super> & Partial<Omit<Sub, keyof Super>>;

class Controller<TModel> {
  constructor(public model: SubAddsNewPropsToSuper<TModel, { Title: string }>) { }

  setFancyTitle() {
    this.model.Title = "FANCY"; // 正常工作
    this.updateModel({ Title: "FANCY" }); // 现在可以正常赋值了
    const x: Partial<SubAddsNewPropsToSuper<{ Title: "Foo" }, { Title: string }>> = { Title: "FANCY" }; // 正常工作
    const y: PartialSubAddsNewPropsToSuper<TModel, { Title: string }> = { Title: "FANCY" }; // 现在可以正常赋值了
  }

  updateModel(changes: PartialSubAddsNewPropsToSuper<TModel, { Title: string }>) {
    // 合并changes到this.model的逻辑
  }
}

方案2：约束泛型参数，从源头避免不兼容 #

如果希望从一开始就防止TModel包含和Super不兼容的属性，可以给TModel添加约束，确保它的重叠属性必须是Super对应属性的子类型：

type SubAddsNewPropsToSuper<Sub, Super> = Omit<Sub, keyof Super> & Super;

// 约束TModel：如果包含Title，类型必须是string的子类型
class Controller<TModel extends Partial<{ Title: string }>> {
  constructor(public model: SubAddsNewPropsToSuper<TModel, { Title: string }>) { }

  setFancyTitle() {
    this.model.Title = "FANCY";
    this.updateModel({ Title: "FANCY" }); // 正常工作
  }

  updateModel(changes: Partial<SubAddsNewPropsToSuper<TModel, { Title: string }>>) {
    // 合并逻辑
  }
}

方案3：强制忽略Sub中的重叠属性 #

如果希望完全无视Sub中与Super同名的属性（不管它的类型是什么），可以用Pick明确提取Sub的非重叠属性，再和Super交叉，彻底隔离泛型参数对Super属性的影响：

type SubAddsNewPropsToSuper<Sub, Super> = Super & Pick<Sub, Exclude<keyof Sub, keyof Super>>;

class Controller<TModel> {
  constructor(public model: SubAddsNewPropsToSuper<TModel, { Title: string }>) { }

  setFancyTitle() {
    this.model.Title = "FANCY";
    // 直接用类型断言明确changes的类型
    this.updateModel({ Title: "FANCY" } as Partial<{ Title: string }>);
  }

  // 显式定义changes的类型，避免泛型推断歧义
  updateModel(changes: Partial<{ Title: string }> & Partial<Omit<TModel, keyof { Title: string }>>) {
    // 合并逻辑
  }
}

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