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);}
评论