Typescript中的实用类型是一些预定义的泛型类型，可用于操作或创建其他新类型。这些类型在所有Typescript项目中都是全局可用的，因此您不需要添加任何依赖项即可实现这些功能。
如果是手动写的声明文件，那么需要满足以下条件之一，才能被正确的识别：给 package.json 中的 types 或 typings 字段指定一个类型声明文件地址。或在项目根目录下，编写一个 index.d.ts 文件。或针对入口文件（package.json 中的 main 字段指定的入口文件），编写一个同名不同后缀的 .d.ts 文件
js源码本身就是由ts写的，那么在使用tsc脚本将ts编译为js的时候，给tsconfig.json添加declaration选项，就可以同时也生成 .d.ts 声明文件了。我们可以在命令行中添加 --declaration（简写 -d），或者在 tsconfig.json 中添加 declaration 选项。
keyof索引类型操作符。对于任何类型T，keyof T的结果为T上已知的公共属性名的联合。
TS是静态类型的语言，未定义的属性直接调用会报错。
在TypeScript中typeof 操作符可以用来获取一个变量或对象的类型。
用abstract关键字定义抽象类和抽象方法，抽象类中的抽象方法不包含具体实现并且必须在派生类(抽象类的子类)中实现
抽象类：它是提供其他类继承的基类，不能直接被实例化，子类继承可以被实例化
abstract修饰的方法(抽象方法)只能放在抽象类里面
类可以实现（implement）接口。通过接口，你可以强制地指明类遵守某个契约。你可以在接口中声明一个方法，然后要求类去具体实现它。
「接口不可以被实例化，实现接口必须重写接口中的抽象方法」
TypeScript中高级类型含有交叉类型（&）、联合类型（|）、类型别名（type）、类型索引（keyof）、类型约束（extends）、类型映射（in）、条件类型（U ? X : Y）等
泛型是强类型语言中比较重要的一个概念，合理的使用泛型可以提升代码的可复用性，让系统更加灵活。
泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。
常用工具泛型有Partial可选、Required必选、Record、Pick、Exclude、Omit
