我对TypeScript的理解就是，TypeScript是增加了类型校验的JavaScript，能够把运行期错误提升至编译期
TypeScript是什么？
TypeScript（简称：TS）是 JavaScript 的超集（JS 有的 TS 都有）。
TypeScript = Type + JavaScript（在 JS 基础之上，为 JS 添加了类型支持）。
TypeScript 是微软开发的开源编程语言，可以在任何运行 JavaScript 的地方运行。
说明：所有合法的 JS 代码都是 TS 代码，有 JS 基础只需要学习 TS 的类型即可。
安装编译 TS 的工具包
问题：为什么要安装编译 TS 的工具包？
回答：运行环境Node.js或浏览器，只认识 JS 代码，不认识 TS 代码。需要先将 TS 代码转化为 JS 代码，然后才能运行。
安装命令：npm i -g typescript。 typescript 包：用来编译 TS 代码的包，提供了 tsc 命令，实现了 TS -> JS 的转化。
验证是否安装成功：tsc -v（查看 typescript 的版本）
运行 TS 的步骤
运行方式：使用 ts-node 包，直接在 Node.js 中执行 TS 代码。
安装命令：npm i -g ts-node（ts-node 包提供了 ts-node 命令）。
使用方式：ts-node hello.ts。
解释：ts-node 命令在内部"偷偷的"将 TS -> JS，然后，再运行 JS 代码。
TypeScript 常用类型
可以将 TS 中的常用基础类型细分为两类：JS 已有类型和TS 新增类型
JS 已有类型
原始类型：number、string、boolean、null、undefined、symbol
对象类型：object（包括，数组、对象、函数等对象）
TS 新增类型
联合类型、自定义类型（类型别名）、接口、元组、字面量类型、枚举、void、any 等
简单数据类型
完全按照 JS 中类型的名称来书写即可
数组类型
两种写法，推荐使用第一种
联合类型
由两个或多个其他类型组成的类型，表示可以是这些类型中的任意一种
用 | 把可能的类型分隔开（注意不是 || ）
有括号和没有括号的区别
TypeScript
let arr: (number | string)[] //一个数组，数组元素可以是数值型或字符串型
let arr: number | string[] //一个数字或一个字符串数组类型别名
类型别名（自定义类型）：为任意类型起别名
使用场景：当同一类型（复杂）被多次使用时，可以通过类型别名，简化该类型的使用
函数类型
法一
法二
法二只适用于函数表达式
没有返回值的函数
如果函数没有返回值，那么，函数返回值类型为：void
有可选参数的函数
可选参数：在函数中，某个或多个参数可以传也可以不传
在可传可不传的参数后面加上?
**注意：**可选参数只能出现在参数列表的最后
对象类型
解释：
-
直接使用 {} 来描述对象结构。属性采用 属性名: 类型 的形式；方法采用 方法名(): 返回值类型 的形式。
-
如果方法有参数，就在方法名后面的小括号中指定参数类型（比如：greet(name: string): void）。
-
在一行代码中指定对象的多个属性类型时，使用 ;（分号）来分隔。
-
如果一行代码只指定一个属性类型（通过换行来分隔多个属性类型），可以去掉 ;（分号）。
-
方法的类型也可以使用箭头函数形式（比如：{ sayHi: () => void }）
接口
当一个对象类型被多次使用时，一般会使用接口（interface）来描述对象的类型，达到复用的目的
解释：
-
使用 interface 关键字来声明接口。
-
接口名称（比如，此处的 IPerson），可以是任意合法的变量名称。
-
声明接口后，直接使用接口名称作为变量的类型。
-
因为每一行只有一个属性类型，因此，属性类型后没有 ;（分号）
interface（接口）和 type（类型别名）的对比
相同点：都可以给对象指定类型。
不同点：接口，只能为对象指定类型。
类型别名，不仅可以为对象指定类型，实际上可以为任意类型指定别名
通过继承实现接口中公共的属性or方法的复用
解释： 1. 使用 extends（继承）关键字实现了接口 Point3D 继承 Point2D。 2. 继承后，Point3D 就有了 Point2D 的所有属性和方法（此时，Point3D 同时有 x、y、z 三个属性）。
元组
元组类型和数组很像，元组类型是另一种类型的数组，它确切地知道包含多少个元素，以及特定索引对应的类型
使用 number[] 的缺点：不严谨，因为该类型的数组中可以出现任意多个数字。
更好的方式：元组（Tuple）
该示例中，元素有两个元素，每个元素的类型都是 number
类型推论
在 TS 中，某些没有明确指出类型的地方，TS 的类型推论机制会帮助提供类型。
换句话说：由于类型推论的存在，这些地方，类型注解可以省略不写！
发生类型推论的 2 种常见场景：1、在声明变量的同时完成初始化时 2、决定函数返回值时。
推荐：能省略类型注解的地方就省略（偷懒，充分利用TS类型推论的能力，提升开发效率）。
技巧：如果不知道类型，可以通过鼠标放在变量名称上，利用 VSCode 的提示来查看类型。例如不知道js中某个内置函数的返回值类型， 直接将鼠标移到函数名上，就会自动显示函数返回值
字面量类型
通过 TS 类型推论机制，可以得到答案：
-
变量 str1 的类型为：string。
-
变量 str2 的类型为：'Hello TS'。
解释：
-
str1 是一个变量（let），它的值可以是任意字符串，所以类型为：string。
-
str2 是一个常量（const），它的值不能变化只能是 'Hello TS'，所以，它的类型为：'Hello TS'
注意：此处的 'Hello TS'，就是一个字面量类型。也就是说某个特定的字符串也可以作为 TS 中的类型。 除字符串外，任意的 JS 字面量（比如，对象、数字等）都可以作为类型使用
字面量类型配合联合类型一起使用：用来表示一组明确的可选值列表
比如，在贪吃蛇游戏中，游戏的方向的可选值只能是上、下、左、右中的任意一个
枚举
枚举的功能类似于字面量类型+联合类型组合的功能，也可以表示一组明确的可选值。
枚举：定义一组命名常量。它描述一个值，该值可以是这些命名常量中的一个
解释：
-
使用 enum 关键字定义枚举。
-
约定枚举名称、枚举中的值以大写字母开头。
-
枚举中的多个值之间通过 ,（逗号）分隔。
-
定义好枚举后，直接使用枚举名称作为类型注解
解释：通过将鼠标移入 Direction.Up，可以看到枚举成员 Up 的值为 0。
注意：枚举成员是有值的，默认为：从 0 开始自增的数值。
我们把，枚举成员的值为数字的枚举，称为：数字枚举。
当然，也可以给枚举中的成员初始化值
字符串枚举：枚举成员的值是字符串。
注意：字符串枚举没有自增长行为，因此，字符串枚举的每个成员必须有初始值
any类型
原则：不推荐使用 any！这会让 TypeScript 变为 "AnyScript"（失去 TS 类型保护的优势）。 因为当值的类型为 any 时，可以对该值进行任意操作，并且不会有代码提示
解释：以上操作都不会有任何类型错误提示，即使可能存在错误！
尽可能的避免使用 any 类型，除非临时使用 any 来"避免"书写很长、很复杂的类型！
其他隐式具有 any 类型的情况：1、声明变量不提供类型也不提供默认值 2、函数参数不加类型。
注意：因为不推荐使用 any，所以，这两种情况下都应该提供类型