类型检查机制: TS编译器在做类型检查时,所秉承的一些原则,以及表现出的一些行为。 作用:辅助开发,提高开发效率 类型推断 不需要指定变量的类型(函数的返回值类型),TS可以根据某些规则自动的为其推断出一个类型 基础类型推断 let aa; //自动推断为any类型 let s=1; //推断为number类型 let ms=[]; //推断为以any类型为元素的数组类型 let sd=[1]; //推断为number类型的数组 //设置函数默认参数的时候 let c=(x=1)=>{} //x被推断为number类型 //函数返回值 let m=(y=1)=>y+1 //m