TS中的void、never、any、unknow类型

一、void

表示没有任何类型

// 没有返回值的函数，其返回值类型为 void
function warnUser(): void {
    console.log("void");
}

// 申明为 void 类型的变量，只能赋予 undefined 和 null
let unusable: void = undefined;

可以用到void 有以下几种情况

• 函数没写return
• 只写了 return， 没有具体的返回值
• return 的是 undefined

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

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

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

二、never

永远不会出现的值的类型（或永远不会发生的类型）
应用场景？？？（暂时没找到）

// 1
let fn = () => {
  // 手动通过 throw 抛出一个异常（错误）
  throw new Error('err...')
}
let n = fn() // n => never

// 2
let fn = () => {
  while (true) {}
}
let n = fn() // n => never

// 3
const num = 123
if (num !== 123) {
  let n = num // n => never
}

三、any

对于 any 类型来说，TS 不会对其进行类型检查

// 可以进行任意操作，没有安全可言
let value: any
value = true
value = 1
value.length

注意：
any 不属于 TS 类型系统重，所以，只要使用了 any 类型，就相当于逃离了 TS 类型系统的约束了，也就没有类型安全可言了

四、unknown

let value: unknown
value = 'abc'

// 先转化为具体类型再使用
(value as string).length

// 先判断是 string 类型，再使用
if (typeof value === 'string') {
  // value => string
  value.length
}

unknown 处于 TS 类型系统的最顶层

• 理解：unknown 处于最顶层，相当于任意类型的父类型（任意类型的父亲），所以，可以将任意类型赋值给它（其他任意类型都是它儿子）
• 特点：unknown 类型可以接受任意类型，但是无法赋值给其他类型

五、never和unknown对比

// 父级类型 = 子级类型

// unknown 是最顶级类型，是所有其他类型的“父亲”【出现在等号（=）左侧】
let u: unknown
u = 1
u = 'a'
u = [1, 3, 5]
// 错误：
// let a: number = u

// ---

// never 是最底层类型，是所有其他类型的“儿子”【出现在等号（=）右侧】
let fn = () => {
  throw new Error('err...')
}
let n: never = fn() // n => never
let a: number = 1
a = n
// 错误：
n = a

// ---
let s1: 'abc' = 'abc'
let s2: string

s2 = s1