开启掘金成长之旅！这是我参与「掘金日新计划 · 12 月更文挑战」的第10天，点击查看活动详情

一. never

never 类型是 TypeScript 中的底层类型。它在以下情况中很好的被使用：

一个从来不会有返回值的函数,即死循环（如：如果函数内含有 while(true) {}）；
一个总是会抛出错误的函数（如：function foo() { throw new Error('Not Implemented') }，foo 的返回类型是 never）；

 function foo(): never {  //永远不会返回结果
   // 死循环
   while(true) {

  }
 }

function bar(): never {
  throw new Error()
 }

never 仅能被赋值给另外一个 never 类型，因此可以用它来进行编译时的全面的检查

举例：

function foo(x: string | number): boolean {
  if (typeof x === 'string') {
    return true;
  } else if (typeof x === 'number') {
    return false;
  }

  // 如果不是一个 never 类型，这会报错：
  // - 不是所有条件都有返回值 （严格模式下）
  // - 或者检查到无法访问的代码
  // 但是由于 TypeScript 理解 `fail` 函数返回为 `never` 类型
  // 它可以让你调用它，因为你可能会在运行时用它来做安全或者详细的检查。
  return fail('Unexhaustive');
}

function fail(message: string): never {
  throw new Error(message);
}

二. void(空值)

JavaScript 没有空值（void）的概念，在 TypeScript 中，表示没有任何返回值的函数

// 没有返回值的函数，其返回值类型为 void
function alertName(): void { alert('My name is Tom'); }

当然你也可以声明一个变量为void ,但你只能将它赋值为 undefined 和 null:

let unusable: void = undefined;

void函数中使用场景：

// 如果什么都不写，此时，add 函数的返回值类型为： void
const add = () => {
     //
}

// 如果return之后什么都不写，此时，add 函数的返回值类型为： void
const add = () => { 
     return 
}

const add = (): void => {
  // 此处，返回的 undefined 是 JS 中的一个值
  return undefined
}
// 这种写法是明确指定函数返回值类型为 void，与上面不指定返回值类型相同
const add = (): void => {
    // 
}

三. unknown

unknown是TypeScript中比较特殊的一种类型，它用于描述类型不确定的变量。这与any类型相似，但更安全，因为对未知值做任何事情都是不合法的。

function foo() {
  return 'abc'
}

function bar() {
  return 123
}

// unknown类型只能赋值给any和unknown类型
// any类型可以赋值给任意类型

let flag = true
let result: unknown // 最好不要使用any
if (flag) {
  result = foo()
} else {
  result = bar()
}

let message: string = result //报错
let num: number = result //报错
let num1: unknown = result
let num2: any = result

console.log(result)

需要通过类型范围缩小或类型断言，才能在 unknown 类型上进行任何操作

举例：

let value: unknown = 123;

console.log(++value )//error:'value' is of type 'unknown'.

console.log(++(value as number) )

unknown 除了与 any 以外, 与其它任何类型组成的联合类型最后都是 unknown 类型

举例：

unknown 与其它任何类型组成的交叉类型最后都是其它类型

举例：

当然还有一些别的unkonw特性比如：

只能对 unknown 类型进行 相等 或 不等 操作, 不能进行其它操作；
unknown 类型的值不能访问创建实例的属性, 方法；
使用映射类型时, 如果遍历的是 unknown 类型, 那么不会映射任何属性；

以上可点击www.likecs.com/show-306158… 进行学习。

四. never与void的区别

void 表示没有任何类型，never 表示永远不存在的值的类型。
当一个函数返回空值时，它的返回值为 void 类型，但是，当一个函数永不返回时（或者总是抛出错误），它的返回值为 never 类型。void 类型可以被赋值（在 strictNullChecking 为 false 时），但是除了never 本身以外，其他任何类型不能赋值给 never。

五. 其他注意事项

unknown,never 都不允许执行变量的方法以及访问内部属性;

never是所有类型的子类型;

TS 中 never,void,unknown类型详解

一. never

二. void(空值)

三. unknown

四. never与void的区别

五. 其他注意事项