带有构造签名的接口不进行类型检查

Question

class Foo {
    constructor () {
    }
}

interface Bar {
    new(): Bar;
}

function Baz(C : Bar) {
    return new C()
}

var o = Baz(Foo);

提供的参数与调用目标的任何签名都不匹配：类型'new()=>foo'和'Bar'的构造签名不兼容：类型'Bar'需要构造签名，但类型'foo'缺少一个(c:Bar)=>Bar

Foo的构造函数类型是()=>Foo，我认为Bar就是这么说的。我是不是漏掉了什么？

Answer 1

这里是您的代码的更新版本，有一个微妙的变化。

我们定义bar接口，使用我们期望出现的函数和变量。

接下来，我们使用newablebar接口扩展bar接口。这只是定义了一个返回条形图的构造函数。

interface Bar {

}

interface NewableBar extends Bar {
    new();
}

class Foo implements Bar {
    constructor () {

    }
}

function Baz(C : NewableBar) {
    return new C()
}

var o = Baz(Foo);