使用原则上
- 能不用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'>
