从 initializer_list 构造 std::map<T, unique_ptr<S>> 时出错

Posted 2023-02-22

【中文标题】从 initializer_list 构造 std::map<T, unique_ptr<S>> 时出错

【英文标题】：Error Constructing std::map<T, unique_ptr<S>> from an initializer_list

【发布时间】：2017-10-07 06:34:47

【问题描述】：

C2280 - 尝试引用已删除的函数是我尝试从 initializer_list 构造 std::map> 时遇到的错误

我制作了最简单的代码（如下）来代表我的问题：

#include <string>
#include <map>
#include <memory>
using namespace std;

int main() 
    map<string, unique_ptr<int>> MyMap
         "first" ,make_unique<int>(6)  ,
         "second",make_unique<int>(22) ,
         "third" ,make_unique<int>(86) 
    ;

所以我意识到unique_ptr 不能被复制，但是由于make_unique 返回一个右值，unique_ptr 不应该被移动到initializer_list 中吗？ 顺便说一句，如果我用 shared_ptr 替换 unique_ptr，那么问题就解决了，但不是我正在寻找的解决方案，我想保留该初始化样式和 unique_ptr。 那么这个对已删除函数的有问题的调用到底发生在什么时候呢？有没有办法在不替换 unique_ptr 的情况下编译它？

【问题讨论】：

不幸的是，它并没有真正这样工作。您必须明确地move 指针。

我已经将 make_unique() 包含在 move 函数中，仍然无法编译...我做错了吗？你能告诉我一个正确方法的例子吗？

@Someprogrammerdude：这不是问题。指针被正确移动到初始化列表中。但是它们并没有被移出初始化列表并进入地图。而且我认为没有什么好的方法。

【参考方案1】：

遗憾的是，这是std::initializer_list 对象的限制之一。他们只提供const 对其元素的访问，因此无法移出它们。最好的办法是用老式方式初始化地图。

map<string, unique_ptr<int>> MyMap;
MyMap["first"] = make_unique<int>(6);
// etc.

如果您需要地图为const，您可以创建一个临时地图并从中移动：

const map<string, unique_ptr<int>> myMap = [] 
    map<string, unique_ptr<int>> m;
    m["first"] = make_unique<int>(6);
    // etc.
    return m;  // RVO or implicit move
();

您也可以使用std::map 的范围构造函数，但是您必须自己为此编写一个特殊的迭代器类型，这会很烦人。

【讨论】：

您的意思是在该 lambda 的末尾添加一个调用吗？

好吧，这太糟糕了... xD 然后是老式的方式:)

@BenjaminLindley 是的，感谢您了解这一点。您也可以自己编辑答案:)