如何更新 std::set 的现有元素？

Question

我有一个std::set<Foo>，我想更新一些值 其中的现有元素。请注意，我正在更新的值不会更改集合中的顺序：

#include <iostream>
#include <set>
#include <utility>

struct Foo {
  Foo(int i, int j) : id(i), val(j) {}
  int id;
  int val;
  bool operator<(const Foo& other) const {
    return id < other.id;
  }
};

typedef std::set<Foo> Set;

void update(Set& s, Foo f) {
  std::pair<Set::iterator, bool> p = s.insert(f);
  bool alreadyThere = p.second;
  if (alreadyThere)
    p.first->val += f.val; // error: assignment of data-member
                           // ‘Foo::val’ in read-only structure
}

int main(int argc, char** argv){
  Set s;
  update(s, Foo(1, 10));
  update(s, Foo(1, 5));
  // Now there should be one Foo object with val==15 in the set.                                                                
  return 0;
}

有什么简洁的方法可以做到这一点吗？还是我必须检查元素是否已经存在，如果存在，请将其删除，添加值并重新插入？

Answer 1

由于val不参与比较，所以可以声明为mutable

struct Foo {
  Foo(int i, int j) : id(i), val(j) {}
  int id;
  mutable int val;
  bool operator<(const Foo& other) const {
    return id < other.id;
  }
};

这意味着val 的值可能会在逻辑上为常量 Foo 中发生变化，这意味着它不应影响其他比较运算符等。

或者您可以删除和插入，如果插入使用位置 just before 就在旧位置之后作为提示，则需要 O(1) 额外的时间（与访问和修改相比）。

类似：

bool alreadyThere = !p.second; // you forgot the !
if (alreadyThere)
{
    Set::iterator hint = p.first;
    hint++;
    s.erase(p.first);
    s.insert(hint, f);
}

Answer 2

不要试图通过解决set 中项目的常量性来解决这个问题。相反，为什么不使用map，它已经表达了您正在建模的键值关系，并提供了更新现有元素的简单方法。

Answer 3

使val 可变为：

mutable int val;

现在即使foo 是常量，您也可以更改/修改/变异val：

void f(const Foo & foo)
{
     foo.val = 10;  //ok
     foo.id  = 11;  //compilation error - id is not mutable.
}

顺便说一句，从您的代码中，您似乎认为如果p.second 为真，那么该值已经存在于集合中，因此您更新了关联的值。我想，你搞错了。事实上，情况恰恰相反。 cpluscplus 的doc 说，

如果插入了新元素，则该对中的 pair::second 元素设置为 true；如果存在具有相同值的元素，则设置为 false。

我认为这是正确的。

---

但是，如果您使用std::map，您的解决方案将很简单：

void update(std::map<int,int> & m, std::pair<int,int> value) 
{
    m[value.first] += value.second;
}

这段代码有什么作用？ m[value.first] 如果映射中不存在该键，则创建一个新条目，并且新条目的值是默认值 int 为零。所以它将value.second 添加到zero。否则，如果密钥存在，那么它只是将value.second 添加到它。也就是上面的代码等价于：

void update(std::map<int,int> & m, std::pair<int,int> value) 
{
    std::map<int,int>::iterator it = m.find(value);
    if ( it != m.end()) //found or not?
           it.second += value; //add if found
    else
    {
           m.insert(value); //insert if not found
    }
}

但这太过分了，不是吗？它的性能并不好。前一个更简洁，性能也很好。

Answer 4

如果您知道自己在做什么（集合元素本身不是 const 并且您没有更改比较中涉及的成员），那么您可以抛弃 const-ness：

void update(Set& s, Foo f) {
  std::pair<Set::iterator, bool> p = s.insert(f);
  bool alreadyThere = !p.second;
  if (alreadyThere)
  {
    Foo & item = const_cast<Foo&>(*p.first);
    item.val += f.val;
  }
}

Answer 5

如果你有 KEY ，你可以使用 MAP 女巫可以非常快速地访问你的元素。在这种情况下，我认为使用 MAP 将是实现最快速度的更好方法。标准::地图