TypeScript泛型中无法用"prototype"索引类构造类型的问题

根据TypeScript文档，类构造类型的标准定义如下：

type Class = { new (...args: any[]): {} }

直接对这个类型进行prototype索引时，编译完全正常：

type ClassPrototype = { new (...args: any[]): {} }["prototype"]
// 或使用预定义的Class类型
type ClassPrototype = Class["prototype"]

但当使用泛型约束<T extends { new (...args: any[]): {} }>时，编写type PrototypeOf<T> = T["prototype"]会触发编译错误：

Type '"prototype"' cannot be used to index type 'T'

核心疑惑 #

既然直接索引Class类型能正常获取prototype，为什么泛型约束下的T无法使用prototype索引？目前找到的临时方案是将约束改为<T extends { prototype }>，但这种写法丢失了构造签名的约束，不够优雅。

问题原因 #

TypeScript对泛型约束的检查是严格基于约束中显式声明的结构：

• 直接索引具体的构造类型时，TypeScript会隐式识别构造函数类型自带prototype属性；
• 但泛型约束<T extends { new (...args: any[]): {} }>只声明了类型具备构造签名，并没有显式包含prototype属性，因此编译器无法确认所有符合该约束的T都有prototype。

正确解决方案 #

修改泛型约束，显式包含prototype属性，同时保留构造签名，既保证类型安全又符合规范：

// 定义包含构造签名和prototype的构造函数类型
type Constructor = { new (...args: any[]): {}; prototype: {} }

// 基于该约束实现PrototypeOf工具类型
type PrototypeOf<T extends Constructor> = T["prototype"]

如果需要让prototype的类型和构造函数的实例类型关联，可以进一步优化：

type Constructor<T = {}> = { new (...args: any[]): T; prototype: T }
type PrototypeOf<T extends Constructor> = T["prototype"]

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