immer可持久化数据结构库

immer 是一个用 C ++ 编写的可持久化和不可更改的数据结构库。

• 可持久化意味着修改数据结构时，将保留旧值。

• 不可更改意味着所有的操作方法都是 const。

对象不会在适当位置修改，但会返回新值。 因为旧值仍然存在并且永远不会改变，所以新值可以透明地保持对它的公共部分的引用。 这个属性被称为结构共享。

举例：

#include <immer/vector.hpp>
int main()
{
    const auto v0 = immer::vector<int>{}
    const auto v1 = v0.push_back(13);
    assert(v0.size() == 0 && v1.size() == 1 && v1[0] == 13);

    const auto v2 = v1.set(0, 42);
    assert(v1[0] == 13 && v2[0] == 42);
}