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
}