提升unordered_map：不可复制无法从运算符返回引用[]

unordered_map of boost::noncopyable can't return references from operator[]

本文关键字：运算符 返回 引用 unordered map 可复制 提升      更新时间：2023-10-16

为了演示我的问题，考虑这个不能编译的简单程序:

#include <boost/noncopyable.hpp>
#include <unordered_map>
class foo : boost::noncopyable { };
int main()
{
    std::unordered_map<int, foo> m;
    auto & element = m[0];
    return 0;
}

使用当前版本的boost (1.52)， Visual Studio 2012返回错误:cannot access private member declared in class 'boost::noncopyable_::noncopyable .

std::unordered_map的操作符[]返回对所提供键处元素的引用，乍一看似乎应该可以工作——我请求的是对元素的引用，而不是它的副本。

我对这个问题的理解是这样的(这可能是错误的，因为我有一段时间没有使用c++了)。如果没有找到键，则unordered_map创建一个新元素并返回对新元素的引用。noncopyable定义了一个(私有的)复制构造函数，但没有定义移动构造函数，因此编译器不会生成移动构造函数。在它的操作符[]中，std::unordered_map使用std::move，但由于boost::noncopyable没有定义move构造函数，因此它返回到复制构造函数。由于复制构造函数是私有的，编译失败。

是什么促使这篇文章，我试图创建一个unordered_map的boost::signal2::signal，它继承自boost::noncopyable。没有破解boost库，我可以做一个简单的解决方案吗?将信号封装在unique_ptr中是一种选择，但在我看来，我可能在这里做错了什么。

更新:

我可能发得太快了!似乎不可能向unordered_map添加boost::noncopyable的子类。Insert、operator[]和emplace都使用复制构造函数(这是私有的)或移动操作(boost::noncopyable中不存在)。对我来说，这似乎是一个主要的限制。是否有可能创建一个包含boost::noncopyable对象的unordered_map ?我明确地而不是试图复制它们——我希望它们的整个生命周期都在unordered_map中度过。

在unordered_map中使用boost::noncopyable的子类并非不可能，您只需为您的类型定义一个move构造函数。如果您已经创建了自己的复制构造(这是boost::noncopyable所做的)，那么c++不会创建默认的移动构造函数。另外，如果它定义了默认的move构造函数，它会尝试调用父类的copy构造函数，它是私有的。因此，您必须定义一个移动构造函数，它不会尝试调用boost::noncopyable的复制构造函数。例如:

#include <boost/noncopyable.hpp>
#include <unordered_map>
struct foo : public boost::noncopyable
{
    foo() = default;
    foo(foo&&) {}
};
int main()
{
    std::unordered_map<int, foo> m;
    auto & element = m[0];
    return 0;
}

这可能不是您想要的，但我想我应该把它扔在那里。需要注意的一点是emplace()返回的对的second值，这表明第二次调用没有引入新成员，也没有复制现有成员。

同样，我不知道这是否更接近你想要的，但值得一试。我可能做错了什么，因为我不像其他人那样明显熟悉c++ 11标准库。很抱歉，如果是这样的话。

最后，请注意这是而不是试图解决OP使用operator []()进行插入+访问的请求。相反，它试图简单地将boost::noncopyable的派生构造为unordered_map<>。要访问该标签，您可能需要以下内容的组合以及初始find()，以确定该标签最初是否存在。

无论如何……

#include <boost/noncopyable.hpp>
#include <iostream>
#include <unordered_map>
class Foo : public boost::noncopyable
{
public:
    Foo(int value) : value(value) {};
    void setValue(int value) { this->value = value; }
    int getValue() const { return value; }
private:
    int value;
};

int main(int argc, char *argv[])
{
    typedef std::unordered_map<std::string, Foo> MyMap;
    MyMap mymap;
    // throw ("test".1) into the map
    auto p = mymap.emplace("test", 1);
    auto q = mymap.emplace("test", 2); // should not overwrite the first.
    // dump content
    cout << p.first->second.getValue() << '(' << p.second << ')' << ' '
         << q.first->second.getValue() << '(' << q.second << ')' << endl;
    // modify through the second returned iterator/bool pair.
    q.first->second.setValue(3);
    // dump again, see if p was also updated.
    cout << p.first->second.getValue() << '(' << p.second << ')' << ' '
         << q.first->second.getValue() << '(' << q.second << ')' << endl;
    return 0;
}


1(1) 1(0)
3(1) 3(0)
相关文章：