typescript - 基于 typescript 中的构造函数参数重载类属性

Question

在我们的代码库中，我们相当广泛地使用导航器和构建器模式来抽象出组装分层对象。其核心是一个 Navigator我们用来遍历不同类的类。我目前正在尝试将其迁移到 typescript ，但正在努力打字以利用 typescript 的力量。

我认为我的问题的核心是我不能使用 this作为类上泛型的默认值，例如class Something<T = this> ，或者我不能重载类以某种方式有条件地设置类属性的类型。您能否提供有关我如何输入 Navigator 的任何见解？ (和构建器类)在下面？

// I guess what I'd like to do is
// class Navigator<BackT = this> but that's not allowed
class Navigator<BackT> {
  // It's this 'back' type I'll like to define more specifically
  // i.e. if back is passed to the constructor then it should be 'BackT'
  //      if back is not passed to the constructor or is undefined, it 
  //      should be 'this'
  back: BackT | this; 

  constructor(back?: BackT)  {
    this.back = back || this;
  }
}

class Builder1<BackT> extends Navigator<BackT> {
  builder1DoSomething() {
    // Do some work here
    return this;
  }
}

class Builder2<BackT> extends Navigator<BackT> {
  withBuilder1() {
    return new Builder1(this);

    // Also tried the following, but I got the same error:
    // return new Builder1<this>(this);
  }

  builder2DoSomething() {
    // Do some work here
    return this;
  }
}

// This is fine
new Builder1().builder1DoSomething().builder1DoSomething();

new Builder2()
  .withBuilder1()
  .builder1DoSomething()
  // I get an error here becuase my types are not specific enough to
  // let the complier know 'back' has taken me out of 'Builder1' and
  // back to 'Builder2'
  .back.builder2DoSomething();

playground link

Answer 1

如果没有向类提供类型参数，您可以在 back 字段上使用条件类型将其键入为 this。我们将使用 void 类型作为默认类型来表示缺少类型参数:

class MyNavigator<BackT = void> {
  back: BackT extends void ? this : BackT; // Conditional type 

  constructor(back?: BackT)  {
    this.back = (back || this) as any;
  }
}

class Builder1<BackT = void> extends MyNavigator<BackT> {
  builder1DoSomething() {
    return this;
  }
}

class Builder2<BackT = void> extends MyNavigator<BackT> {
  withBuilder1() {
    return new Builder1(this);
  }
  builder2DoSomething() {
    return this;
  }
}

new Builder2()
  .withBuilder1()
  .builder1DoSomething()
  // ok now
  .back.builder2DoSomething();