在 TypeScript 中，never 是一种特殊的类型，表示永远不会发生的值或类型。它通常用于表示一些绝对不可能出现的情况，例如永远不会返回的函数类型或在某些条件下绝对不会发生的值。

以下是一些关于 never 类型的情况：

1. 函数返回值为 never：

// 并不是没有返回值，而是抛出错误，因此此时用 never 比 void 更合适
function throwError(): never {
  throw new Error('error')
}
throwError()

// 死循环也可以用never
function xx():never {
  while(true) {

  }
}

这里，throwError 函数永远不会正常返回，它总是会抛出一个错误，因此其返回类型是 never。

2. 联合类型的 never：

type InvalidType = string | never;

let invalidValue: InvalidType;
invalidValue = "hello"; // 正常赋值
// invalidValue = throwError("Something went wrong"); // 报错：Type 'never' is not assignable to type 'string'.

由于 never 表示不可能的情况，因此在联合类型中，如果其中一个分支的类型是 never，那么该联合类型实际上将被缩减为其他分支的类型。

3. 条件类型中的 never：

type MyType<T> = T extends string ? string : never;

let str: MyType<number>; // 类型为 never

在条件类型中，如果条件判断为 false，则分配类型为 never。

4. 兜底判断

type a = '唱' | '跳' | 'rap' | '篮球'
function kun(value:a) {
  switch (value) {
    case '唱':
      break
    case '跳':
      break
    case 'rap':
      break
    // case '篮球':
    //   break
    default:
      // 兜底逻辑
      const error :never = value // 此时报错
      break
  }
}
kun('篮球')

用于在工作中查询类型 a 中，是否都存在 switch 中。