-
JavaScript 的一个超集，而且本质上向这个语言添加了可选的静态类型和基于类的面向对象编程。
-
通过观察数字枚举和字符串枚举的编译结果，我们可以知道数字枚举除了支持 从成员名称到成员值 的普通映射之外，它还支持 从成员值到成员名称 的反向映射。
-
对于纯字符串枚举，我们不能省略任何初始化程序。而数字枚举如果没有显式设置值时，则会使用默认规则进行初始化。
-
常量枚举会使用内联语法，不会为枚举类型编译生成任何 JavaScript。
-
在 TypeScript 中，任何类型都可以被归为 any 类型。这让 any 类型成为了类型系统的顶级类型（也被称作全局超级类型）。
-
如果我们使用
any类型，就无法使用 TypeScript 提供的大量的保护机制。为了解决any带来的问题，TypeScript 3.0 引入了unknown类型。 -
就像所有类型都可以赋值给
any，所有类型也都可以赋值给unknown。这使得unknown成为 TypeScript 类型系统的另一种顶级类型（另一种是any）。 -
unknown类型只能被赋值给any类型和unknown类型本身。直观地说，这是有道理的：只有能够保存任意类型值的容器才能保存unknown类型的值。毕竟我们不知道变量value中存储了什么类型的值。 -
将
value变量类型设置为unknown后，这些操作都不再被认为是类型正确的。通过将any类型改变为unknown类型，我们已将允许所有更改的默认设置，更改为禁止任何更改。 -
在 JavaScript 中是没有元组的，元组是 TypeScript 中特有的类型，其工作方式类似于数组。
-
某种程度上来说，void 类型像是与 any 类型相反，它表示没有任何类型。
-
声明一个 void 类型的变量没有什么作用，因为在严格模式下，它的值只能为
undefined。 -
object 类型是：TypeScript 2.2 引入的新类型，它用于表示非原始类型。
-
{} 类型描述了一个没有成员的对象。当你试图访问这样一个对象的任意属性时，TypeScript 会产生一个编译时错误。
-
never类型表示的是那些永不存在的值的类型。 例如，never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型。 -
使用 never 避免出现新增了联合类型没有对应的实现，目的就是写出类型绝对安全的代码。
-
**通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。类型断言好比其他语言里的类型转换，但是不进行特殊的数据检查和解构。它没有运行时的影响，只是在编译阶段起作用。
** -
**具体而言，x! 将从 x 值域中排除 null 和 undefined 。
** -
****因为
!非空断言操作符会从编译生成的 JavaScript 代码中移除，所以在实际使用的过程中，要特别注意。
-
****在 TypeScript 2.7 版本中引入了确定赋值断言，即允许在实例属性和变量声明后面放置一个
!号，从而告诉 TypeScript 该属性会被明确地赋值。
-
****类型保护是可执行运行时检查的一种表达式，用于确保该类型在一定的范围内。
