交叉类型（intersection types）指的多个类型组成的一个新类型，使用 符号& 表示。交叉类型 A&B 表示，任何一个类型必须同时属于 A和B，才属于交叉类型 A&B，即 交叉类型同时满足 A和B 的特征

    交叉类型（与） - 图1

    上面示例中，变量 x 同时是数值和字符串，这当然是不可能的，所以 TypeScript 会认为 x 的类型实际是 never

    • 交叉类型的主要用途是表示对象的合成

    交叉类型（与） - 图2

    • 交叉类型常常用来为对象类型添加新属性

    交叉类型（与） - 图3