Boost Multi_index容器遍历仅支持移动语义元素的编译问题

你的问题本质上是因为Boost MultiIndex容器的迭代器不允许直接移动容器内的元素——当你通过迭代器解引用拿到元素引用并尝试std::move(*it)时，会试图掏空容器中当前持有的元素，这会破坏容器的内部索引结构（比如排序、哈希等索引依赖元素的完整状态），同时容器本身期望其存储的元素始终处于有效状态，因此编译器会拒绝这种操作。

为什么push_back(std::move(...))和erase能正常工作？ #

• push_back(std::move(...))是将外部元素的所有权转移给容器，容器获得完整的元素，不会破坏自身结构；
• erase是将元素从容器中移除，容器放弃对该元素的所有权，此时移动元素是安全的，因为元素已经不属于容器了。

正确的解决方案 #

根据你的遍历需求，分两种场景处理：

场景1：遍历并将元素从原容器移走（比如移入另一个容器）

这种情况下，你需要先从容器中移除元素，再移动它。注意不能用普通的for循环（因为erase会使当前迭代器失效），应该用while循环配合erase的返回值：

auto it = container.begin();
while (it != container.end()) {
    // 先通过移动构造拿到元素，此时容器内的元素处于有效但未定义的状态
    foo moved_element = std::move(*it);
    // erase会移除该元素，并返回下一个有效的迭代器
    it = container.erase(it);
    // 处理移动后的元素，比如移入另一个容器
    some_foo(std::move(moved_element));
}

这个方法的核心是先移除，再移动，确保容器的索引结构不会被无效元素破坏。

场景2：遍历但保留元素在原容器，仅需要移动元素内的资源（比如unique_ptr<Bar>）

如果你不想移除容器中的foo元素，只是需要转移其内部bar的所有权，可以给foo类添加一个成员函数来安全地转移资源：

struct foo {
    std::unique_ptr<Bar> bar;
    foo() : bar(std::make_unique<Bar>()) {}
    foo(foo&&) = default;
    foo& operator=(foo&&) = default;
    // 禁用拷贝构造和赋值
    foo(const foo&) = delete;
    foo& operator=(const foo&) = delete;

    // 安全转移bar的所有权
    std::unique_ptr<Bar> take_bar() {
        return std::move(bar);
    }
};

然后遍历的时候调用这个方法：

for (auto& elem : container) {
    std::unique_ptr<Bar> transferred_bar = elem.take_bar();
    // 处理transferred_bar，此时elem的bar为空，但elem仍留在容器中
    some_custom_logic(std::move(transferred_bar));
}

关键提示 #

Boost MultiIndex的设计目标是维护多个索引的一致性，因此它不允许直接修改或移动容器内的元素（除非你先移除它）。任何会导致元素状态突变的操作都需要先将元素从容器中取出，这是保证容器索引有效性的必要前提。

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