一 表示一个值可以是几种类型之一：联合类型
在TS中我们常会遇到这样一个问题。
一个变量，即可能是这种类型，也可能是那种类型，然后根据传入的类型的不同进行不同的操作。
比如下面这种情况：
if (pet.name === 'fish') {
pet.swim();
}
else {
pet.fly();
}
这里的pet可能具有两种类型：
interface Fist = {
name: string;
swim: (): void
}
interface Brid = {
name: string;
fly: (): void
}
表示一个值可以是几种类型之一。 我们用竖线（ |）分隔每个类型，所以 number | string | boolean表示一个值可以是 number， string，或 boolean。
在这里，让pet可能具有两种类型，我们如下书写：
pet: Fish | Bird
但是我们发现，这时候我们不能直接使用pet.swim了pet.fly属性了。
使用pet.swim时，编译器提示类型Brid中不包含此属性。
而使用pet.fly时，编译器提示类型Fist中不包含此属性。
当一个变量为联合类型时，它无法直接访问联合类型中的非公共属性。因为它的类型不确定。
如果ts可以在运行时确定pet的具体属于哪个类型，就可以解决这个问题了。
这就出现下一个问题：如何在ts中，判断联合类型变量的具体类型？
二 如何判断联合类型变量的具体类型：类型保护
2.1 自定义类型保护
可以自己写一个自定义函数，用来判断变量的类型，这个函数返回一个布尔值。
返回值类型中使用 参数 is 类型 做定义。
当返回值为true时，任务参数 is 类型成立，否则不成立。
function isFish(pet: Fish | Bird): pet is Fish {
return (<Fish>pet).swim !== undefined;
}
上面代码中记录了一个自定义函数isFish，返回值类型为 pet is Fish ，也就是说当返回值为true时，ts认为pet是Fish类型，否则是Bird类型。
自定义函数的使用方式如下：
if (isFish(pet)) {
pet.swim();
}
else {
pet.fly();
}
2.2 type
基础类型还可以使用type来进行类型判断。
当type判断变量为"number"， “string”， "boolean"或 "symbol"类型时，接下来的代码中该变量将被视为相关类型。
注意如果type判断变量为除四种外的其他类型，ts将无法识别，也就是该变量仍然被视为原有类型不变。
const a: number | string = 'abc'
const b = a.length // 报错
if(type a === string) {
const b = a.length // ok
}
2.3 instanceof类型保护
用法和js相同，用来判断构造函数。
2.4 剔除null与undefined
变量在未赋值时可能为null或undefined，这很常见。
但是在使用时就会报错，undefined上不包含该属性。
也就是变量类型为包含null/undefined的联合类型。
当一个变量的联合类型中含有null，可以直接通过判断去掉。
function f(sn: string | null): string {
if (sn == null) {
return "default";
}
else {
return sn;
}
}
为一个变量剔除null和undefined选项，也可以通过!进行快捷断言。
name!.charAt(0)
大家懂了吗！
、