结构共享

结构共享（structural sharing）是持久化数据结构实现低复制成本的关键机制，修改时复用未受影响的部分，仅新建从修改点到根节点的路径。

在持久化平衡树中插入一个元素，只需复制 O(log n) 个节点，其余子树通过指针共享，因此单次更新开销与可变结构处于同一数量级。

结构共享的代价在于额外的指针间接寻址和较差的缓存局部性，这是纯FP在某些内存密集型负载上落后于C的原因之一。