为何TypeScript递归泛型类可正常运行？求相关术语及设计分析

先还原你提供的可运行TypeScript代码：

class Foo<GenericFoo extends Foo<GenericFoo>> {
    public readonly msg: string;

    public constructor(msg: string) {
        this.msg = msg;
    }
}

class Bar extends Foo<Bar> {
    public constructor(msg: string) {
        super(msg);
    }
}

const foo = new Foo("foo");
const bar = new Bar("bar");
console.log(foo.msg); // "foo"
console.log(bar.msg); // "bar"

为什么没有触发无限递归？ #

这个写法是类型层面的约束，和运行时逻辑完全脱节：

• TypeScript泛型是擦除式的，编译后所有泛型信息都会被移除，运行时不存在泛型参数的递归实例化；
• GenericFoo extends Foo<GenericFoo>只是类型检查器的规则：要求传入的泛型参数必须是继承自Foo<GenericFoo>的类型，这是类型系统的递归推导，不会触发运行时的实例创建循环；
• 直接new Foo("foo")时，TypeScript会自动推断泛型参数为满足约束的默认类型（比如Foo<any>），不存在递归创建对象的逻辑。

这种写法在大型项目中常见吗？ #

非常常见，尤其是需要类型安全的自引用逻辑的场景：

• 链式调用/构建器模式：让父类方法返回子类实例，保证调用链的类型连贯；
• ORM框架实体定义：比如TypeORM等框架中，实体类继承基础模型时会指定自身为泛型参数，以支持类型安全的关联查询、更新；
• 抽象基类设计：当基类需要引用子类的类型信息（比如返回子类实例、约束子类的关联类型）时，这种写法能实现精准的类型约束。

是否属于不良设计？ #

分场景判断：

• 合理使用时：是优秀的类型设计，能大幅提升代码的类型安全性，避免类型断言或any的滥用；
• 无意义过度使用：如果只是为了编写复杂的泛型约束而没有实际的类型安全需求，会增加代码理解成本，属于不良设计。

相关专业术语 #

• F-bounded多态（F-bounded polymorphism）：核心理论，指类型参数被约束为自身的泛型函数（这里就是Foo<GenericFoo>），是实现自引用泛型的核心基础；
• 自引用泛型（self-referential generics）：对这种写法的直观描述，即泛型参数的约束中引用了包含该参数的泛型类型本身。

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