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

Question

在 TypeScript 中，class 关键字同时引入了值和类型：

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

有没有办法让函数返回既是类型又是值的东西？

问这个问题的另一种方式是：有没有办法在下面声明createClass 的类型以便const a2: Animal = new Animal() 进行类型检查？

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

See this TypeScript Playground

Answer 1

一个类声明产生一个类型和一个值。该值是类的构造函数（这就是为什么在表达式中编写new 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(); 

类型的值位于不同的域中，因此使用相同的名称即可。

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