判断类型兼容性的方式
使用条件类型来判断类型兼容性: type Result = 'linbudu' extends string ? 1 : 2;
通过赋值来进行兼容性检查（比较少用）
类型层级比较有两个维度
- 类型信息
- 类型系统
由于结构化类型系统这一特性的存在，我们能得到一些看起来矛盾的结论：
type Result16 = {
} extends object ? 1 : 2; // 1
type Result18 = object extends {
} ? 1 : 2; // 1
type Result17 = object extends Object ? 1 : 2; // 1
type Result20 = Object extends object ? 1 : 2; // 1
type Result19 = Object extends {
} ? 1 : 2; // 1
type Result21 = {
} extends Object ? 1 : 2; // 1
这里的 {} extends 和 extends {} 实际上是两种完全不同的比较方式。
{} extends object 和 {} extends Object 意味着， {} 是 object 和 Object 的字面量类型，是从类型信息的层面出发的，即字面量类型在基础类型之上提供了更详细的类型信息。
object extends {} 和 Object extends {} 则是从结构化类型系统的比较出发的，即 {} 作为一个一无所有的空对象，几乎可以被视作是所有类型的基类，万物的起源。
而 object extends Object 和 Object extends object 这两者的情况就要特殊一些，它们是因为“系统设定”的问题，Object 包含了所有除 Top Type 以外的类型（基础类型、函数类型等），object 包含了所有非原始类型的类型，即数组、对象与函数类型，这就导致了你中有我、我中有你的神奇现象。
