C ++标准：多集中的意外的const_iterator

Question

我最近碰到了一个奇怪的问题，我在迭代一个multiset时会得到一个const_iterator而不是预期的iterator 。 事实证明这对于MSVC来说不是问题，但g ++给了我一个错误：

错误：从'const boost :: shared_ptr'类型的表达式初始化'myPtr＆'类型的引用无效

相关代码：

typedef std::multiset<myPtr> myList;
myList _mystuff;
void tick(float dt)
{
    for (myList::iterator i = _mystuff.begin(); i != _mystuff.end(); ++i)
    {
        myPtr &mine = *i; // g++ problem here, not for MSVC
        // const myPtr &mine = *i; works fine for g++
        mine->tick(dt);
    }
}

相当多的研究表明这是一个很多先前讨论的问题。 我找到了这些相关的部分：

• http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14990
• http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#322
• http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#103
• http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-closed.html#279
• http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-closed.html#528

我对这个问题的背景知识和掌握是有限的，因此我想知道标准是否不能很好地定义这种行为，在这种情况下，g ++和MSVC可以根据自己的喜好实现行为，或者g ++或MSVC是否偏离了明确的标准。

提前致谢。

Answer 1

set和multiset的迭代器从标准的iterator / const迭代器对变为const迭代器。 这种更改的原因是它们是有序容器，更改迭代器内部的元素实际上可以使此排序约束无效。

您正在测试的GCC版本已经进行了此更改，您正在使用的VC版本没有。 VC10（和VC9 SP1，我相信）总是从集合和多集合中返回const_iterators。

C ++ 1x最新草案的23.2.4 / 6（目前为n3000.pdf）说

对于值类型与键类型相同的关联容器，iterator和const_iterator都是常量迭代器。

std :: set和std :: multi_set是关联容器，其值类型与键类型相同。

Answer 2

如何欺骗std :: set :: iterator的编译器？

我有结构

struct _item {
  int a;
  int b;
  bool operator <(const _item& x) const {return a<x.a;}
};

我只想更改成员b（b与集合中的排序无关，只比较成员a）。

std::set<_item> data;
std::set<_item>::iterator iter=data.begin();
iter->b=0;  // error !!!

Avada Kedavra！

struct _item {
  int a;
  int b;
  _item* self;
  _item() {self=this;} 
  bool operator <(const _item& x) const {return a<x.a;}
};
iter->self->b=0; // Success !! Tested on VC10

当然更多的C ++正确

struct _item {
  int a;
  int b;
 private:
  _item* self;
 public:
  _item() {self=this;} 
  bool operator <(const _item& x) const {return a<x.a;}
  int& bReference() const {return self->b;}
};
std::set<_item> items;
std::set<_item>::iterator iter=items.begin();
iter->bReference()=0; // Success !! Tested on VC1