前面的让一让

基本语法 变量提升：JavaScript 引擎的工作方式是，先解析代码，获取所有被声明的变量，然后再一行一行地运行。这造成的结果，就是所有的变量的声明语句，都会被提升到代码的头部，这就叫做变量提升（h

交叉类型指的是，多个类型组成的一个新类型，使用符号&表示 交叉类型A&B表示，任何一个类型必须同时属于A和B，才属于交叉类型A&B，即同时满足A和B的特征 如果变量x同时是数值和字符串，这当然是不可能

- 联合类型是指，多个类型组成的一个新类型，使用符号|表示 - 联合类型A|B表示，任何一个类型只要属于A或B，就属于联合类型A|B - 联合类型可以与值类型相结合，表示一个变量的值有若干种可能 （'

大写的Object类型代表js语言里面的广义对象，除了undefined和null不能赋值给Object，其他任何值都可以赋值给Object类型 空对象{}是Object类型的简写形式 显然，无所不包

五种原始类型：boolean、string、number、bigint、symbol的值，都有对应的包装对象，省去了将原始类型的值手动转换成对象实例的麻烦 五种原始类型分别提供了大写和小写两种类型，其

undefined和null是两个独立类型，它们各自都只有一个值 它们两个的名字即是类型也是对应的值 对于没有声明类型的变量，赋值为undefined或null，ts会推断其类型为any，这时需要打开

不可能有这样的值就是never 使用场景1，在一些类型运算之中，保证类型运算的完整性 使用场景2，不可能返回值的函数，返回类型就可以携程never 任何类型都包含了never类型，因此never类型是

为解决any类型污染其他变量的问题，ts3.0引入了unknown类型 他与any类型含义相同，便是类型不确定，可能是任意类型，但是它的使用有一些限制，不像any那样自由，可以视为严格版的any un

ts之所以引入类型检查，就是为了在编译之前就发现代码的问题，将错误从编译报错提前，ts的所有类型都围绕这一核心观念进行设计。变量的类型必须明确，变量赋值必须与类型对应。这样虽然对开发人员要求更高了，但