c++ - 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 的参数只是构造对象所需的数据，那么您不需要复制构造函数或移动构造函数。

---

Is there a way to make this work?

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

解决方法 1:

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

解决方法 2:

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

1. 给定一个指向对象的指针，得到一个整数值。整数值可以用作对象的非指针句柄。
2. 根据先前返回的句柄获取指向对象的指针。

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

通过保留几个随着对象的构建和删除而更新的 map ，可以轻松实现上述目标。每次创建对象时，都会将条目添加到映射中。每次删除对象时，都会从 map 中删除条目。