Zookeeper 的数据结构是怎样的？

面试考察点

1. 数据模型理解：面试官不仅仅是想知道你见过 ZooKeeper 的树形结构，更是想知道你是否理解 ZNode 的完整数据模型——它既存数据又存元信息，跟普通文件系统有本质区别。
2. 节点类型掌握：四种节点类型（持久、临时、持久顺序、临时顺序）各自的特点和适用场景，这是后续问分布式锁、服务注册的基础。
3. 底层存储认知：你是否知道 ZooKeeper 的全量数据是放在内存里的？这直接决定了它的性能特点和容量限制。

核心答案

ZooKeeper 的数据结构是一个树形层级命名空间，每个节点叫做 ZNode。跟文件系统的目录树很像，但有一个关键区别：每个 ZNode 既可以当 "目录"（有子节点），也可以存数据。

每个 ZNode 由三部分组成：

组成部分	说明
数据（data）	节点存储的业务数据，最大 1MB（设计上不适合存大数据）
子节点（children）	该节点下的子节点列表
状态信息（Stat）	节点的元数据，包括版本号、时间戳、ACL 等

深度解析

一、ZNode 的 Stat 元信息

这个是很多候选人忽略的，但面试官很爱问。每个 ZNode 都有一个 Stat 对象，记录了节点的各种元信息：

属性	说明
czxid	创建该节点的事务 ID（Created ZXID）
mzxid	最后一次更新的事务 ID（Modified ZXID）
pzxid	子节点列表最后修改的事务 ID
ctime	节点创建时间
mtime	节点最后修改时间
version	数据版本号（每更新一次 +1）
cversion	子节点版本号（子节点变化一次 +1）
aversion	ACL 版本号
ephemeralOwner	临时节点的会话 ID，持久节点为 0
dataLength	数据长度
numChildren	子节点数量

这里重点说说 ZXID 和 版本号：

• ZXID（ZooKeeper Transaction ID）是全局唯一且递增的事务编号，每次写操作都会生成一个新的 ZXID。通过 ZXID 可以对所有事务进行全局排序，这就是 ZooKeeper 实现一致性的基础。
• 版本号（version）实现了乐观锁机制。更新节点时可以指定期望的版本号，如果当前版本号不匹配，更新就会失败。类似 "CAS" 操作。

二、四种节点类型

这个是面试的高频考点，必须搞清楚。

上表展示了 ZooKeeper 的四种节点类型及其特性。重点对比：

• 持久 vs 临时：核心区别在于生命周期。持久节点跟 ZooKeeper 服务器绑定，只有主动调用 delete() 才会消失；临时节点跟客户端会话绑定，会话断开（包括客户端宕机、网络分区导致的心跳超时）后自动删除。
• 普通 vs 顺序：顺序节点在节点名后面自动追加一个递增的数字后缀（如创建 node-，实际生成 node-0000000001）。这个单调递增的序号是由 ZooKeeper 保证的，分布式锁就是靠它来排队的。

有个容易踩的坑：临时节点不能有子节点。如果你试图给临时节点创建子节点，会直接报错。这个设计是合理的——临时节点随时可能因为会话失效而删除，如果还有子节点就尴尬了。

三、跟文件系统的关键区别

很多文章说 "ZooKeeper 的数据结构类似文件系统"，这话没错但容易误导。几个重要区别：

对比维度	文件系统	ZooKeeper
节点存数据	只有叶子节点（文件）能存数据	每个节点都能存数据
数据大小	无限制	最大 1MB
节点类型	只有一种	四种类型（持久/临时/顺序）
监听机制	无（需轮询）	Watch 机制（变更主动通知）
存储位置	磁盘	内存（全量数据在内存中）
版本控制	无	每个节点有版本号（乐观锁）

其中最关键的两点：

• 全内存存储：ZooKeeper 把整个数据树都加载到内存里，所以读取速度极快。但这也意味着它不适合存大量数据，1MB 的节点上限就是为此设计的。ZooKeeper 定位是 "协调服务"，不是 "存储服务"。
• Watch 机制：客户端可以在某个 ZNode 上注册监听，当节点数据变化或子节点列表变化时，ZooKeeper 会主动通知客户端。这是 ZooKeeper 实现各种协调功能的核心基础设施。

四、容器节点和 TTL 节点（3.6.0 新增）

如果你面试的是高级岗位，可以提一嘴 ZooKeeper 3.6.0 新增的两种节点类型，加分项：

• 容器节点（Container）：当最后一个子节点被删除后，容器节点会被自动清理。适合用作服务注册的父节点——所有服务实例下线后，父节点自动消失，避免残留垃圾节点。
• TTL 节点：持久节点但可以设置存活时间，超时没人修改就自动删除。适合临时性配置场景。

面试高频追问

1. ZooKeeper 节点数据为什么限制 1MB？

   因为全量数据在内存中。如果允许存大数据，内存占用会快速膨胀，影响整体的读写性能和集群稳定性。ZooKeeper 的定位是存 "协调元数据"，不是存业务数据。

2. 临时节点什么时候会被删除？

   客户端会话失效时删除。具体来说有三种情况：客户端主动关闭连接、客户端宕机、网络分区导致心跳超时（默认超时时间由客户端在创建连接时指定）。

3. ZooKeeper 的数据存在内存里，那重启不就丢了吗？

   不会。ZooKeeper 会将事务日志和内存快照（Snapshot）持久化到磁盘。重启时通过回放事务日志 + 恢复快照来重建内存数据树。

常见面试变体

• "ZooKeeper 的 ZNode 有几种类型？"
• "ZooKeeper 的临时节点和持久节点有什么区别？"
• "ZooKeeper 的数据模型和文件系统有什么区别？"
• "ZooKeeper 的版本号有什么用？"

记忆口诀

节点类型四兄弟：持久（活到老）、临时（随会话走）、加顺序（自带编号）。

ZNode 三件套：数据（最多 1MB）、子节点、Stat 元信息。

一句话区分：持久节点靠 "人" 删，临时节点靠 "命" 删（会话没了就没了）。

总结

ZooKeeper 的数据结构本质是一棵内存中的树，每个节点（ZNode）既能存数据又能有子节点。核心考点就三个：四种节点类型（持久/临时 × 普通/顺序）、Stat 元信息中的版本号和 ZXID、以及全内存存储带来的性能特点和容量限制。面试时画一棵树，说清楚四种节点的区别，基本就够了。