C++ 新特性 | C++ 11 | std::move

std::move 是 C++11 引入的一个关键工具，其实现非常简洁但功能强大。

一、std::move

1、std::move 源码实现

在标准库头文件 <utility> 中，std::move 通常实现如下：

template <typename T>
constexpr typename std::remove_reference<T>::type&& move(T&& t) noexcept {
    return static_cast<typename std::remove_reference<T>::type&&>(t);
}

C++14 以后可以简化为：

template <typename T>
constexpr std::remove_reference_t<T>&& move(T&& t) noexcept {
    return static_cast<std::remove_reference_t<T>&&>(t);
}

2、工作原理

• 模板参数 T&&：
  • 这是一个通用引用（universal reference），可以绑定到左值和右值
  • 当传入左值时，T 被推导为 T&
  • 当传入右值时，T 被推导为 T
• std::remove_reference：
  • 移除类型的所有引用修饰，确保我们得到原始类型
  • 例如：std::remove_reference<int&>::type 是 int
• static_cast：
  • 将参数强制转换为右值引用类型
  • 这是实际发生"移动语义魔法"的地方
• noexcept：
  • 表明这个操作不会抛出异常
  • 移动操作通常应该是 noexcept 的

3、关键点解析

• std::move 不执行任何移动操作，它只是将值转换为右值引用
• 实际的移动工作是由移动构造函数或移动赋值运算符完成的
• 转换后的右值引用使得编译器优先选择移动操作而非拷贝操作

注意：std::move 本身不会移动任何数据，它只是执行一个类型转换。

4、示例分析

std::string s1 = "Hello";
std::string s2 = std::move(s1);

1. std::move(s1) 将 s1 转换为 std::string&&
2. 编译器看到右值引用，选择 std::string 的移动构造函数
3. s2 的构造通过移动 s1 的资源完成
4. s1 现在处于有效但未定义状态（通常为空）

5、为什么需要 remove_reference

考虑以下情况：

int x = 10;
int& y = x;
auto&& z = std::move(y);  // 如果没有 remove_reference，可能会得到 int& && 的情况

std::remove_reference 确保我们总是得到干净的 T&& 而不是可能出现的引用折叠情况。

6、总结

std::move 的核心工作就是通过类型转换将一个值标记为"可移动的"，让编译器知道可以使用移动语义而非拷贝语义。它本身不移动任何数据，只是为移动操作创造条件。实际的资源转移是由对应类的移动构造函数或移动赋值运算符完成的。