如何让Typescript检查器相信某个值是Javascript中的特定子类？

class Animal {
  // ...
}

class Dog extends Animal {
  // ...
}

const animal: Animal = new Dog();
const dog: Dog = <Dog>animal; // 使用尖括号语法进行类型断言
const dog: Dog = animal as Dog; // 使用as关键字进行类型断言

class Animal {
  // ...
}

class Dog extends Animal {
  // ...
}

function isDog(animal: Animal): animal is Dog {
  return animal instanceof Dog;
}

const animal: Animal = new Dog();
if (isDog(animal)) {
  // 在此作用域内，animal被认为是Dog类型
  animal.bark();
}