为侵入式容器的迭代器分配新值

Question

在使用 boost 侵入式容器 splay_set 时，我必须重置本地迭代器成员变量。请参阅下面的示例代码 -

#include <boost/intrusive/splay_set.hpp>

using namespace boost::intrusive;

class Obj
{
    public:
        Obj(){};
        ~Obj(){};

        boost::intrusive::list_member_hook<boost::intrusive::link_mode<boost::intrusive::normal_link> > m_memberHook;
    private:
        int a;
};

typedef splay_set<Obj, compare<greater<Obj> >, member_hook<Obj, 
                splay_set_member_hook<boost::intrusive::link_mode<boost::intrusive::normal_link> >,
                &Obj::m_memberHook> > StorageSSet;
typedef StorageSSet::iterator   StorageSSetIter;

class Storage
{
    public:

        bool init(StorageSSet& sset)
        {
            // Error: "no match for operator= in ..."
            m_curIter = sset.begin();  ////<<<<------------- How to set new iterator
            m_endIter = sset.end();    ////<<<<------------- How to set new iterator
        }

    protected:

        StorageSSetIter     m_curIter;
        StorageSSetIter     m_endIter;
};

我想侵入式容器不支持分配。我也无法通过成员初始化器列表初始化 splay_set 迭代器。 boost 和其他网站上的例子非常有限。没有人对这个问题给出明确的答案。

我的问题是我应该怎么做才能为 splay_set 迭代器（一般意义上的侵入式容器）分配一个新值。

Answer 1

你得到const_iterators的原因主要是因为修改字段可能会破坏容器不变量。

例如在跨struct { int key; std::string value; };的元素构建集合时，通过迭代器修改key字段会导致[Undefined Behaviour]

更新内容的干净方法是先删除，然后重新插入修改后的项目。

如果这真的太严重地损害性能

1. 重新考虑您的设计（考虑 mutable 非关键字段的成员，考虑通过引用包含非关键数据）
2. 通过使用const_cast<> 在抽象中打一个洞来抛弃常量。 危险不要将此引用传递给任何其他方，因为他们可能会破坏容器不变量，因为他们可能不知道单独留下关键字段