具有历史记录(持久性）的搜索结构

我需要一个类似映射的数据结构（以C++为单位）来存储具有以下功能的对（Key，T）：

• 您可以在当前结构中插入新元素（键，T）
• 您可以根据当前结构中的键搜索元素
• 您可以制作当前版本结构的"快照"
• 您可以切换到拍摄快照的结构版本之一，并从那里继续所有操作
• 完全删除其中一个版本

我不需要什么

• 从结构中移除元素
• 将结构的不同版本合并为一个
• 迭代当前存储在结构中的所有（或部分）元素

换句话说，你可以建立一些搜索结构，但在任何时候你都可以跳转到历史中，并以不同的方式扩展结构的早期/不同版本。稍后，您可以在这些不同版本之间跳转。

在我的项目中，键和 T 可能是整数或指针值，但不是字符串。

主要目标是降低时间复杂度;空间消耗是次要的（但也应该是合理的）。澄清一下，对我来说，log（N）+log（S）（其中N个元素，S个快照）就足够了，尽管越快越好:)

我有一些粗略的想法，例如---实现它：作为二叉搜索树的结构，插入新元素可以克隆从根到插入位置的路径，同时保持树的其余部分完好无损。切换树版本等效于选择根节点的不同版本，对于根节点，某些更改根本不可见。

但是，为了使此自定义树高效（例如自平衡），需要一些额外的努力和仔细的编码。当然，我可以自己做，但也许已经有现有的库可以做到这一点？

此外，这种数据结构可能有一个我根本不知道的专有名称，使我的 Google 搜索（或 SO 搜索）完全失败......

感谢您的帮助！