c++ - boost::noncopyable 的 unordered_map 无法从 operator[] 返回引用

Question

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

#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 返回错误:无法访问类“boost::noncopyable_::noncopyable”中声明的私有(private)成员。

std::unordered_map 的运算符 [] 返回对所提供键处元素的引用，乍一看似乎应该有效——我要求的是对元素的引用，而不是它的拷贝.

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

促使我写这篇文章的原因是我正在尝试创建一个 boost::signal2::signal 的 unordered_map，它继承自 boost::noncopyable。除了破解 boost 库之外，我可以做一个简单的解决方法吗？将信号包装在 unique_ptr 中是一种选择，但在我看来我可能在这里做错了什么。

更新:

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

Answer 1

在 unordered_map 中使用 boost::noncopyable 的子类并非不可能，您只需为您的类型定义一个移动构造函数。如果您创建了自己的复制构造(boost::noncopyable 所做的)，C++ 不会创建默认的移动构造函数。此外，如果它确实定义了默认的移动构造函数，它将尝试调用父对象的私有(private)复制构造函数。因此，您必须定义一个不会尝试调用 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;
}