TypeScript如何实现方法的协变泛型返回类型并规避any类型

原实现是否类型安全？ #

你当前的实现实际是类型安全的。这里用到的any只是泛型约束中的占位用法，不会触发实际的类型逃逸：所有实现SuperClass的类都会显式将泛型参数指定为自身类型，any仅用于满足TS的语法校验规则，不会参与后续的类型推导，returnSelf方法的返回值类型全程可控，不会造成any污染全局类型的问题。

替换any为unknown无法编译的原因 #

TS的泛型约束要求T extends SuperClass<X>中的X必须满足SuperClass本身的泛型约束条件，也就是X extends SuperClass<...>。当你把any换成unknown时，unknown是TS的顶层类型，是所有类型的父类，不可能满足extends SuperClass的约束要求，因此泛型校验直接失败，无法编译。

更符合TS开发规范的实现方式 #

推荐两种无any的实现方案：

方案1：使用TS内置this类型（最优解） #

不需要引入泛型，直接用TS原生支持的this类型，会自动指向当前实例的实际类型，继承场景下也能自动推导：

interface SuperClass {
  returnSelf(): this; 
}

class SubClass implements SuperClass {
  public returnSelf(): this {
    return this;
  }
}

// 自动推导返回值为SubClass类型，无需额外类型标注
const subclass = new SubClass().returnSelf();

方案2：递归泛型约束（保留泛型能力的场景） #

如果业务逻辑需要保留泛型参数（比如接口还有其他关联类型定义），可以用递归约束替代any：

interface SuperClass<T extends SuperClass<T>> {
  returnSelf(): T; 
}

class SubClass implements SuperClass<SubClass> {
  public returnSelf(): SubClass {
    return this;
  }
}

const subclass: SubClass = new SubClass().returnSelf();

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