结构共享

新旧版本共用没有变化的部分，只复制路径上的节点。修改代价是对数级而非线性。