c++11的 move并没有实际move

c++11的 move并没有实际move

　　首先看第一个例子：

#include <iostream > // std::cout
#include <utility > // std::move
#include <vector > // std::vector
#include <string > // std::string

int main() {

    std::string str = "Hello world.";
    std::vector <std::string > v;

    // 将 使 用 push_back(const T&), 即 产 生 拷 贝 行 为
    v.push_back(str);
    // 将 输 出 "str: Hello world."
    std::cout << "str: " << str << std::endl;

    // 将 使 用 push_back(const T&&), 不 会 出 现 拷 贝 行 为
    // 而 整 个 字 符 串 会 被 移 动 到 vector 中， 所 以 有 时 候 std::move 会 用 来 减 少 拷 贝 出现 的 开 销
    // 这 步 操 作 后 , str 中 的 值 会 变 为 空
    v.push_back(std::move(str));
    // 将 输 出 "str: "
    std::cout << "str: " << str << std::endl;

    return 0;
}

最后打印为"str: "，和我一开始理解的move语义一致，str被移入了vector中，所以str为空。

再看下一段代码，这是在讲完美转发时的一个例子：

# include <iostream >
# include <utility >
void reference ( int & v) {
    std :: cout << " 左 值 引 用 " << std :: endl ;
}
void reference ( int && v) {
    std :: cout << " 右 值 引 用 " << std :: endl ;
}
template <typename T>
void pass (T&& v) {
    std :: cout << " 普 通 传 参 :";
    reference (v);
    std :: cout << " std :: move 传 参 :";
    reference (std :: move (v));
    std :: cout << " std :: forward 传 参 :";
    reference (std :: forward <T >(v));
}

int main () {
    std :: cout << " 传 递 右 值 :" << std :: endl ;
    pass (1);

    std :: cout << " 传 递 左 值 :" << std :: endl ;
    int v = 1;
    pass (v);

    return 0;
}

输出结果为：

传 递 右 值 :
普 通 传 参 : 左 值 引 用
std :: move 传 参 : 右 值 引 用
std :: forward 传 参 : 右 值 引 用
传 递 左 值 :
普 通 传 参 : 左 值 引 用
std :: move 传 参 : 右 值 引 用
std :: forward 传 参 : 左 值 引 用

 令我困惑的是，在pass中，v明明先调用了reference (std :: move (v));然后又调用了一次reference (std :: forward <T >(v));

那么v不应该在第一次move后就已经被移走了吗？

答案是no。

我们看一下move的实现：

template <class _Ty>
_NODISCARD constexpr remove_reference_t<_Ty>&& move(_Ty&& _Arg) noexcept { // forward _Arg as movable
    return static_cast<remove_reference_t<_Ty>&&>(_Arg);
}

也就是说move仅仅只是做了个类型转换，将其转为右值引用类型，并未实际发生移动效果。

而前面第一个例子中的push_back中，实际触发了string的移动构造，导致str被真正移走。

所以，为验证这个想法，只需要简单修改第二个例子就可以验证：

# include <iostream >
# include <utility >
int reference(int& v) {
    std::cout << " 左 值 引 用 " << std::endl;
    return v;
}
int reference(int&& v) {
    std::cout << " 右 值 引 用 " << std::endl;
    return std::move(v);
}

template <typename T>
void pass(T&& v) {
    std::cout << " 普 通 传 参 :";
    reference(v);
    std::cout << " std :: move 传 参 :";
    int a= reference(std::move(v));
    std::cout << " std :: forward 传 参 :";
    int b = reference(std::forward <T >(v));
}

int main() {
    std::cout << " 传 递 右 值 :" << std::endl;
    pass(1);

    std::cout << " 传 递 左 值 :" << std::endl;
    int v = 1;
    pass(v);

    return 0;
}

pass（1）时，v未被移走，而用下面int v = 1传递时，在执行完int a= reference(std::move(v));之后，v就已经不存在了，此处才发生了真正的移动操作。