ts笔记-辨析联合类型

如果一个类型是多个类型的联合类型,且多个类型含有一个公共属性,那么就可以利用这个公共属性,来创建不同的类型保护区块。这个公共属性称为辨识属性,这种类型称为辨析联合类型。

// 示例
interface Square {
  kind: 'square';
  size: number;
}

interface Rectangle {
  kind: 'rectangle';
  width: number;
  height: number;
}

type Shape = Square | Rectangle;

求面积

function area(s: Shape) {
  switch (s.kind) {
    case 'square':
      return s.size * s.size;
    case 'rectangle':
      return s.width * s.height;
  }
}

area用于求面积,但是如果联合类型添加了其他类型,area函数没有定义成处理这种类型的方法,就会导致bug参数。

interface Square {
  kind: 'square';
  size: number;
}

interface Rectangle {
  kind: 'rectangle';
  width: number;  
  height: number;
}

interface Circle {
  kind: 'circle';
  radius: number;
}


type Shape = Square | Rectangle | Circle;

function area(s: Shape) {
  switch (s.kind) {
    case 'square':
      return s.size * s.size;
    case 'rectangle':
      return s.width * s.height;
  }
}

// 编译通过,有隐藏的bug
area({
  kind: 'circle',
  radius: 1
})

为了避免这种潜在bug的出现,我们可以定义一个default情况

// 当Shape增加了新类型,但是area函数没有处理这种类型,编译直接报错
// 比如新增了Circle类型,不能将类型“Circle”分配给类型“never”
function area(s: Shape) {
  switch (s.kind) {
    case 'square':
      return s.size * s.size;
    case 'rectangle':
      return s.width * s.height;
    default:
      const invalidKind: never = s
      throw new Error(`Unknown ${invalidKind}`)
  }
}
上一篇:SAP 电商云 Spartacus UI 的双重 layout 配置层设计


下一篇:ts 函数的类型