TypeScript两函数间奇怪的参数类型推断错误排查

问题原因 #

核心是泛型约束下的类型收窄逻辑导致的兼容性冲突：
当你在泛型函数f1<T extends Deletable>中调用f2<T>时，TypeScript会将T视为Deletable的具体子类型（而非Deletable本身）。TTest<T>的定义允许T的任意属性（保持原类型）或_id: string，但T作为子类型可能存在更严格的约束——比如某个子类可能未定义_deletedAt属性，或是将_deletedAt的类型收窄为比Date | undefined更严格的范围。此时传入{ _deletedAt: new Date() }会触发类型检查报错，因为TypeScript无法确认该属性在当前T的约束下是合法的。

而直接调用f2<Deletable>(...)时，T就是Deletable本身，TTest<Deletable>明确包含_deletedAt: Date，因此不会报错；显式传递TTest<T>作为类型参数时，相当于跳过了对T子类型的严格检查，直接使用联合类型定义，也能通过校验。

解决方案 #

1. 显式断言参数类型 #

在调用f2时，将参数断言为TTest<T>，直接告诉TypeScript参数符合约束：

f2<T>({ _deletedAt: new Date() } as TTest<T>);

2. 调整TTest为交叉类型定义 #

将TTest<T>从联合类型改为T的可选属性与额外允许属性的交叉类型，让TypeScript能更好地兼容子类型：

type TTest<T extends object> = Partial<T> & { _id?: string };

这种定义明确允许T的任意可选属性，同时支持_id: string，避免子类型收窄带来的冲突。

3. 给泛型添加更明确的约束 #

如果f1的泛型T必须是Deletable的子类，可通过约束确保_deletedAt属性的类型兼容性：

function f1<T extends Deletable & { _deletedAt?: Date | undefined }>() {
  f2<T>({ _deletedAt: new Date() });
}

通过强制T包含兼容的_deletedAt属性，让TypeScript确认参数合法。

实际场景适配（针对AbstractDeletableRepository问题） #

在findActivesById方法中，传入{ _id: id, _deletedAt: undefined }时的报错逻辑一致，可采用以下方式解决：

• 显式断言参数类型：

  this.findBy({ _id: id, _deletedAt: undefined } as TTest<T>);
  

• 调整TTest的定义，确保_deletedAt支持undefined：

  type TTest<T extends Deletable> = Partial<T> & { _id: string };
  

  Partial<T>会继承Deletable中_deletedAt: Date | undefined的定义，允许传入undefined值。

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