14、never类型

皇子_2344

已于 2023-06-06 13:48:33 修改

阅读量178

点赞数

CC 4.0 BY-SA版权

分类专栏： TS 文章标签： typescript

于 2023-04-03 18:00:18 首次发布

本文链接：https://blog.csdn.net/hz_2344/article/details/129935755

TS 专栏收录该内容

18 篇文章

订阅专栏

本文介绍了TypeScript中的never类型，它表示永远不会出现的值，常用于表示抛出错误或无限循环的函数返回值。在函数fn()和fn1()中，通过throw和死循环展示了never类型的使用。在fn2()函数的switch语句中，never作为默认情况的类型，用于捕获未被匹配的值，确保类型安全。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、never 表示不存在状态，无法表示预期的状态

type A1 = string & number // type A = never 推论为never类型
function fn(): never { // 可以使用void，但是never更合理（虽然没有返回值，但是此函数执行就报错）
  throw new Error('执行就报错')
}
function fn1(): never { // never更合理（虽然没有返回值，但是此函数里面是死循环）
  while (true) {
    // 死循环
  }
}

2、忽略never(太低级，会被忽略)

type Aa = 'a' | 'b' | 'c' | 'd'
function fn2(val: Aa) {
  switch (val) {
    case 'a':
      break
    case 'b':
      break
    case 'c':
      break
    case 'd': // 新加的 'd'，不然兜底会提示报错
      break
    default:
      // never一般用在兜底逻辑中
      const error: never = val
      break
  }
}