联合类型（|）表示“可能是其一”，用于建模多种合法值（如状态、API响应）；交叉类型（&）表示“必须同时满足”，用于合并类型特性（如对象组合、配置叠加），二者结合可精准建模复杂组件Props并配合类型守卫安全访问。

在 TypeScript 中，联合类型（|）和交叉类型（&）不是语法糖，而是建模真实业务逻辑的底层工具。用对了，类型检查能提前暴露错误；用错了，反而会让代码更难维护。

联合类型：表达“可能是这个，也可能是那个”

它适用于值存在多种合法形态的场景，比如状态、配置模式或 API 响应结构。

• 基础写法：用竖线 | 连接多个类型，如 string | number | boolean，变量可取其中任意一种值
• 字面量联合更实用：比如 type Status = 'idle' | 'loading' | 'success' | 'error'，比 string 精确得多，避免拼错状态名
• 访问限制是保护机制：声明为 string | number 的变量不能直接调用 .toUpperCase()，因为 number 没这个方法——这不是报错，是提醒你该加类型守卫了

交叉类型：表达“既要满足这个，也要满足那个”

它常用于组合接口、合并配置、或给已有类型叠加新能力。

Java Maven Common

Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。

下载

• 对象合并最常见：比如 interface User { id: number; name: string } 和 interface Timestamped { createdAt: string; updatedAt: string }，交叉后 User & Timestamped 要求同时具备全部字段
• 同名属性需兼容：如果两个类型都有 id 字段，但一个是 string、一个是 number，交叉结果中 id 类型会变成 never（即矛盾），编译器会立刻报错
• 函数签名也能交叉：两个函数类型交叉后，会合并所有重载签名，适合构建多态回调接口

组合使用：联合 + 交叉 = 精准建模复杂组件 Props

这是实际项目中最有力的搭配方式，尤其适合多态 UI 组件。

立即学习“Java免费学习笔记（深入）”；

• 先定义共性基础：比如所有表单模式都含 label: string 和 required: boolean
• 再定义分支专属：编辑态有 onSave: () => void，只读态有 tooltip?: string
• 最后组合成完整契约：type FormProps = BaseProps & (EditMode | ReadOnlyMode) —— 这样既保证通用字段必填，又确保分支属性不会被误用
• 配合类型守卫安全访问：通过判断 props.editable === true，TypeScript 就能自动缩小类型到 EditMode 分支，允许调用 onSave

注意优先级和分配律：避免类型意外坍缩

联合与交叉混合时，& 比 | 优先级高，类似数学里的乘法先于加法。

• A & B | C & D 等价于 (A & B) | (C & D)，不是 A & (B | C) & D
• 需要后者语义时，必须显式加括号：A & (B | C)，它等价于 (A & B) | (A & C)（分配律）
• 滥用 any & string 或 string & number 会得到 any 或 never，这类组合通常意味着设计问题