TypeScript类赋值给const后用作类型报错的原因及解决方法

报错逻辑解释 #

TypeScript 对类的不同写法有不同的默认处理规则：

• 当你使用class A {}这种类声明语法时，TypeScript 会自动生成两类实体：
  • 运行时存在的值：类对应的构造函数对象A
  • 编译时使用的类型：代表A类实例结构的类型A
• 当你使用const B = class extends A {}这种把类表达式赋值给变量的写法时，TypeScript 默认只会为B生成值层面的定义，不会自动生成对应的实例类型。因此你直接把B作为类型标注使用时，TypeScript 只能识别到它是一个运行时值，找不到对应的类型定义，就会抛出以下报错：

'B' refers to a value, but is being used as a type here. Did you mean 'typeof B'?

这里提示的typeof B是构造函数本身的类型，不是你需要的实例类型，直接替换会不符合使用预期。
这种规则不是 TypeScript 的静态分析局限性，是有意设计的：避免类表达式赋值时自动生成全局类型，污染类型命名空间。

可用解决方案 #

方案1：手动关联值和类型（推荐） #

可以利用InstanceType工具类型手动提取构造函数对应的实例类型，TypeScript 允许同名的值和类型共存，不会冲突：

class A  { /* ... */ }
const B = class extends A { /* ... */ }
type B = InstanceType<typeof B>

// 现在可正常将B作为实例类型使用
var x: B = new B();

你提到的const B = A场景也可以用同样的方式处理：

class A  { /* ... */ }
const B = A
type B = InstanceType<typeof B>

var x: B = new B();

方案2：先声明类再赋值 #

如果不需要匿名类的特性，也可以先声明类再赋值给变量，类声明会自动生成对应的实例类型：

class A  { /* ... */ }
class BImpl extends A { /* ... */ }
const B = BImpl

var x: BImpl = new B();

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