开启AdminJS成长之旅！这是我参与「AdminJS · 12 月更文挑战」的第7天，点击查看活动详情
这是我彻底掌握 TypeScript 的第七篇，这次我们主要分享 TypeScript 中的类型检查机制。
类型检查机制是指 TypeScript 在做类型检查时所秉承的一些原则，以及表现出的一些行为，理解类型检查机制能够辅助我们日常开发，提升开发效率。
点击下面链接可以查看之前文章。
往期文章：
这一次，彻底掌握TypeScript（一）基本类型&语法
这一次，彻底掌握TypeScript（二）接口与类
这一次，彻底掌握TypeScript（三）断言与类型别名
这一次，彻底掌握TypeScript（四）函数
这一次，彻底掌握TypeScript（五）泛型
这一次，彻底掌握TypeScript（六）装饰器及相关应
TypeScript 的类型检查机制主要包括如下三个部分：
- 类型推断
- 类型兼容性
- 类型保护
一、类型推断
类型推断指的是有时候我们不需要指定变量的类型（函数的返回值类型），TypeScript可以根据某些规则自动地为其推断出某些类型，类型推断主要分为如下三部分内容：
- 基础类型推断
- 最佳通用类型推断
- 上下文类型推断
1、基础类型推断
基础类型推断也是TypeScript出现最普遍的类型推断，通常发生在以下场景：初始化变量、设置函数默认参数、确定函数返回值，举个