打字稿中的 new() 是什么？

Question

我在官方文档here中遇到了new()关于泛型。

这里是代码上下文：

function create<T>(c: { new(): T; } ): T {
    return new c();
}

上面的代码被转译成下面的 JavaScript 代码：

function create(c) {
    return new c();
}

new() 是 JavaScript 中的非法语法。在 TypeScript 中是什么意思？

此外，{new(): T; } 是什么意思？我知道它必须是一种类型，但是如何呢？

Answer 1

new() 描述了 typescript 中的构造函数签名。这意味着它描述了构造函数的形状。 例如采取{new(): T; }。你是对的，它是一种类型。它是类的类型，其构造函数不接受任何参数。考虑以下示例

function create<T>(c: { new(): T; } ): T {
    return new c();
}

这意味着函数create接受一个参数，其构造函数不接受任何参数，并返回一个T类型的实例。

function create<T>(c: { new(a: number): T; } ): T

这意味着 create 函数接受一个参数，其构造函数接受一个数字a 并返回一个类型为 T 的实例。 另一种解释方式可以是，下面类的类型

class Test {
    constructor(a: number){

    }
}

应该是{new(a: number): Test}

Answer 2

new 关键字用于创建类的实例，因此是最简单的形式：

class SimpleClass {
}

构造如下：

let simpleClassInstance = new SimpleClass();

这一切都很好，但是如何创建泛型类的实例，即：

class SimpleClassFactory< T > {
    static create( T ) {
        return new T(); // compile error could not find symbol T
    }
}

将按如下方式使用：

let simpleClassInstance = SimpleClassFactory.create(SimpleClass);

在这里，我们尝试使用类定义来创建类的实例。这会产生编译错误。

所以我们需要通过它的构造函数签名来引用类型：

class SimpleClassFactory< T > {
    static create( type: { new(): T ;} ) {
        return new type(); // succeeds
    }
}

Answer 3

所以在文档中提到语法是“当使用泛型在 TypeScript 中创建工厂时”。

如果你看一个更大的例子：

class BeeKeeper {
    hasMask: boolean;
}

class ZooKeeper {
    nametag: string;
}

class Animal {
    numLegs: number;
}

class Bee extends Animal {
    keeper: BeeKeeper;
}

class Lion extends Animal {
    keeper: ZooKeeper;
}

function findKeeper<A extends Animal, K> (a: {new(): A;
    prototype: {keeper: K}}): K {

    return a.prototype.keeper;
}

findKeeper(Lion).nametag;  // typechecks!

a: {new(): A
// is actually creating a new instance of the type A which is extending Animal.
// it is necessary to refer to class types by their constructor functions