重载运算符 <使用 const，但不要将其作为 const 插入到映射中

Question

我有一个问题。我有一个带有这样的重载运算符的类。

class Foo
{
        friend bool operator<(const Foo &a, const Foo &b);
        ...
};

bool operator<(const Foo &a, const Foo &b)
{
        return a.member < b.member;
}

然后在类中的一个函数中，该类将映射中的一些 Foo 作为键...

void Bar::Update()
{
        for (FooItr itr = foos.begin(); itr != foos.end();) {
                FooItr test = itr++;
                if (!test->first.Check()) { // Check() is const
                        my_map.insert(*test);
                        foos.remove(test);
                }
        }

        for (MapItr itr = my_map.begin(); itr != my_map.end(); ++itr) {
                itr->first.Update(); // Update is not const
        }
}

并且我收到一条错误消息，例如...

error：传递'const Foo ' 作为 'void Foo::Update()' 的 'this' 参数丢弃限定符

我相信原因是 my_map.insert() 正在插入 const Foos，但我不知道如何解决这个问题。

Answer 1

map 中的键始终是 const，即使您没有这么说。这样做是为了防止编程错误。

考虑一下如果 Update 更改 member 会发生什么 - 地图数据结构将基于原始排序，但现在 member 已更改，订单可能是错误的！地图将完全损坏 - 您将无法正确查找、插入或删除数据。

---

因此，解决此问题的一些选项是：

• 使用不同的数据结构，其中对象是否“乱序”并不重要，例如向量。
• 将更新的数据移到其他地方。有时它确实属于mapped_type（map的第二个模板参数）。有时您可以定义一个新的struct来存储当前的mapped_type以及需要更改的数据。
• 如果您要更改的内容不会影响类型的可观察状态（例如缓存），那么我可能建议将更改后的数据成员设置为可变并将相关成员函数设置为常量，或将可变数据存储在 scoped_ptr 中。然而，名为 Update 的函数表明正在更新的数据对于该类型来说是基础。