Boost MultiIndex：如何将仅可移动类型元素从一个容器移至另一个？

我来帮你搞定这个问题——你的核心问题在于没正确处理move-only类型在Boost.MultiIndex容器里的转移逻辑，直接std::move(*it)会留下无效元素，还会破坏容器的索引约束，导致编译或运行错误。

为什么你的原代码无法工作？ #

• 当你执行std::move(*it)时，c1里的原元素会进入有效但未指定的状态（比如unique_ptr<Bar>会变成空指针）。Boost.MultiIndex要求容器内的所有元素必须始终满足索引的约束条件（比如你定义的hashed_unique索引要求键唯一），被move后的元素很可能破坏了这些约束，让容器处于非法状态。
• 更关键的是，你只把元素的内容复制（move）到了c2，但原元素还留在c1里——这不仅导致c1残留无效元素，还可能触发重复键的冲突（如果索引依赖的成员被move修改了）。

正确的解决方案：用extract转移元素 #

Boost.MultiIndex提供了extract方法，专门用来安全地从容器中移除元素并获得一个可移动的"节点句柄"，然后你可以把这个句柄直接插入到另一个同类型容器中。这种方式既保证了元素的所有权转移，又不会破坏两个容器的索引结构。

首先先修正你容器定义里的小笔误（假设X是foo的笔误）：

#include <boost/multi_index_container.hpp>
#include <boost/multi_index/random_access_index.hpp>
#include <boost/multi_index/hashed_index.hpp>
#include <boost/multi_index/member.hpp>
#include <memory>
#include <string>

struct Bar {};

struct foo {
    std::string zoo; // 对应索引中用到的成员
    std::unique_ptr<Bar> bar;

    foo() : bar(std::make_unique<Bar>()) {}
    foo(foo&&) = default;
    // 注意：如果索引依赖的成员（比如zoo）会被move操作修改，需要确保move后原元素的键不会破坏索引约束
    // 不过用extract的话，原元素会直接被移除，所以不用担心这个问题
};

using MyContainerType = boost::multi_index::multi_index_container<
    foo,
    boost::multi_index::indexed_by<
        boost::multi_index::random_access<>,
        boost::multi_index::hashed_unique<
            boost::multi_index::member<foo, std::string, &foo::zoo>
        >
    >
>;

然后是正确的跨容器移动代码：

MyContainerType c1, c2;

// 遍历c1，转移符合条件的元素到c2
for (auto it = c1.begin(); it != c1.end(); ) {
    if (/* 你的判断逻辑，比如：it->zoo == "target_value" */) {
        // 先提取元素（从c1中移除），同时递增迭代器避免失效
        auto node_handle = c1.extract(it++);
        // 将节点移动插入到c2中
        c2.insert(std::move(node_handle));
    } else {
        ++it;
    }
}

代码说明 #

• extract(it++)：先把迭代器移动到下一个元素，再提取当前元素——这样就避免了extract操作导致当前迭代器失效的问题。
• node_handle是一个拥有元素所有权的对象，它可以被直接move到另一个同类型的Boost.MultiIndex容器中，无需拷贝，完美适配你的move-only类型foo。
• 整个过程中，c1和c2的索引都会保持有效，不会出现非法状态。

内容的提问来源于stack exchange，提问作者Textron