解决boost::flat_map含std::unique_ptr时初始化拷贝错误问题

问题分析 #

boost::container::flat_map的初始化列表构造函数默认要求元素类型支持拷贝操作，但std::unique_ptr是仅可移动、不可拷贝的类型。当你尝试用初始化列表直接传递std::pair<std::string, std::unique_ptr<...>>时，编译器会尝试拷贝unique_ptr，触发其被删除的拷贝构造函数，导致编译失败。

可行解决方案 #

方案1：预构造flat_map并移动传递 #

先手动构造flat_map，通过emplace插入元素（避免拷贝），再将整个容器移动到目标类中。这种方式最直观且安全：

#include <boost/container/flat_map.hpp>
#include <memory>
#include <string>

class AbstractBaseClass {
public:
    virtual ~AbstractBaseClass() = default;
};

class Derived : public AbstractBaseClass {};

class MyClass {
public:
    explicit MyClass(boost::container::flat_map<std::string, std::unique_ptr<AbstractBaseClass>> map)
        : m_map(std::move(map)) {}

private:
    boost::container::flat_map<std::string, std::unique_ptr<AbstractBaseClass>> m_map;
};

int main() {
    boost::container::flat_map<std::string, std::unique_ptr<AbstractBaseClass>> temp_map;
    // 使用emplace直接在容器内构造元素，避免拷贝
    temp_map.emplace("key1", std::make_unique<Derived>());
    temp_map.emplace("key2", std::make_unique<Derived>());
    
    // 移动传递temp_map，无拷贝操作
    MyClass obj(std::move(temp_map));
    return 0;
}

方案2：自定义初始化列表构造函数，手动移动插入 #

给MyClass添加一个接受初始化列表的构造函数，遍历列表时通过std::move将元素转入flat_map。注意：由于初始化列表的元素是const的，需要用const_cast解除const限制（此处安全，因为初始化列表的元素都是临时右值）：

class MyClass {
public:
    MyClass(std::initializer_list<std::pair<std::string, std::unique_ptr<AbstractBaseClass>>> init) {
        m_map.reserve(init.size());
        for (auto&& elem : init) {
            // 移动元素到flat_map，避免拷贝
            m_map.insert(std::move(const_cast<std::pair<std::string, std::unique_ptr<AbstractBaseClass>>&>(elem)));
        }
    }

private:
    boost::container::flat_map<std::string, std::unique_ptr<AbstractBaseClass>> m_map;
};

// 调用方式不变
int main() {
    MyClass obj{{{"key1", std::make_unique<Derived>()}, {"key2", std::make_unique<Derived>()}}};
    return 0;
}

方案3：可变参数模板完美转发构造 #

利用C++11的可变参数模板，直接将构造参数转发给flat_map的emplace方法，实现无拷贝的元素构造：

class MyClass {
public:
    template<typename... Args>
    explicit MyClass(Args&&... args) {
        // 折叠表达式逐个emplace元素
        (m_map.emplace(std::forward<Args>(args)), ...);
    }

private:
    boost::container::flat_map<std::string, std::unique_ptr<AbstractBaseClass>> m_map;
};

// 调用时直接传递pair右值
int main() {
    MyClass obj(
        std::make_pair("key1", std::make_unique<Derived>()),
        std::make_pair("key2", std::make_unique<Derived>())
    );
    return 0;
}

核心思路 #

所有方案的核心都是避免触发std::unique_ptr的拷贝操作，要么通过移动整个容器，要么直接在flat_map内部构造元素，或是将初始化列表的元素移动转入容器。

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