修复TypeScript多线程库中TS2367枚举比较无重叠错误

问题根源 #

你在Thread.execute()里先把#state设为State.RUNNING，之后调用的#waitForThrottleSuccess会把它改成State.INTERRUPTED，但TypeScript静态类型推断没法追踪私有方法对私有属性的修改，所以它认定#state只能是State.RUNNING，后续的相等比较就触发了类型不兼容的错误。

可行修复方案 #

方案1：显式声明私有属性类型 #

直接在类里把#state的类型声明为完整的State枚举，不让TypeScript自动推断成单一枚举值：

enum State {
  RUNNING,
  INTERRUPTED,
  // 其他枚举成员
}

class Thread {
  #state: State; // 显式指定为整个State枚举类型

  execute() {
    this.#state = State.RUNNING;
    this.#waitForThrottleSuccess();
    if (this.#state === State.INTERRUPTED) {
      // 你的业务逻辑
    }
  }

  #waitForThrottleSuccess() {
    // 这里修改状态为INTERRUPTED
    this.#state = State.INTERRUPTED;
  }
}

方案2：使用类型断言临时绕过检查 #

如果不想改属性声明，在比较时用类型断言告诉TypeScript#state可能是其他枚举值：

if ((this.#state as State) === State.INTERRUPTED) {
  // 你的业务逻辑
}

方案3：让私有方法返回状态变更标记 #

修改#waitForThrottleSuccess，让它返回是否触发了状态变更，这样TypeScript能准确追踪状态变化：

execute() {
  this.#state = State.RUNNING;
  const interrupted = this.#waitForThrottleSuccess();
  if (interrupted) {
    // 你的业务逻辑
  }
}

#waitForThrottleSuccess(): boolean {
  const needInterrupt = /* 你的判断逻辑 */;
  if (needInterrupt) {
    this.#state = State.INTERRUPTED;
    return true;
  }
  return false;
}

方案推荐 #

• 优先用方案1：从根源解决类型推断问题，符合TypeScript的类型设计，代码可读性和安全性最高。
• 方案2适合临时快速修复，但长期用可能削弱类型检查的作用。
• 方案3适合需要明确知道状态是否变更的场景，同时能让类型推断更精准。

内容的提问来源于stack exchange，提问作者A4tur