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

Question

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

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

相关代码：

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-close.html#279
• http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-close.html#528

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

提前致谢。

Answer 1

set 和 multiset 的迭代器从标准迭代器/const 迭代器对更改为 const 迭代器。进行此更改的原因是它们是有序容器，并且更改迭代器内部的元素实际上会使此排序约束无效。

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

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

对于关联容器，其中
值类型与键相同
类型，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 !!!

阿瓦达索命！

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