Intersection types are a concept in type systems.

序一：原本计划撰写一篇题为“浅谈 Intersection Types 和 Union Types”的文章，但考虑到前一部分内容篇幅已较为冗长，最终决定将其精简为“浅谈 Intersection Types”，而关于 Union Types 的部分则留待后续再行探讨。

序二：事实上，网络上已有不少介绍 intersection types（以及 union types）的相关文章，其中多数以 TypeScript 作为主要语言环境进行阐述。然而这些文章大多侧重于介绍这两种类型在 TypeScript 中的具体应用方式，对于更广泛的背景知识涉及较少。因此，本文的写作目的正是为了补充这一方面的空白。

本文在撰写过程中大量借鉴了《Programming with Intersection Types and Bounded Polymorphism》[1] 与《Row and Bounded Polymorphism via Disjoint Polymorphism》[2] 的内容，或许更准确地说，是对这些文献进行了翻译处理，毕竟文中并未包含太多个人独创性的研究成果。

Intersection 类型

Intersection 类型名称较为冗长，后续内容中将统一简称为 I 类型。

日常生活中，人们常常会遇到诸如 “既要……，同时又要……，还需……” 这类表达