Typescript 类变量和错误：“指的是一个值，但在这里被用作类型。您的意思是 typeof' ...”。究竟为什么？

这适用于 Javascript 和 Typescript：

class A  { /* ... */ }
const B = class extends A { /* ... */ }
var x = new B();
console.log(x instanceof B, x.constructor.name); // true B

但是如果我尝试声明类型x as B:

var x: B = new B();

我收到打字稿错误：

“B”指的是一个值，但在这里被用作类型。您指的是“typeof B”吗？

（注意，如果我替换，我也会得到同样的错误const B = class extends A { /* ... */ }简单地const B = A，这就是我最初为了使事情尽可能简单而所做的，但在审查时进行了更新）。

我真的不明白为什么会这样。根据运行时Javascriptx is a B（如上面的console.log所示）。和所有类都是对象无论如何（Typescript 文档本身将类等同于“构造函数对象”）。我猜这只是 Typescript 静态分析的限制 - 它无法弄清楚“B”是一个构造函数对象，就像“A”一样并追踪它的类型？

而且，我不这么认为，但想知道，实际上是否有一种方法可以在 Typescript 中完成这项工作 - 知道 B 是像 A 一样的构造函数对象并允许使用 B 作为类型？

附：我意识到有很多关于SO的问题“Blah 指的是一个值，但在这里被用作类型。您的意思是‘typeof Blah’吗？”，但我找不到像上面那样直接接近它的问答。如果我错过了，抱歉。

当你写的时候class声明如

class A { a = 1 }

在 TypeScript 中，您正在引入范围两个不同的东西两者都被命名为A。其一是value named A，运行时存在的类构造函数。另一个是type named A，对应于类实例的TypeScript接口；此类类型在运行时不存在。

还要注意一个值has一种类型，但它本身并不是一种类型。以及类型A值不是A，因为类构造函数本身不是类的实例）。相反，它具有类型typeof A（用表示TypeScript 的typeof类型查询运算符），这类似于类型new () => A（用构造签名).

事实上，值和类型都已命名A很方便但是很混乱。它很方便，因为它可以让您使用一个术语A指代相关但不同的事物，而不需要您为每个事物发明新的术语（例如，A对于类构造函数，但是InstanceA对于实例类型）。但这很令人困惑，因为它可能会给人一种错误的印象，即这两件事实际上是一件事，或者这两件事之间的关系在某种程度上是名称中固有的，而实际上这只是偶然的。

另一方面，当您编写变量声明时，例如

const B = class extends A { b = 2 };

你只是将a纳入范围value named B。没有对应的type named B。如果你想要这样的类型，你必须自己声明它：

type B = InstanceType<typeof B>; 

缺少名为的自动类型B不是因为编译器无法弄清楚B是一个类构造函数。编译器确切地知道什么B is:

// const B: typeof B

它知道它构建了B实例：

type WhatBConstructs = InstanceType<typeof B>;
// type WhatBConstructs = B // this "B" is not an actual type name, btw

（这里我用了the InstanceType<T>实用型探测的类型B其实例类型的构造函数。）

只是变量声明命名了新值而不是新类型。

现有的建议位于微软/TypeScript#36348它要求当您将类构造函数绑定到变量时，它还应该创建一个与实例类型相对应的命名类型。如果要实施这一点，那么您的B当你写的时候会出现类型const B = class extends A {...}。如果你想看到这种情况发生，你可以去那里给它一个