第4章 深访文档门派：MongoDB
第4章 深访文档门派：MongoDB
本章要回答的三个问题：MongoDB 的文档模型在工程上怎么用对（建模、CRUD、索引、聚合）？它靠什么机制做到高可用与水平扩展（复制集、分片）？一个诞生时以"无事务"为标志的数据库，如今的事务能力到什么程度、边界在哪？
为什么会有这一章
第 2.2 节用一节篇幅画了文档门派的地图，但地图不能代替实地。真实开发中的问题都长在细节里：索引为什么没生效、分片键为什么不能改、副本集切换的那几秒发生了什么。本章以 MongoDB 为样本做一次八节的深访，把文档门派从"是什么"推进到"怎么用好"。选择 MongoDB 有两个理由：它是文档门派事实上的标准（生态、工具链、招聘市场），且它同时具备复制集与分片两套完整的分布式机制——等于把第 3 章内功的两个分支各配了一套产品化实现，学到的东西可以直接迁移到同类产品。
读完能解决什么
读完本章你应当能够：独立完成从建模到上线的完整开发循环——设计文档结构、执行增删改查、为慢查询建正确的复合索引；看懂聚合流水线并写出常用的统计管道；理解复制集的选举与读写关注配置，能回答"主库挂了数据会不会丢"；掌握分片集群的组件协作与分片键决策流程；判断何时该用多文档事务、何时不该。
各节怎么分工
| 节号 | 回答哪个问题 | 关键产出 |
|---|---|---|
| 4.1 | MongoDB 凭什么流行 | 历史脉络 + 能力清单与短板 |
| 4.2 | 文档模型怎么组织 | 库/集合/文档 + ObjectId 结构 |
| 4.3 | 日常读写怎么操作 | 完整 CRUD 命令 + 更新操作符 |
| 4.4 | 查询慢怎么治 | 索引原理 + ESR 复合索引法则 |
| 4.5 | 高可用怎么实现 | 复制集架构 + 选举 + 读写关注 |
| 4.6 | 规模怎么扩展 | mongos/配置服务/分片 + 片键选择 |
| 4.7 | 统计分析怎么做 | 聚合流水线阶段与优化 |
| 4.8 | 多文档事务怎么办 | 事务能力边界 + 设计规避 |
四节一组形成两条线：4.1 至 4.4 是"单机能力线"（模型 → 操作 → 优化），4.5 至 4.8 是"分布式能力线"（可用 → 扩展 → 分析 → 事务）。两条线在第 3 章内功上会合：4.5 复制集对应 3.1/3.3，4.6 分片对应 3.6，4.8 事务对应 3.4——阅读时建议对照着看。
先决条件
需要第 1、2 章的文档模型概念与第 3 章的复制、分片、事务原理。命令行基础即可，示例全部使用 mongosh 交互式环境。
全章能力地图
八节内容可以分成"能跑起来""跑得稳""跑得快""算得动"四组，每组两节。
| 分组 | 涵盖节 | 解决什么问题 |
|---|---|---|
| 能跑起来 | 4.1 简介、4.2 数据模型 | 选型与建模：数据怎么组织 |
| 跑得稳 | 4.3 CRUD、4.5 复制集 | 写入语义与高可用：数据不丢、服务不停 |
| 跑得快 | 4.4 索引与优化、4.6 分片 | 单机索引优化与集群水平扩展 |
| 算得动 | 4.7 聚合、4.8 事务 | 服务端统计与跨文档一致性 |
与第 5 章的对照阅读线索
这一章与第 5 章是刻意成对设计的，读第 5 章时不断回头对照，理解会显著加深：
- 复制的哲学差异：MongoDB 复制集强调"多数派确认 + 自动选主"，偏一致；Redis 复制强调"异步追赶 + 哨兵判定"，偏可用。同样的主从问题，两套答案；
- 扩展的切法差异：MongoDB 按分片键的取值区间切 chunk，范围查询友好；Redis Cluster 固定 16384 个槽位按哈希分配，分布均匀但范围查询无能为力；
- 原子性的实现差异：MongoDB 用多文档事务保证跨文档原子；Redis 用单线程执行模型让 Lua 脚本天然原子。前者通用但昂贵，后者廉价但受限于单节点与脚本复杂度；
- 内存的角色差异：MongoDB 希望工作集常驻内存但能落盘兜底；Redis 的数据主存在内存里，持久化是补救手段。这决定了两者在数据丢失风险上的不同定位。
带着这四条线索读第 5 章，你会发现很多"为什么 Redis 这么设计"的疑问，答案就在它与 MongoDB 的不同取舍里。
往下走到哪
本章结束时你手上的 MongoDB 技能覆盖了文档门派的工程主干。下一章转身进入键值门派的代表 Redis——你会发现 5.7 与 5.8 两节的哨兵与集群，和本章复制集与分片面对同样的问题，给出了截然不同的答案。