typescript_交叉类型和联合类型

1.1 交叉类型

interface DonInterface {
    run():void;
}
interface CatInterface {
    jump():void;
}
//这里的pet将两个类型合并,所以pet必须保护两个类型所定义的方法
let pet : DonInterface & CatInterface = {
    run:function(){},
    jump:function(){}
}

1.2 联合类型

let a : number | string = "a";
let b : "a" |  "b" | "c";
let c : 1 | 2 | 3;
b = "a";
// b = 1;报错

class Dog implements CatInterface{
    jump(){}
    run(){}
}

class Cat implements CatInterface{
    jump(){}
    eat(){}
}

enum Master { Boy , Girl};
function getPet(master : Master){
    let pet = master === Master.Boy ? new Dog() : new Cat();
    //只能访问公有方法
    pet.jump();
    return pet;
}

1.3 可区分的联合类型
结合了联合类型和字面量类型的方法
核心思想,一个类型如果是多个类型的联合类型,并且每个类型都有一个公共的属性,那么我们可以拼接这个公共的属性,创建类型的保护区块

interface Square {
    kind : "square";
    size : number;
}
interface Reactngle {
    kind : "reactngle";
    width:number;
    height:number;
}

type Shape = Square | Reactngle | Circle;
function area(s:Shape){
    switch (s.kind) {
        case "square" :
            return s.size * s.size;
            break;
        case "reactngle" :
            return s.width * s.height;
            break;
    }
}

此时我们将代码升级,模拟场景,后续可能会新增一个类型

interface Circle {
    kind : "circle";
    r : number;
}

但是有个问题,当我们使用这个函数时,传入了Circle类型的参数,会返回undefined
如果避免这种问题呢,让编译器可以提前识别出错误
可以给这个函数取一个返回值
可以给这个函数中定义一个default,这样可以限定,每次我定义一个新的类型,就要加一个case
原理是, 当我们定义了新的类型时, 且加入到type中去, 传入的参数s如果不是never类型,那证明前面的case有遗漏,进行报错提醒
只有当type不存在的类型时, 传入的参数会进行err抛出报错

/**
 * default :
 return ( (e : never )　=> { throw new Error(e)} )(s)
 * */

修改过后的代码

interface Square {
    kind : "square";
    size : number;
}
interface Reactngle {
    kind : "reactngle";
    width:number;
    height:number;
}

type Shape = Square | Reactngle | Circle;
function area(s:Shape){
    switch (s.kind) {
        case "square" :
            return s.size * s.size;
            break;
        case "reactngle" :
            return s.width * s.height;
            break;
            default :
                return ( (e : never )　=> { throw new Error(e)} )(s)