TypeScript泛型中对象字面量构造Partial对象匹配失败

问题场景 #

在如下泛型Repository类中，get方法里传递{ id }给findOne的Partial<DTO>参数时，TypeScript会抛出类型不兼容错误，但手动断言as Partial<DTO>可正常工作：

class Repository<DTO extends {
    id: string
}> {
    findOne(what: Partial<DTO>) {
    }

    get(id: DTO["id"]) {
        this.findOne({ id }); // TS2345: Argument of type '{ id: DTO["id"]; }' is not assignable to parameter of type 'Partial<DTO>'.
        this.findOne({ id } as Partial<DTO>); // 手动断言有效
    }
}

原因分析 #

核心问题在于泛型DTO是开放约束类型，TypeScript需要覆盖所有符合DTO extends { id: string }的可能情况：

1. id属性的只读性：若某个具体DTO实现将id设为readonly，Partial<DTO>中的id类型会是readonly DTO["id"] | undefined，而{ id }创建的是带可写id属性的对象，可写属性无法赋值给只读属性，类型自然不兼容。
2. id的更具体类型：假设DTO是{ id: 'user1' | 'user2', name: string }，Partial<DTO>的id类型是'user1' | 'user2' | undefined，虽然{ id }看起来匹配，但TypeScript在泛型阶段无法提前确定DTO的具体结构，不会做“放宽”推断——它必须保证对所有符合约束的DTO都安全。

简言之，TypeScript不会假设{ id }字面量能满足所有可能的Partial<DTO>，因为DTO的结构存在不确定性。

可行解决方式 #

除手动断言外，还有两种更安全的方案：

• 扩展findOne参数类型：允许接受仅含id的对象，兼顾灵活性与类型安全：

  findOne(what: Partial<DTO> | Pick<DTO, 'id'>) {
  }
  

• 显式声明变量类型：让TypeScript明确推断变量为Partial<DTO>：

  get(id: DTO["id"]) {
      const query: Partial<DTO> = { id };
      this.findOne(query);
  }
  

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