请解释Apache Iceberg表快照的底层实现机制，并说明该机制如何支撑表的版本控制与时间旅行查询。

回答思路

1. 【回答框架 1】Iceberg将表状态定义为元数据文件（Metadata File）和清单列表（Manifest List）的不可变快照序列。每次数据更新会提交一个新的元数据文件，其中包含指向新清单列表的指针，清单列表进一步指向清单文件（Manifest）和数据文件，形成完整的快照树。
2. 【回答框架 2】快照本质上是对表在当前时间点全部数据文件的引用集合，通过元数据文件中的snapshot-id和时间戳标识。写入操作先创建新快照，再通过原子替换当前元数据指针完成提交，保证并发下的一致性。
3. 【回答框架 3】基于快照的版本控制依赖这种不可变设计：读取时指定snapshot-id即可访问历史某版本的数据，实现时间旅行；同时多个快照可并行存在，支持增量读取和回溯。清理策略（如expire_snapshots）用于删除过期快照和数据文件，释放存储空间。
4. 【回答框架 4】版本回滚只需将表的当前指针指向历史快照，即更新当前元数据文件，不影响其他快照的独立性。这一机制与Git类似，每个提交对应一个完整表状态。
5. 【回答框架 5】实际使用时，需注意快照保留时长与存储成本的权衡，以及并发写入时快照隔离级别的细节，例如快照读取冲突的解决方式。
6. 【关键点 1】快照是元数据引用的不可变集合，由元数据文件、清单列表和清单文件共同定义。
7. 【关键点 2】提交通过原子替换元数据指针实现，保证快照一致性。
8. 【关键点 3】版本控制核心是时间旅行与回滚，基于指定快照ID读取历史状态。
9. 【关键点 4】清理策略负责回收过期快照与数据文件，平衡存储与可用性。
10. 【关键点 5】并发场景需依赖乐观锁或重试机制处理冲突，而非单一快照覆盖。
11. 【易错点 1】误以为快照是数据文件的物理拷贝，实际只是元数据引用。
12. 【易错点 2】忽略清理策略会导致历史快照无限累积，占用存储并降低性能。
13. 【易错点 3】将时间旅行等同于可无限回溯，需考虑快照过期时间与保留策略。