第 224 题：TypeScript 中的 never 类型具体有什么用？

Question

在TS中，有一个很特殊的类型，就是 never，never 只能在两种情况下使用

函数永远不会有返回值时

例如 while(true){} 函数

const [n,setN] = React.useState<number>(1)
const add: ()=>never = () => {
  while(true){ setN(i=>i+1) }
}

函数永远会抛出一个错误时

const fn: ()=>never = () => {
  throw new Error('error')
}

与 void 的差异

void 和 never 都是表示一个函数没有返回值，但是他们之间最大的区别是，void 表示可以被赋值的类型，never表示其他任何类型也不能被赋值给它，它只能是 never。

Answer 1

在“类型体操”中，never 一般用作于对联合类型的过滤或删除操作:

// 内置类型方法 Exclude
type Exclude<T, U> = T extends U ? never : T

type Test = Exclude<'a' | 'b' | 'c', 'b'> // 'a' | 'c'

type A = 'a' | never // 'a'

Answer 2

never的作用是可以确保条件收窄不会遗漏，如有遗漏会出现类型报错

Answer 3

举个具体点的例子，当你有一个 union type:

interface 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 的可能类型。

引用链接：https://www.zhihu.com/question/354601204/answer/888551021