TypeScript 2.6泛型参数中this类型展开异常问题咨询

嘿，我碰到过类似的反直觉问题——明明AnEntitySet直接实现了EntitySet，在泛型参数里用this却报错，而且2.5版本还能正常跑，对吧？咱们来拆解下这个问题：

为啥会报错？ #

这其实不是TypeScript的Bug，而是2.6版本对this类型和泛型约束的检查逻辑收紧了，相当于补上了2.5版本里的一个检查漏洞。

具体来说，当你写new SetInfo<TEntity, this>()时，TypeScript会把这里的this解析为当前类的具体实例类型（包括可能的子类）。而SetType的约束是EntitySet<TEntity>，这个接口里的promise定义是Promise<this>——注意，这里的this在约束检查时，会被识别成EntitySet<TEntity>本身，而不是你的AnEntitySet实例。

这就导致了类型对比的矛盾：AnEntitySet的promise是Promise<AnEntitySet<TEntity>>，但约束要求的是Promise<EntitySet<TEntity>>。虽然AnEntitySet是EntitySet的子类，但Promise的协变检查在泛型约束场景下会更严格，所以触发了报错。

而works字段能正常赋值，是因为那是直接的向上转型，TypeScript允许这种隐式转换；但泛型约束的校验逻辑不一样，它会逐字段严格对比类型结构。

几个快速解决的办法 #

1. 调整EntitySet接口的promise类型 #

把接口里的Promise<this>改成Promise<EntitySet<T>>，让类型定义统一：

interface EntitySet<T> { promise: Promise<EntitySet<T>>; }
class SetInfo<TEntity, SetType extends EntitySet<TEntity>> { }
export class AnEntitySet<TEntity> implements EntitySet<TEntity> {
  promise = new Promise<AnEntitySet<TEntity>>(r => { });
  fails = new SetInfo<TEntity, this>(); // 现在不报错了
  works: EntitySet<TEntity> = this
}

这个办法最稳妥，唯一的小缺点是牺牲了this类型的多态性，但大部分业务场景下完全够用。

2. 用类型断言绕开检查 #

如果你不想修改接口定义，可以直接告诉TypeScript“我确认这个类型是兼容的”：

export class AnEntitySet<TEntity> implements EntitySet<TEntity> {
  promise = new Promise<this>(r => { });
  fails = new SetInfo<TEntity, this as EntitySet<TEntity>>();
  works: EntitySet<TEntity> = this
}

这种方式简单直接，但要注意后续如果类型结构发生变化，可能会埋下隐患，只适合你明确类型没问题的场景。

3. 放宽SetInfo的泛型约束 #

如果SetInfo不需要严格依赖promise的具体类型，可以把EntitySet的promise改成更宽松的类型，比如：

interface EntitySet<T> { promise: Promise<unknown>; }

当然这个得结合你的业务逻辑判断是否可行，不能为了解决报错随意修改约束。

最后总结 #

这个问题本质是TypeScript 2.6收紧了泛型约束和this类型的检查逻辑，把之前2.5版本没覆盖到的类型问题暴露了出来。上面的几个办法都能快速解决你的报错，选哪个就看你的代码场景啦。

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