Typescript 如何使用属性作为具有Generics的TypScript类中的类型守护

目前这是不可能的; TypScript不会直接修改generic types(例如UN)来响应判断通用values(例如this.useNumber). 换句话说，TypScript不能使用control flow analysis来影响通用类型参数. 在microsoft/TypeScript#33014处有一个开放功能请求来支持这一点，甚至可能很快就会实现(在TypScript 5.5路由图中的microsoft/TypeScript#57475处提到了这一点)，但目前它还不能以这种方式工作.

因此，在this.useNumber ? this.b(input) : this.a(input)中，虽然useNumber在真分支中是true，在假分支中是false，但UN顽固地保持不变，不能被限制为true或false.所以I仍然悬而未决，而且不起作用.

到目前为止，最简单的修复方法是使用type assertions或类似的方法来推动通过.

如果您想说服TypScript遵循该逻辑，您主要必须证明this是discriminated union，其中useNumber是区分式.也许是这样的:

c(
  this: { useNumber: true, b(input: X<UN>): number } | 
        { useNumber: false, a(input: X<UN>): string },
  input: X<UN>) {
  const result = this.useNumber ? this.b(input) : this.a(input);
  return result.toString();
}

我使用this parameter来告诉编译器，c方法只能用于指定的区分联合类型的实例. 一旦UN被指定为true或false，编译器确实可以验证这一点，因此以下调用有效:

const n = new A(true);
n.c(3); // okay

const s = new A(false);
s.c("abc"); // okay

这很有效，但它根本不是惯用的TypScript.它正在与语言作斗争.阶级声明不能被歧视unions .对类进行此操作的更惯用的方法是使用继承进行多态性，并在需要时创建子类的联合:

abstract class ABase {
  a(input: string): string {
    return `${input}j`;
  }

  b(input: number): number {
    return input * 2;
  }
}

class ATrue extends ABase {
  readonly useNumber = true;
  c(input: number) {
    return this.b(input).toString();
  }
}

class AFalse extends ABase {
  readonly useNumber = false;
  c(input: string) {
    return this.a(input).toString();
  }
}

type A = ATrue | AFalse;

let a: A;

a = new ATrue();
a.c(3); // okay

a = new AFalse();
a.c("abc"); // okay

因此，这取决于您想要如何继续进行的用例.如果您需要将此行为表示为单个类，那么您要么需要跳过奇怪的问题，要么只需使用类型断言.

Playground link to code