ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

any、unknown 和 never 有什么区别

2022-01-21 15:35:05  阅读:239  来源: 互联网

标签:Bar val unknown never type any


any

我们把对象设置为 any,编译时正常,运行时才会抛出异常

let v: any = 22
v = new Array()
v = "33"
v.push(33)
console.log(v);

为了避免写 any 运行时异常,unknown出场

unknown

let v: unknown = 22
v = new Array()
v.push(33) // Object is of type 'unknown'
console.log(v);

编译器并不能推断 unknown 类型,需要做类型判断

let v: unknown = 22
v = new Array()
if (v instanceof Array) {
     v.push(33)
}
console.log(v);

never

在穷尽的时候使用

借尤大的例子

intererface Foo {
  type: 'foo'
}

interface Bar {
  type: 'bar'
}

type All = Foo | Bar

在 switch 当中判断 type,TS 是可以收窄类型的 (discriminated union):

function handleValue(val: All) {
  switch (val.type) {
    case 'foo':
      // 这里 val 被收窄为 Foo
      break
    case 'bar':
      // val 在这里是 Bar
      break
    default:
      // val 在这里是 never
      const exhaustiveCheck: never = val
      break
  }
}

注意在 default 里面我们把被收窄为 never 的 val 赋值给一个显式声明为 never 的变量。
如果一切逻辑正确,那么这里应该能够编译通过。
但是假如后来有一天你的同事改了 All 的类型:

type All = Foo | Bar | Baz

然而他忘记了在 handleValue 里面加上针对 Baz 的处理逻辑,这个时候在 default branch 里面 val 会被收窄为 Baz,导致无法赋值给 never,产生一个编译错误。
所以通过这个办法,你可以确保 handleValue 总是穷尽 (exhaust) 了所有 All 的可能类型。

标签:Bar,val,unknown,never,type,any
来源: https://www.cnblogs.com/yujiaming890321/p/15830388.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有