TypeScript中类型如何自包含？Request类型原型定义疑问

我了解到TypeScript中的declare关键字类似于C语言的extern关键字，用于声明在其他地方定义的变量，此处该变量应该是在浏览器中定义的：

declare var Request: {
    prototype: Request;
    new(input: RequestInfo | URL, init?: RequestInit): Request;
};

我无法理解其中的prototype: Request这部分，因为Request似乎是引用自身。同时想请教，在TypeScript中一个类型如何能够包含自身？

一、prototype: Request不是循环引用的原因 #

这里的Request其实是两个不同的概念：

• 一个是构造函数对象：就是declare var Request声明的全局变量，对应浏览器环境里的Request构造函数本身。
• 另一个是实例类型：TypeScript会自动将构造函数new方法的返回值类型，作为同名的类型使用——也就是通过new Request(...)创建出来的实例的类型。

所以prototype: Request里的Request，指的是实例类型而非构造函数对象。它的含义是：这个构造函数的prototype属性，其类型与Request实例的类型一致，这完全符合JavaScript的原型机制——构造函数的prototype是所有实例共享的原型对象，TypeScript用类型标注来描述这个原型对象的类型。

举个自定义构造函数的直观例子：

declare var Person: {
    prototype: Person; // 此处Person是实例类型
    new(name: string): Person; // new返回的也是实例类型
};

当你写const p = new Person("Alice")时，p的类型就是Person（实例类型），而Person.prototype的类型同样是这个实例类型，逻辑完全自洽。

二、TypeScript中类型的自引用实现 #

这种类型引用自身的写法叫做递归类型，TypeScript原生支持，常用于描述嵌套结构的数据：

1. 树形结构

interface TreeNode {
    value: string;
    children?: TreeNode[]; // 引用自身类型的数组
}

2. 链表结构

interface ListNode {
    val: number;
    next: ListNode | null; // 引用自身类型或null
}

甚至可以定义递归的基础类型：

type JSONValue = string | number | boolean | null | JSONValue[] | { [key: string]: JSONValue };

TypeScript的类型系统能处理这种循环引用，只要不是无意义的无限递归（比如type Loop = Loop，语法允许但无实际用途），都能正常使用。你看到的Request例子，本质是利用「构造函数对象」和「实例类型」同名的特性，间接实现了类型自引用，属于递归类型的特殊场景。

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