TypeScript从子类调用的构造函数参数推断类型

Question

我有一个类，它有一些属性/方法，返回最初通过构造函数传递的值：

class Base {
  constructor(arg) {
     this.options = arg.options;
  }
}

人们建议用泛型作为打字稿的等价物：

class Base<T extends {options: any}> {
    options: T["options"];

    constructor(arg: T) {
        this.options = arg.options;
    }    
}

// works fine with instantiation
const inst = new Base({options: {foo: 123}});
inst.options.foo++; // ok
inst.options.bar; // TS Error

现在我有了一个子类，它调用超类的构造函数并传递以下选项：

class Sub extends Base { // TS Error
    constructor() {
        super({options: {foo: 123}});
        this.options.foo++; // TS Error
    }
}

TypeScript编译器对此不满意，希望通过类型扩展Base类。但是我有两次信息，在超级呼叫和扩展符号中。什么是正确的ts语法来解决我的问题？

（键入脚本中的代码）

Answer 1

编辑：

问题不在于super（），而在于extensedbase。无论如何，typescript必须推断出Base的泛型类型，而不能指望typescript从调用super（）中推断出它。

起初我会建议这样做

    class Sub<T extends {options: any}> extends Base<T> {
    constructor() {
        super({options: {foo: 123}})
    }}

但是这是行不通的，因为不允许将具体实例分配给类型参数。如果我们不这么做就会成功

    class Sub<T extends {options: any}> extends Base<T> {
    constructor(arg: T) {
        super(arg)
    }}

const inst2 = new Sub({options: {foo: 123}})
inst2.options.foo++; // ok   

我认为正确的解决办法是简单地这样做

    class Sub extends Base<{options: any}> {
    constructor() {
        super({options: {foo: 123}})
    }}

然而，仍然存在一个问题。

const inst2 = new Sub();
inst2.options.foo++; //options is any which makes sense, we said that options is any above

你知道我们为什么使用泛型吗？当我们事先不知道是什么类型的时候。因为在这种情况下，我们确切地知道类型是什么，所以我们可以安全地执行以下操作：

class Sub extends Base<{ options: {foo: number} }> {
    // or even class Sub extends Base<{ options: {foo: 123} }> {
    constructor() {
        super({options: {foo: 123}});
        this.options.foo++;
    }
}

const inst2 = new Sub();
inst2.options.foo++;

这样可以吗？当然，如果我们将选项以外的内容传递给Base，就会触发警告。因此，我们满足Base的要求，同时确保传递给super（）的内容与我们所说的泛型类型一致。