typescript - 有没有办法通过检查函数来实现类型缩小？

Question

class A {}
class B extends A {
  bb() { ... }
}

function isB(obj: A) {
  return obj instanceof B;
}

const x: A = new B(); // x has type A
if (isB(x)) {
  x.bb(); // can I get x to have type B?
}

我知道，如果我有x instanceof B这种情况，它会起作用。但是我可以通过isB()吗？

Answer 1

Typescript 通过特殊的返回类型支持这一点，X is A. 您可以在他们关于用户定义类型保护的部分了解更多信息。

对于您的示例，您可以这样输入：

class A {}
class B extends A {
  bb() { ... }
}

function isB(obj: A): obj is B { // <-- note the return type here
  return obj instanceof B;
}

const x: A = new B(); // x has type A
if (isB(x)) {
  x.bb(); // x is now narrowed to type B
}