如何使用提取将不可复制元素从 std::set 移动到 std::map？

Question

考虑以下几点：

#include <set>
#include <map>

struct MyClass
{
    MyClass(int i);
    MyClass(MyClass const&) = delete;
    ~MyClass();

    bool operator<(const MyClass& r) const { return v < r.v; }
    int v;
};

void map_set_move_test()
{
    std::set<MyClass> s1, s2;
    std::map<int, MyClass> m1;

    s1.emplace(123);

    s2.insert(std::move(s1.extract(s1.begin())));

    // This fails
    m1.insert(std::move(std::make_pair(1, std::move(s2.extract(s2.begin()).value()))));
}

我使用std::set::extract 成功地将一个元素从std::set 移动到另一个std::set，如下所示：

s2.insert(std::move(s1.extract(s1.begin())));

但编译器不允许以这种方式将元素移动到std::map：

m1.insert(std::move(std::make_pair(1, std::move(s2.extract(s2.begin()).value()))));

任何帮助将不胜感激。 Link to compiler explorer.

Answer 1

这是一个有问题的例子，因为 MyClass 不仅是不可复制的，而且是隐含的 non-movable - 这可能不是你的意思。 （我认为 MyClass 由于您明确删除复制构造函数而变得不可移动；请参阅this answer。）

如果你确实让MyClass 可移动，像这样：

class MyClass : NonCopyable
{
public:
    MyClass(int i) : v(i) {
        std::cout << "constructor" << std::endl;
    }
    MyClass(MyClass&& other) : v(other.v) {
        std::cout << "move constructor" << std::endl;
    }
    ~MyClass() {
        std::cout << "destructor" << std::endl;
    }
    bool operator<(const MyClass& r) const {
        return v < r.v;
    }

    int v;
};

一切似乎都很顺利，当你写的时候，说。

m1.emplace(
    1,
    std::move( 
        s2.extract(s2.begin()).value() 
    )
);

您可以在 GodBolt 上看到此功能。

---

_{PS - 正如@DavisHerring 建议的那样，如果您不想覆盖现有值，您可能希望使用try_emplace() 方法。}

Answer 2

extract 的重点和insert 的相应重载是在没有内存分配的情况下操作基于节点的容器。 （其中一个有趣的操作是更改 std::map 键。）这在此处行不通，因为节点是不同的类型（即。，一个有一个键，另一个没有），所以你需要只需将值与 常规 insert（或更符合人体工程学的 try_emplace）一起使用。