移动语义出乎意料

Question

表现在下面的代码，在foo断言失败：

void bar (std::shared_ptr<int> && value) { 
} 

void foo() { 
    auto ptr = std::make_shared<int>(5); 
    bar(std::move(ptr)); 
    assert(ptr == nullptr); 
} 

共享指针仍然指向呼叫到bar后的值5。我期望拨打bar的电话使用移动语义，并将ptr留空。

我的理解缺陷在哪里？

Answer 1

执行实际移动后指针将变为空。 std::move本身不会移动任何东西。它简单地使得将名为对象ptr的传递给右值参考预期函数成为可能。

由于您实际上没有在该功能（或任何其他位置）内移动任何内容，因此指针始终保持不动。

做到这一点（对于一个例子）

void bar (std::shared_ptr<int> && value) { 
    std::shared_ptr<int> another_ptr(std::move(value)); 
} 

，你会看到你原来的指针移动。

Answer 2

基本上，std::move()只是一个演员。

更改bar()可以查看您想要的结果。

void bar (std::shared_ptr<int> && value) 
{ 
    std::shared_ptr<int> v{std::move(value)}; 
}