TypeScript 泛型：'类型不可分配给类型 T'

Question

我已经创建了一个工厂，它将创建某些类的实例。我想使用泛型来确保返回的所有对象都来自扩展抽象类的子类。

我认为下面显示的createInstance 方法的逻辑可以描述为'createInstance() 将返回一个类型T，该类型被限制为扩展Animal 的类。

如您所见，Lion 扩展了 Animal，但我仍然收到编译器警告 type Lion is not assignable to type T。

abstract class Animal {
    abstract makeSound(): void;
}

class Bear extends Animal {
    public makeSound() {
        console.log('growl');
    }
}

class Lion extends Animal {
    public makeSound() {
        console.log('roar');
    }
}

function createInstance<T extends Animal>(type: string): T {
    switch(type) {
        case 'bear':
            return new Bear(); // 'type Bear is not assignable to type T'
        case 'lion':
            return new Lion(); // 'type Lion is not assignable to type T'
    }
}

createInstance().makeSound();

我在TypeScript Generics 文档的末尾读到：

在 TypeScript 中使用泛型创建工厂时，有必要 通过构造函数引用类类型。例如，

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

但如果可能的话，我真的不想将类构造函数传递给函数，并且想了解为什么我首先会收到 not assignable to type T 消息。

谢谢

Answer 1

如果你的函数总是返回一个Lion 它的结果类型不是真正的通用。例如，您可以编写 create<Tiger>()，而您的函数仍将返回 Lion。真正的泛型函数会返回一个遵循泛型参数的值。

正如你所发现的，你可以将构造函数作为参数传递：

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

或者你可以让你的函数不是通用的，并让它返回一个Animal或Lion。如果您有基于确定返回类型的参数值的逻辑，则可以有更多的重载：

// Public signatures, we tie function parameter values to return value for specific types
function createInstance(type: "Lion"): Lion 
function createInstance(type: "Tiger"): Tiger 
// Private signature, not visible from outside
function createInstance(type: "Lion" | "Tiger"): Animal {
    if(type === "Lion") {
        return new Lion();
    }
    else if(type === "Tiger") {
        return new Tiger(); 
    }
}
let tiger = createInstance("Tiger"); // will be typed as Tiger
let lion = createInstance("Lion");// will be typed as Lion
let err = createInstance("Lama");// will be an error since the function does not know how to create a Lama