【TypeScript】类型判断*联合类型

在TypeScript中，我们可以使用typeof运算符来判断一个变量的类型是否属于某个特定的联合类型。

例如，假设我们有一个联合类型Person | Dog，我们可以使用typeof来判断一个变量是否是Person类型或者Dog类型。

type Person = {
  name: string;
  age: number;
};
 
type Dog = {
  name: string;
  breed: string;
};
 
function isPerson(input: Person | Dog): input is Person {
  return (input as Person).age !== undefined;
}
 
function checkType(input: Person | Dog) {
  if (isPerson(input)) {
    console.log(input.age); // 这里 TypeScript 知道 input 是 Person 类型
  } else {
    console.log(input.breed); // 这里 TypeScript 知道 input 是 Dog 类型
  }
}
 
const person: Person = { name: 'Alice', age: 30 };
const dog: Dog = { name: 'Rex', breed: 'Border Collie' };
 
checkType(person); // 输出 age
checkType(dog); // 输出 breed

在上面的例子中，isPerson函数通过使用input is Person来声明，当输入参数符合Person类型时，它会返回true。在checkType函数中，当我们调用isPerson来判断变量类型后，TypeScript 会相应地缩小变量的类型范围。这样我们就可以在条件语句块中安全地使用Person或Dog的属性。