使用类表达式/值作为类型

Question

如果我以通常的方式声明一个类，我可以使用类名作为类型:

class Foo {
  foo: number
  constructor(x: number) {
    this.foo = x
  }
}
let foo : Foo // all fine

但是，如果我通过将类表达式分配给变量来声明一个类，我就不能将该名称用作类型：

const Bar = class Bar {
  bar: string
  constructor(x: string) {
    this.bar = x
  }
}
let b: Bar // 'Bar' refers to a value, but is being used as a type here. Did you mean 'typeof Bar'?

建议使用typeof Bar不起作用，因为我想要Bar的实例类型，而不是类本身的类型。

typescript操场示例

如何获取以第二种方式定义的类的实例类型？

我对以这种方式定义类感兴趣的原因是，我希望有一个接口来描述某些类将具有的静态方法，如此处的手册中所述（该部分中的第三个示例）。

下面是添加了一行的示例，再次显示了问题

Answer 1

类型脚本有两个名称空间，一个值空间和一个类型空间（在这里阅读更多）。类声明在值空间和声明它的上下文中的类型空间中都添加了一个名称。类表达式，只在类范围内添加这些。因此，您可以使用Bar表达式作为类内的构造函数和类型。

const Bar = class BarExpression {
  bar: BarExpression // Valid in the class
  constructor(x: BarExpression) { 
    this.bar = x
  }
}

在封闭范围中，您只剩下名为Bar的常量，可以用作构造函数，但该类型没有添加到封闭范围中（const声明没有理由向封闭范围中添加类型）。

您可以使用InstanceType条件类型获取构造函数的实例类型。您还可以添加类型别名声明，以便获得与类声明类似的效果：

const Bar = class Bar {
  bar: string
  constructor(x: string) {
    this.bar = x
  }
}
type Bar = InstanceType<typeof Bar>
let a : Foo = new Foo(42)
let b : Bar = new Bar("hello")

游乐场链接