什么时候需要显式调用 std::move 什么时候不需要在 cpp 中？

Question

我正在研究 Stroustrup 的“C++ v2 之旅”。这当然不是一本 C++ 初学者的书，但很有趣。

我用谷歌搜索过，但对此并不满意。

现在，我想我明白编译器何时可以使用移动构造函数，但显然我不明白。在这里，我展示了移动构造函数和我认为会使用它的函数。它没有。仅当我明确使用 std::move 时。为什么是这样？我的理解是本地 r 在返回时会被隐式“移动”。

template<typename T>
Vector<T>::Vector(Vector<T> && a) // move constructor
     :elem{a.elem},sz{a.sz}{
     a.elem=nullptr;
     a.sz=0;
}

template<typename T>
Vector<T> moveVectorAfterAdd(const Vector<T> &  v1, const Vector<T> & v2){
     Vector<T> r =   v1+v2;
     return std::move(r);
     //return r;
}

int main(void) {
     Vector<double> v1(1);
     Vector<double> v2=v1;
     Vector<double> v3=v2;

     Vector<double> v4=moveVectorAfterAdd(v1,v2);

     return 0;
}

（附带说明，如果我实际上不使用 std::move，尽管编译时没有优化，但 lldb 甚至不会让我在移动构造函数中设置断点。）

很高兴收到任何和所有澄清！

Answer 1

什么时候需要显式调用std::move，什么时候不在cpp中？

简而言之，技术上精确的话：当你有一个想要成为右值的左值时使用 std::move。更实际的是：当你想要一个副本而不是移动时，你会想要这样做。因此名称为 std::move。

在示例中，您返回一个自动变量。使用 std::move 无法避免复制，因为在返回自动变量的特殊情况下，即使从左值也会有移动。

这里我展示了移动构造函数和我认为会使用它的函数。没有。

仅仅因为抽象机器中有一个移动，并不一定意味着会调用移动构造函数。这是一件好事，因为什么都不做可能比调用移动构造函数更快。

这称为（命名）返回值优化。或更一般地，复制省略。使用 std::move 会抑制这种优化，因此在这种情况下不仅没有必要，而且还会适得其反。