TypeScript泛型用作回调参数时类型推断失败的原因

场景复现 #

正常编译的代码 #

class Foo<F> {
  bar: Array<F> = [];

  static create<F, T extends Foo<F>>(this: new () => T): T {
    return new this();
  }
}

class Foo2 extends Foo<string> {}

const foo = Foo2.create();

修改后编译失败的代码 #

将bar的类型从Array<F>改为Array<(a: F) => void>后，编译抛出类型不兼容错误：

class Foo<F> {
  bar: Array<(a: F) => void> = [];

  static create<F, T extends Foo<F>>(this: new () => T): T {
    return new this();
  }
}

class Foo2 extends Foo<string> {}

const foo = Foo2.create();
      ^^^
The 'this' context of type 'typeof Foo2' is not assignable to method's 'this' of type 'new () => Foo<unknown>'.
  Types of construct signatures are incompatible.
    Type 'new () => Foo2' is not assignable to type 'new () => Foo<unknown>'.
      Type 'Foo2' is not assignable to type 'Foo<unknown>'.
        Type 'unknown' is not assignable to type 'string'. ts(2684)

手动指定泛型可正常运行 #

显式传入泛型参数后，代码恢复正常：

const foo = Foo2.create<string, Foo2>();

核心疑问 #

为何泛型F用作函数参数类型时，TypeScript无法自动推断出string类型？

原因解析 #

这本质是TypeScript泛型协变/逆变规则和类型推断逻辑共同作用的结果：

1. 泛型位置的可变性差异

   • 当bar是Array<F>时，Array<F>属于协变位置：Foo<string>可以被视为Foo<unknown>的子类型（因为string是unknown的子类型，协变位置允许用子类型替换父类型）。此时TypeScript能通过Foo2继承自Foo<string>的关系，自动推断出create方法的泛型F为string，T为Foo2。
   • 当bar是Array<(a: F) => void>时，函数的参数类型属于逆变位置：(a: string) => void是(a: unknown) => void的父类型（逆变位置允许用父类型替换子类型），这导致Foo<string>无法被赋值给Foo<unknown>。TypeScript在自动推断时，无法从Foo2反向推导出create方法的F应该是string，只能默认推断为unknown，进而触发类型不兼容的报错。

2. 静态方法泛型的作用域问题
   create方法的泛型F和类本身的泛型F是同名但独立的两个参数。在协变场景下，类型约束T extends Foo<F>能让TypeScript自动关联类的string类型到静态方法的F；但逆变场景下，这种关联被打破，TypeScript无法自动匹配两者的类型关系，必须手动指定泛型参数才能明确。

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