泛型类<T>含引用T的函数属性时类型兼容性失效问题

我需要把不同泛型版本的MyClass实例存入一个声明为WeakMap<MyClass<unknown>, ...>的WeakMap中，但遇到了一个奇怪的类型错误：

• 当类中直接声明一个接收泛型类型参数的函数属性，并在构造函数中赋值时，尝试将实例存入WeakMap会触发类型不兼容错误；
• 但如果把这个函数声明为原型方法（哪怕在构造函数中重写它），存入WeakMap的操作就能正常通过类型检查。

示例代码 #

const FooData = new WeakMap<Foo<unknown>, number>();
class Foo<K> {
  someFuncProp: (k: K) => K; // 此处的声明导致后续报错

  constructor() {
    this.someFuncProp = (k: K) => k;
    FooData.set(this, 1); // 类型检查报错
  }
}

const BarData = new WeakMap<Bar<unknown>, number>();
class Bar<K> {
  constructor() {
    this.someFuncProp = (k: K) => k; // 重写原型方法，无报错
    BarData.set(this, 1); // 类型检查通过
  }

  // 原型方法声明
  someFuncProp(k: K) {
    return k;
  }
}

错误信息 #

Argument of type 'this' is not assignable to parameter of type 'Foo<unknown>'.
  Type 'Foo<K>' is not assignable to type 'Foo<unknown>'.
    Types of property 'someFuncProp' are incompatible.
      Type '(k: K) => K' is not assignable to type '(k: unknown) => unknown'.
        Types of parameters 'k' and 'k' are incompatible.
          Type 'unknown' is not assignable to type 'K'.
            'K' could be instantiated with an arbitrary type which could be unrelated to 'unknown'.

原因解析 #

核心差异在于TypeScript对类实例属性和原型方法的类型协变/逆变处理规则不同：

1. 类实例属性的函数类型严格遵循双向协变检查
   对于Foo类中声明的someFuncProp: (k: K) => K，它作为实例属性，TypeScript会严格检查函数类型的兼容性。函数参数是逆变的，当尝试把Foo<K>赋值给Foo<unknown>时，要求unknown能赋值给任意的K（比如K可能是string，但unknown无法直接赋值给string），因此类型检查失败。

2. 原型方法的函数类型作为类结构的一部分，泛型兼容检查被放宽
   对于Bar类中的原型方法someFuncProp(k: K) => K，TypeScript将其视为方法签名而非普通函数属性。在泛型类的类型兼容判断中，原型方法的签名会被特殊处理：即使在构造函数中重写了实例上的方法，原型方法的声明已经让TypeScript认为Bar<K>和Bar<unknown>的结构是兼容的，因此不会触发类型错误。

简单来说，实例属性的函数类型会被严格校验参数的逆变兼容性，而原型方法的函数类型属于类结构的一部分，泛型兼容检查更宽松，所以能通过类型校验。

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