std::move(const shared_ptr reference) 是什么意思？

Question

以下是我正在尝试的玩具代码......我理解第一个和第二个。 第一个将所有权授予_p 。 第二个将p复制到_p 。 但是第三个没看懂。。。

const shared_ptr &的std::move是什么意思？ 谢谢你。

class P { };

class A {
public:
    // first one
    A(std::shared_ptr<P> &p, int) : _p(std::move(p))
    {
        std::cout << "1st Ctor: "
                  << p.use_count() << ", " << _p.use_count() << std::endl;
    }

    // second one
    A(const std::shared_ptr<P> &p, std::string) : _p(p)
    {
        std::cout << "2nd Ctor: "
                  << p.use_count() << ", " << _p.use_count() << std::endl;
    }

    // third one
    A(const std::shared_ptr<P> &p) : _p(std::move(p))
    {
        std::cout << "3rd Ctor: "
                  << p.use_count() << ", " << _p.use_count() << std::endl;
    }

private:
    std::shared_ptr<P> _p;
};

int main()
{
    {
        std::shared_ptr<P> p = std::make_shared<P>();
        A a(p, 1);
        std::cout << "1. body: " << p.use_count() << std::endl;
    }
    std::cout << "-------------" << std::endl;
    {
        std::shared_ptr<P> p = std::make_shared<P>();
        A a(p, "2");
        std::cout << "2. body: " << p.use_count() << std::endl;
    }
    std::cout << "-------------" << std::endl;
    {
        std::shared_ptr<P> p = std::make_shared<P>();
        A a(p);
        std::cout << "3. body: " << p.use_count() << std::endl;
    }
 }

结果是：

$ ./a.out 
1st Ctor: 0, 1
1. body: 0
-------------
2nd Ctor: 2, 2
2. body: 2
-------------
3rd Ctor: 2, 2
3. body: 2

（更新：添加评论以澄清哪个是第一个，第二个等）

Answer 1

std::move只执行转换并产生 xvalue (rvalue)。

当被传递一个const std::shared_ptr<P>时，它的返回类型将是const std::shared_ptr<P>&& 。 然后对于_p(std::move(p))将调用std::shared_ptr的复制构造函数（但不是将右值引用到non-const的移动构造函数），效果与第二种情况相同。

基本上移动操作倾向于对被移动的object进行修改； 它不应该适用于const对象。

Answer 2

std::move是将参数转换为右值引用的 function。 function 调用是一个 xvalue 表达式。

当参数是对 const 的引用时，转换的结果是 const 的右值。 如果从右值初始化为 const，将使用复制构造函数，因为移动构造函数的非 const的右值引用参数不能绑定到 const 的右值引用参数。

我认为 OP 还有一个隐含的问题，即_p(std::move(p))可能与_p(p)有何不同

_p(std::move(p))在const std::shared_ptr<T>的情况下与_p(p)没有区别。

理论上，如果decltype(_p)是具有构造函数T(const T&&)的类型，那么会有区别，因为该构造函数将由_p(std::move(p))而不是由_p(p) 。 这样的构造器将是非常规的，但在技术上是结构良好的。 std::shared_ptr没有这样的构造函数。