std::list 模板在其实例类型中是否需要复制构造函数（或等效项）？

Question

我有一个类，每个实例都将被解释，创建和销毁受到严格监管。不允许随机移动、复制、临时 - 一旦通过专用函数创建，实例只能通过引用和指针“传递”。

为此，我删除了该类的复制构造函数和赋值运算符。

这些实例本应保存在 std::list 中，由 emplace_back() 创建，按需删除，并且从未打算移动。但我收到有关已删除的复制构造函数的错误。

 In constructor 'std::_List_node<_Tp>::_List_node(_Args&& ...) 
 error: deleted function 'Reader::Reader(const Reader&) 
          stl_list.h:103: error: used here

有没有办法让这个工作？我不需要手工雕刻的 std::list 的替代品？

Answer 1

标题中问题的答案是“视情况而定”。

如果你的类确实有一个移动构造函数，你将能够使用移动构造函数。如果您的类没有移动构造函数，则将使用复制构造函数。

列表中的对象必须以某种方式构造。 emplace_back 使其尽可能高效，但它仍然需要构造一个对象。来自http://en.cppreference.com/w/cpp/container/list/emplace_back：使用placement-new在容器提供的位置就地构造元素。

当emplace_back 的参数是另一个对象时，放置 new 将最终调用复制构造函数或移动构造函数。

如果emplace_back 的参数只是构造对象所需的数据，则不需要复制构造函数或移动构造函数。

---

有没有办法让它工作？

如果您或您的团队关于复制构造函数和移动构造函数的政策尚未公开讨论，您将不得不使用变通方法。

解决方法 1：

存储指向列表中对象的指针。这是最简单的解决方法，只要您可以确保不会在列表背后删除对象并让列表保持悬空指针。

解决方法 2：

存储列表中对象的非指针句柄。这将需要您编写一些簿记代码。如果您可以添加以下功能：

1. 在给定对象指针的情况下获取整数值。整数值可以用作对象的非指针句柄。
2. 在给定先前返回的句柄的情况下获取指向对象的指针。

您可以使用句柄列表轻松管理。

上面的内容可以很容易地通过保持几个随着对象的构造和删除而更新的地图来完成。每次创建对象时，都会将条目添加到映射中。每次删除对象时，都会从地图中删除条目。