移动 std::shared_ptr 的函数声明答案

【问题标题】：Function declaration for moving std::shared_ptr移动 std::shared_ptr 的函数声明
【发布时间】：2017-09-15 00:33:02
【问题描述】：

对于通过值与引用传递共享指针，很少有好的答案。但是，我没有找到关于“移动”共享指针的最佳实践的答案。

我有一个函数，它有一个指向对象的共享指针，它不想持有。据我了解，移动它是性能方面的最佳选择，因为我们可以跳过增加然后立即减少引用计数的步骤。但是，我不清楚这两个声明之间是否有区别：

调用函数

foo(std::move(sourcePtr));

声明应该是

选项 1

void foo(std::shared_ptr<X> x);

或选项 2

void foo(std::shared_ptr<X>&& x);

【问题讨论】：

这取决于函数对shared_ptr 的作用。例如，如果函数什么都不做，在第一种情况下，调用者的shared_ptr 被移出，在第二种情况下则没有。
函数是否只使用指向的对象？还是它会修改 hared_ptr` 本身？
只持有强引用，不修改对象。

标签： c++ c++11 shared-ptr move-semantics

【解决方案1】：

值得注意的是std::move实际上并没有对对象执行move，它只是将对象转换为一个右值（xvalue）。

那么对于第一种情况，参数x 将从sourcePtr 移动构造。之后sourcePtr 的托管指针将为空。

对于第二种情况，没有 std::shared_ptr 正在构造； x 是一个右值引用并绑定到 sourcePtr。然后会发生什么取决于foo() 的实现，并且sourcePtr 不会被移动，直到你通过x 在foo() 中执行它，例如std::shared_ptr<X> new_x = std::move(x);.

【讨论】：

是的，我确实有一个成员变量（foo() 在不同的类中）这样做 - std::shared_ptr<X> new_x = std::move(x); 所以选项 1 然后 std::shared_ptr<X> new_x = std::move(x) 是最好的选择，因为我不'不打算修改对象？
@idok don't modify the object 是什么意思？当使用 option1 和 foo(std::move(sourcePtr)); 时，sourcePtr 将从中移动并指向一个空指针。好吗？
是的，调用方法不需要指针。所以如果 sourcePtr 为空也没关系。这不是“移动”的全部意义吗？表示调用方法对它没有用处，因此想移动它。
@idok 假设这两个选项具有相同的实现，包括std::shared_ptr<X> new_x = std::move(x);，那么对于选项1，将执行两次移动，即当sourcePtr 传递给foo 和std::shared_ptr<X> new_x = std::move(x); 时。对于选项 2，将执行一次移动，即当 std::shared_ptr<X> new_x = std::move(x); 时。这是不同的点。