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

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_iterator的原因这主要是因为修改字段可能会破坏容器不变量。

例如当跨 struct { int key; std::string value; }; 的元素构建集合时, 修改 key通过迭代器的字段将导致[未定义的行为]

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

如果这真的对性能影响太大

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