TypeScript中无需静态getter导出类实例类型的方法（JS项目智能提示场景）

嘿，我明白你的需求了——在JS项目里用TS做类型提示，想从$A.A导出它的实例类型，又不想依赖那个default静态getter对吧？其实TypeScript专门提供了工具类型来解决这个问题，完全不用额外加代码。

直接用InstanceType工具类型 #

这是最标准、最无侵入的方式，专门用来提取类构造函数对应的实例类型：

// 导出A的实例类型
export type AInstance = InstanceType<typeof $A.A>;

// 然后在函数里这样标注参数，就会正确识别为实例类型了！
function foo(a: AInstance) {
  // 这里a会被TS正确提示为A的实例的属性和方法
}

这个方法完全不需要修改你的JS类代码，也没有任何运行时开销——毕竟只是TS的类型分析，不会编译到最终的JS里。

为啥你之前的尝试大多没成功？ #

我帮你分析下之前的7种方式：

• 方式1 (typeof $A.A.default): 能行是因为default返回的是实例，但确实依赖了额外的静态属性，不是最优解。
• 方式2 (typeof new $A.A): 语法不对，typeof后面不能直接跟new 类名，正确写法是typeof new $A.A()，但这样会实际执行构造函数，没必要还可能有副作用。
• 方式3 (typeof $A.A.create()): 理论上能拿到实例类型，但同样会运行create()方法，如果你只是要类型的话，没必要真的创建实例。
• 方式4 (typeof $A.A()): 类不能直接调用，必须用new，所以这个语法本身就报错。
• 方式5 (typeof $A['A']): 拿到的是类的构造函数类型，不是实例类型。
• 方式6 ($A.A): 同样是类类型，所以你的foo函数参数会被识别为类本身，而不是实例对象。
• 方式7 (typeof new ()=>$A.A): 箭头函数不能作为构造函数用new调用，语法错误。

另一种可选方案（依赖create方法） #

如果你不想用InstanceType，也可以利用ReturnType来提取create方法的返回类型：

export type AInstance = ReturnType<typeof $A.A['create']>;

不过这个依赖create方法存在，通用性不如InstanceType，后者只要有类的类型就能用。

总之，InstanceType是最适合你场景的方案，完全满足你的需求：不用修改现有JS代码，只做类型标注，没有运行时影响。

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