any、unknown、never的区别

any VS unknown

二者都是顶级类型（top type），任何类型的值都可以赋值给顶级类型变量。

let foo: any = 123  // 不报错
let bar: unknown = 123 // 不报错

但是 unknown 比 any 的类型检查更严格，any 什么检查都不做，unknown 要求先收窄类型：

const value: unknown = "Hello World!"
const str: string = value;
// 报错： Type 'unknown' is not assignable to type 'string'.(2322)

const value: unknown = "Hello World!"
const str: string = value as string; // 不报错

const value: any = "Hello World!"
const str: string = value as string; // 不报错

never

never 是底类型，所以never 类型可以被赋值给任何类型，但所有类型都不能赋值给 never 类型。表示不应该出现的类型。我们看下面的示例：

interface A {
  type: 'a'
}

interface B {
  type: 'b'
}

type All = A | B

function handleValue(val: All) {
  switch (val.type) {
    case 'a':
      // 这里 val 被收窄为 A
      break
    case 'b':
      // val 在这里是 B
      break
    default:
      // val 在这里是 never
      const exhaustiveCheck: never = val
      break
  }
}

如上所示，当我们在default后为val赋值，就会报错。所以当出现never时，我们就不要对该值进行赋值操作了。