TypeScript中any、unknown、never和void有什么区别?

• any:任意类型的变量

• unknown: 表示未知类型
  unknown与any类似 但使用前必须进行断言或守卫

• never:永不存在的值的类型

• void: 无任何类型，没有类型
  用于函数时，never表示函数用于执行不到返回值那一步(抛出异常或死循环)的返回值类型，
  即永不存在的值的类型。 而void则表示没有返回值，不返回或返回undefined

使用原则上

• 能不用any,就不用any声明时如果不确定具体的类型，则可以使用unknown代替，在使用时用类型断言或类型守卫进行类型收缩
• never 常用于构造条件类型来组合出更灵活的类型定义
• void 常用于表示函数没有返回值

any

any类型用于描述一个我们根本不知道类型的变量，或者说可以是任意类型的变量，不作任何约束，编译时会跳过对其的类型检查

let notSure:any

//可以被赋值任意类型
notSure = "sisterAn!"
notSure = 512
notSure = {hello:()=>'hello sisterAn!'}
// 它也兼容任何类型
let num:number = 12
notSure = num
num = notSure

unknown

// unknown表示未知类型 即写代码的时候还不知道具体会是怎么样的数据类型，是typescript3.0中引入的新类型，与any类似，所有类型都可以分配unknown类型

let notSure:unknown = "sisterAn!"
//可以被赋值任意类型
notSure = "sisterAn!"
notSure = 512
notSure = {hello:()=>'Hello,sisterAn!'}

但与any不同的是，unknown类型的变量不允许被any或unknown以外的变量赋值，也不允许执行unknown类型变量的方法

let notSure:unknown = "sisterAn"
let notSure1:unknown = "hello"
ley any1: any = 12
let num:number = 12
notSure = notSure1
notSure = any1

num = notSure

//error type 'unknown' is not assignable to type "number"

notSure.toLowerCase()
//error:Object is of type "unknown"

这种限制有很强的防御性 但如果我们要对未知类型执行某些操作 也不是没有方法

方法一:使用类型断言缩小未知范围

let notSure:unknown = "sisterAn"
console.log((notSure as string).toLowerCase());

方式二:使用类型守卫进行类型收缩

let notSure:unknown = "sisterAn"
if(typeof notSure === "string"){
    console.log((notSure as string).toLowerCase());
}
//或使用tyoeof 来缩小变量的类型

我们仅在notSure为string类型时,才执行toLowerCase方法
TypeScript编译器会理解这一点 并假设类型

never

never,永不存在的值的类型，是typescript 2.0中引入的新类型，那为什么永不存在的类型，
我们知道一旦变量声明，都会默认初始化为undefined,也不是永不存在的值，但其实有一些场景，值会
永不存在，例如，那些总会抛出异常或函数中执行无线循环的代码(死循环)的函数返回值类型

//抛出异常
function error(msg:string):never{
    throw new Error(msg)
}//抛出异常会直接中断程序运行，这样程序就运行不到返回值那一步了，即具有不可到达的终点，也就永不存在返回了

//死循环
function loopForever():never{
    while(true){}
} //同样程序永远无法运行到函数返回值那一步  即永不存在返回

变量也可以声明为never类型，因为它是永不存在的值的类型，所以任何类型都不能赋值给never类型(除了never本身之外)。
即使any也不可以赋值给never

let never1:never
//any 也不能分配给never
let any1:any = "sisterAn"
never1 = any1 //error


//作为函数返回值的never
let never2:never = (()=>{
    throw new Error("Throw error")
})()
never1 = never2

void

void 某种程度上来说正好与any相反，表示无任何类型，没有类型,
如果是函数则应没有返回值或返回undefined

function hello():void{
    console.log("hello sisterAn");
}

也可以声明一个void类型的变量 不过你只能为他赋予undefined、null(注意,“strickNullChecks”:true时会报错)和void类型的值

let void1:void
let null1:null = null
let nud1:undefined = undefined
let void2:void

void1 = void2
void1 = und1
void1 = null1 //type "null" is not assignable to type 'void'

any、unknown、never、void区别

定义

• any:用于描述任意类型的变量 不作任何约束 编译时会跳过对其的类型检查
• unknown: 表示未知类型,即写代码的时候还不知道具体会是怎么的数据类型
• never:永不存在的值的类型 常用于表示永不能执行到终点的函数返回值，例如抛出异常或函数中执行无限循环的代码的函数返回值类型
• void: 表示无任何类型，没有类型，例如没有返回值的函数的返回值类型

any与unknown的区别

unknown与any类似 但使用前必须进行类型断言或守卫

never 与void的区别

用于函数时 never表示函数用于执行不到返回值那一步(抛出异常或死循环)的返回值类型，即永不存在值的类型，
而void则表示没有返回值，不返回或返回undefined

使用

any类型导致问题太多，如类型污染，使用不存在属性或方法而不报错等，而且不方便后期维护，所以，建议能不用any就不用any,
但是如果声明时并不能确定具体的类型 则可以使用unknown代替 在使用时用类型断言或类型守卫进行类型收缩

never 类型用于表示永不存在的值的类型,所以常用于构造条件类型来组合出更灵活的类型定义

//never:从未出现的值的类型
//如果T是U的子类型的话,那么就会返回x,否则返回Y
//构造条件类型：T extends U? X:Y
type Exclude<T,U> = T extends U? never:T

//相当于：type A = "a"
type A = Exclude<'x'|'a','x'|'y'|'z'>

• void 常用于表示函数没有返回值