typescript - 类型不可分配给泛型类型

Question

为什么不能编译？

interface ITest { ... }    

class Test implements ITest { ... }

class Factory<T extends ITest> {
    constructor(private _Test: typeof Test) { }

    create(): T {
        return new this._Test();
    }
}

它给出 Type 'Test' is not assignable to type 'T'. (property) Factory<T extends ITest>._Test: new () => Test .

我怎样才能让它发挥作用

create(): ITest

或通过

private _Test: any

两者都不会真正传达(代码方面)我所追求的。有什么办法可以让它发挥作用吗？

Answer 1

Why doesn't this compile?

它无法编译，因为 _Test 的类型是 typeof Test。这可能会令人困惑，所以让我尝试将其分解:

---

Typescript 将“类型”添加到 javascript 的世界中，让您可以说“我希望这个对象拥有所有这些可用的属性和操作。”。本质上，这都是一个 type system

Typescript 有 typeof 运算符，它的作用类似于 type query当在类型注释(:)的右侧使用时，作为从实例化对象中获取“类型” 的方法。 typeof 为您提供了一种方式来表达“无论此对象具有什么属性和操作，我都想捕获它们并重新使用它们来检查另一个对象的类型”。

下面是使用此 typeof 运算符的示例。

let myObject = {
    a: 'a string',
    b: 5,
    c: false
};

// notice that the `typeof` operator is on the right of the `:`
function takesATypeOfMyObject(obj: typeof myObject) {
    // highlight over `a`, `b`, or `c` to see their type
    obj.a // (property) a: string
    obj.b // (property) b: number
    obj.c // (property) c: boolean
}

myObject 是一个普通的 javascript 对象文字。函数takesATypeOfMyObject 是一个带有一个参数obj 的函数，类型注释为typeof myObject。这个函数表示它可以接收任何与对象 myObject 具有相同属性的对象。

这不要与 javascript 的 typeof 混淆。只返回字符串的运算符。 Typescript 的 typeof 运算符是其类型系统的一部分。请记住，当 typescript 被编译为 javascript 时，类型和类型注释就会消失。

---

另一个需要理解的重要事情是 typescript 中的类是如何工作的。类(class)是一把双刃剑。在 typescript 中，类同时充当:

• 类型 - 就像您可以对对象执行的属性和操作的定义。以及
• 一个构造函数——就像在一个具体的函数中一样，你可以用new调用来获取提到的类型

使用类型注释 typeof MyClass 可能很诱人，但这很可能不是您想要的。

考虑下面的例子:

// define a class Animal
// this creates the type definition of `Animal` as well as
// the constructor to create an `Animal`
class Animal {
    makeNosie() { return 'grrr'; }
}

// use the constructor to create an object of type `Animal`
let myAnimal = new Animal();
// now `myAnimal` has an inferred type of `Animal`

// declare an object to of type `Animal` but instead of using
// the `Animal` constructor, just define an object literal that
// conforms to the type of Animal
let dog: Animal = {
    makeNosie: () => 'woof'
};
// the type of dog has been declared explicitly and typescript
// just checks to see if it conforms to the type

希望您看到，如果您希望对象符合类创建的类型，则不要使用 typeof 运算符，您只需说“Animal”，而不是 动物类型。

但这让我们想到了一个问题:如果您这样做会怎样？

请记住，typeof 运算符会 try catch 要重用的类型。由于 classes 定义了类型和 newable 函数来创建该类型的对象，typeof Animal 实际上在做什么正在查询 Animal 的构造函数类型。

---

好的，现在我们终于可以深入了解您的代码以了解为什么它无法编译。以下是您粘贴的原始代码:

interface ITest { }    

class Test implements ITest { }

class Factory<T extends ITest> {
    constructor(private _Test: typeof Test) { }

    create(): T {
        return new this._Test();
    }
}

看看Factory 的构造函数。你用这段代码说的是“我的类 Factory 的 constructor 采用任何符合 Test 构造函数的对象。这是一种非常复杂的类型(可能不是你想要的)。

改为尝试此代码:

interface ITest { }    

class Test implements ITest { }

class Factory<T extends ITest> {
    constructor(private _Test: new() => T) { }

    create(): T {
        return new this._Test();
    }
}

_Test 的类型描述已更改为 new() => T，表示“Factory 的构造函数接受任何 newable 函数返回 T 类型。

希望这就是您想要的。

我希望我已经帮助您解决了您的问题，并向您展示了 typescript 的强大之处。 Typescript 正在尝试做一件非常雄心勃勃和疯狂的事情:向任何可能的 javascript 添加完整类型。我认为他们做得很好。