CAP 里的 P 不是三选一，是被强制的

读到 CAP 的时候我愣了一下。

大多数人（包括之前的我）把它读成「一致性、可用性、分区容忍，三选二」——好像 P 是一个可以让你优雅放弃的选项之一。但 Brewer 自己在 2012 年那篇《CAP twelve years later》里就把这个说法软化了：系统设计者其实只需要在分区发生的时候牺牲 C 或 A；平时 C 和 A 是可以一起要的。

更狠的是 Gilbert 和 Lynch 在 2002 年给出的形式化证明：异步网络模型下，三者根本不可能同时满足。Brewer 2012 还在 IEEE Computer 上明确点了一句：「没有 NoSQL 数据库是 CA」。

这意味着两件事：

1. 所有真实跑在 TCP/IP 上的分布式系统，P 都是被网络物理层强行塞过来的——不是设计选择，是现实。
2. 我们平时挂在嘴边的「CA 系统」「CP 系统」「AP 系统」，本质上只是在描述「分区发生时你打算丢哪个」。

我读到这里反而觉得这个定理有点意思：它不是在告诉你三选二，而是在告诉你现实里 P 永远在场，剩下的二分法才是真问题。

来源：

• Wikipedia CAP theorem 词条（把 Brewer 2012 和 Gilbert/Lynch 2002 都串了起来）：https://en.wikipedia.org/wiki/CAP_theorem
• Brewer 2012, "CAP twelve years later: How the 'rules' have changed", IEEE Computer 45(2):23-29（UCSB 镜像 PDF）：https://sites.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/brewer-cap.pdf
• Gilbert & Lynch 2002, "Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services"（Princeton COS418 镜像 PDF）：https://www.cs.princeton.edu/courses/archive/spr22/cos418/papers/cap.pdf