Question

我对unique_ptr和rvalue move哲学感到困惑。

假设我们有两个集合：

std::vector<std::auto_ptr<int>> autoCollection;
std::vector<std::unique_ptr<int>> uniqueCollection;

现在我希望以下内容失败，因为没有人知道算法在内部做了什么，可能会制作内部数据透视副本等，从而剥夺了auto_ptr的所有权：

std::sort(autoCollection.begin(), autoCollection.end());

我明白了。并且编译器正确地不允许这种情况发生。

然后我这样做：

std::sort(uniqueCollection.begin(), uniqueCollection.end());

这就编译了。我不明白为什么。我不认为unique_ptrs可以被复制。这是否意味着不能采用枢轴值，因此排序效率较低？或者这个转轴实际上是一个移动，实际上它与auto_ptrs的集合一样危险，编译器应该不允许这样做？

我想我错过了一些重要的信息，所以我急切地等着有人给我提供啊哈！时刻。

Answer 1

我认为这更像是一个哲学问题，而不是技术问题：）

基本问题是移动和复制之间的区别。我不会跳到技术/标准语言，让我们简单地做：

复制：创建另一个相同的对象（或者至少是一个应该比较相同的对象）
移动：取一个物体并将其放在另一个位置

正如您所说，可以在复制方面实施移动：在新位置创建副本并丢弃原始位置。但是那里有两个问题。一个是性能，第二个是用于RAII的对象：两者中哪一个应该拥有所有权？

正确的Move构造函数解决了两个问题：

很清楚哪个对象拥有所有权：新的对象，因为原件将被丢弃
因此无需复制指向的资源，从而提高效率

auto_ptr和unique_ptr就是一个非常好的例证。

使用auto_ptr你有一个搞定的复制语义：原始和副本不相等。您可以将它用于Move语义，但是您可能会丢失指向某处的对象。

另一方面，unique_ptr就是这样：它保证了资源的唯一所有者，从而避免了复制和随之而来的不可避免的删除问题。并且在编译时也保证无副本。因此，只要您不尝试复制初始化，它就适用于容器。

typedef std::unique_ptr<int> unique_t;
typedef std::vector< unique_t > vector_t;

vector_t vec1;                           // fine
vector_t vec2(5, unique_t(new Foo));     // Error (Copy)
vector_t vec3(vec1.begin(), vec1.end()); // Error (Copy)
vector_t vec3(make_move_iterator(vec1.begin()), make_move_iterator(vec1.end()));
    // Courtesy of sehe

std::sort(vec1.begin(), vec1.end()); // fine, because using Move Assignment Operator

std::copy(vec1.begin(), vec1.end(), std::back_inserter(vec2)); // Error (copy)

所以可以在容器中使用unique_ptr（与auto_ptr不同），但是许多操作都是不可能的，因为它们涉及类型不支持的复制。

不幸的是，Visual Studio在执行标准方面可能非常宽松，并且还需要禁用许多扩展以确保代码的可移植性...不要用它来检查标准：）< / p>

Answer 2

正在使用移动构造函数移动unique_ptr。 unique_ptr是Movable，但不是CopyConstructable。

关于右值参考here的文章很棒。如果你还没有读过它们，或者感到困惑，那就去看看吧！

Answer 3

只要在任何给定时间每个对象只有一个实时副本，

std::sort只能用于移动操作而不能复制。这比在原地工作要求更弱，因为原则上你可以临时分配另一个数组并在重新排序时移动所有对象。

例如，std::vector<std::unique_ptr<T>>超出其容量，它为更大的向量分配存储，然后将所有对象从旧存储移动到新存储。这不是一个就地操作，但它完全有效。

事实证明，快速排序和堆排序等排序算法实际上可以毫无困难地就地工作。 quick-sort的分区例程在内部使用std :: swap，它被视为所涉及的两个对象的移动操作。选择一个数据透视图时，一个技巧是将它与范围中的第一个元素交换，这样它就不会被移动，直到分区完成。

那么unique_ptr可以在stl集合中安全使用吗？

3 个答案: