我熟悉typescript中的泛型类,在这里可以用关联的类型变量定义类,然后具有特定类型的实例可以操作并返回该类型的值。
问题:我需要一个泛型类来创建类型变量的实例。例如:

class Thing {
  thingProp: string;
}

class ThingOne extends Thing {
  thingOneProp: string;
}

class ThingTwo extends Thing {
  thingTwoProp: string;
}

class Maker<T extends Thing> {

  make(): T {
    return new T();
    //         ^--- " // <- "error TS2304: Cannot find name 'T'""
  }

}

let thingOneMaker = new Maker<ThingOne>();

let thingOne: ThingOne = thingOneMaker.make();

let thingTwoMaker = new Maker<ThingTwo>();

let thingTwo: ThingTwo = thingTwoMaker.make();

let thingError: ThingOne = thingTwoMaker.make();
//      ^--- "error TS2322: Type 'ThingTwo' is not assignable to type 'ThingOne'"

这似乎很管用。编译器生成代码,最后一行的错误显示typescript知道应该返回什么类型的thingTwoMaker.make()
但是,return new T();上的错误表明,typescript不理解我试图创建类型变量类的实例,生成的javascript确认了这一点:
var Maker = (function () {
    function Maker() {
    }
    Maker.prototype.make = function () {
        return new T(); // <- "error TS2304: Cannot find name 'T'"
    };
    return Maker;
}());

而且,毫不奇怪,使用node.js运行生成的javascript会产生一个ReferenceError: T is not defined错误。
如何创建一个泛型类,该类的实例可以创建类型变量类的实例?(使用TypeScript2.0.10进行测试。)

最佳答案

不知怎的,你需要给Maker类一个你想要的类型的构造函数,这样它就有了一个可以调用new的值。
我认为一个好的选择是将类构造函数作为参数传递给Maker的构造函数。这将允许它构造该类的实例,并且它将自动推断它正在生成的类型,这样您就不必再手动注释泛型类型了。
所以也许是这样的:

class Maker<T extends Thing> {

  private ctor: {new(): T};

  constructor(ctor: {new(): T}) {
    this.ctor = ctor;
  }

  make(): T {
    return new this.ctor();
  }
}

然后,您可以将正确的类构造函数传递给每种Maker,类型将自动推断:
let thingOneMaker = new Maker(ThingOne);
let thingOne: ThingOne = thingOneMaker.make();

let thingTwoMaker = new Maker(ThingTwo);
let thingTwo: ThingTwo = thingTwoMaker.make();

// Still an error.
let thingError: ThingOne = thingTwoMaker.make();

Playground link.

10-05 23:13
查看更多