TS如何解决属性在另一个类型中不存在的问题？

先来看一个例子：

export interface Cat {
  coatColor: string; // 毛色
  varieties: string; // 品种
  weight: number; // 体重
  meow: () => void; // 喵喵叫
}
export interface Dog {
  coatColor: string;
  varieties: string;
  weight: number;
  bark: () => void; // 汪汪叫
}

const getAnimalInfo = isCat ? getCatInfo : getDogInfo;
const animal = await getAnimalInfo<Cat | Dog>({name: 'kangshifu'});

let call;
if(isCat){
  call = animal.meow; 
  /* 报错，提示:
	类型“Cat | Dog”上不存在属性“meow”。
	类型“Dog”上不存在属性“meow”。
  */
} else {
  call = animal.bark;
  /* 报错，提示:
	类型“Cat | Dog”上不存在属性“bark”。
	类型“Cat”上不存在属性“bark”。
  */
}

该 Demo 由真实案例改编而来

现在我们假设，只能用一个变量来保存可能来自两个不同接口返回的数据，接口返回值类型已经设定为或的关系。

从变量中取某一个类型特有的属性时，便会提示在另一个类型中不存在该属性，应该如何解决？

目前个人已知有三种常用解决方案

1. 在变量取值时进行断言

let call;
if(isCat){
  call = (animal as Cat).meow; 
} else {
  call = (animal as Dog).bark;
}

当 Cat 或 Dog 特有属性较多时，就需要加非常多的断言，会使代码显得十分不优雅

2. 借助类型守卫

什么是类型守卫？

TS 在遇到以下这些条件语句时，会在语句的块级作用域内「收紧」变量的类型，这种类型推断的行为称作类型守卫 (Type Guard)。

• 类型判断：typeof
• 实例判断：instanceof
• 属性判断：in
• 字面量相等判断：==、===、!=、!==

（这里列举常用的 4 种）
类型守卫可以帮助我们在块级作用域中获得更为精确的变量类型

这里就可以通过判断 animal 中是否存在 meow 属性，来确定变量是否为 Cat 类型的对象

let call;
if(isCat && 'meow' in animal){
  call = animal.meow; // 鼠标放到 animal 上，可以看到类型被限定为 Cat
} else if(!isCat && 'bark' in animal) {
  call = animal.bark; // animal 类型被限定为 Dog
}

个人并不是很推荐这种方式

真实的开发中，Cat 的特有属性往往有很多，不论使用哪个属性，似乎都在表示我们尝试以偏概全，至少代码看起来是这样的，就会显得十分不优雅

但不得不承认这也是一种非常好的限定类型的方法

‘meow’ 的值是 null 或 undefined 都会不影响 in 的判断，只要存在该属性均会返回 true

3. 将老变量赋值给被限定类型的新变量

let call;
if(isCat){
  const cat: Cat = animal;
  call = cat.meow;
} else {
  const dog: Dog = animal;
  call = dog.bark;
}

个人比较推荐第三种，大家也可以发表一下各自的看法，集思广益