如何理解 new (...args: any[]) => any

[关于javascript:如何开始理解类型…args:any [])=> any](https://www.codenong.com/5072...)

如何理解下面这段代码里的 new 操作?

/**
 * Checks if the value is an instance of the specified object.
 */
isInstance(object: any, targetTypeConstructor: new (...args: any[]) => any) {
    return targetTypeConstructor
        && typeof targetTypeConstructor ==="function"
        && object instanceof targetTypeConstructor;
}

我们逐步分解。

() => any

该函数没有输入参数,返回任意类型。

(...args: any[]) => any

...args: any[]使用的是Rest Parameters构造,该构造本质上表示可以提供any类型的任何数量的参数。因为存在数量未知的any参数,所以参数的类型是any的数组。

最后,把 new 关键字补上。

new (...args: any[]) => any

此处的new关键字指定可以将此函数视为类构造函数,并使用new关键字进行调用。

回到文章开头的函数:

该函数是一个可以接受返回类型any的任意数量的参数(类型为any的函数),并且可以用作带有new关键字的构造函数。

看一个该函数具体消费的例子:

function isInstance(object: any, targetTypeConstructor: new (...args: any[]) => any) {
    return targetTypeConstructor
        && typeof targetTypeConstructor ==="function"
        && object instanceof targetTypeConstructor;
}

class Jerry{
  constructor(private name:string){
    this.name = name;
  }
}

const jerry: Jerry = new Jerry('Jerry');

console.log(isInstance(jerry, Jerry));

输出:true

如何理解 new (...args: any[]) => any_第1张图片

如果把 new 关键字去掉,反而会报错:
如何理解 new (...args: any[]) => any_第2张图片

Argument of type 'typeof Jerry' is not assignable to parameter of type '(...args: any[]) => any'.
Type 'typeof Jerry' provides no match for the signature '(...args: any[]): any'.

更多Jerry的原创文章,尽在:"汪子熙":

你可能感兴趣的:(如何理解 new (...args: any[]) => any)