如何正确键入在TypeScript中返回类的函数？

Question

在TypeScript中，< code>class关键字引入了值和类型:

class Plain { };
const plain: Plain = new Plain();

有没有一种方法可以使函数返回既是类型又是值的东西？

问这个问题的另一种方法是：有没有办法在下面声明createclass的类型，以便const a2：动物=新动物（）类型检查？

declare function createClass<T extends string>(t: T): (new () => { type: T });

const Animal = createClass("animal");

const a1         = new Animal();
const a2: Animal = new Animal(); // Error: 'Animal' refers to a value, but is being used as a type here.
const a3: InstanceType<typeof Animal> = new Animal(); // OK but verbose, even if I make a type alias

看到这个打字游戏了吗

Answer 1

类声明同时生成类型和值。该值是类的构造函数（这就是为什么当您在表达式中编写新的 Plain（） 时，您会调用构造函数）。类型与类同名，表示类的实例类型（这就是您可以在类型注释中使用它的原因）

另一方面，const只是一个值，即使它确实包含一个类。没有相应的类型。实现与类声明类似的功能的唯一方法是创建具有相同名称的类型别名。

declare function createClass<T extends string>(t: T): (new () => { type: T });

const Animal = createClass("animal");
type Animal = InstanceType<typeof Animal>

const a1         = new Animal(); 
const a2: Animal = new Animal(); 

该类型的值位于不同的域中，因此使用相同的名称没有问题。

不幸的是，没有办法在单个语句中做到这一点，这涉及到一些冗长。