std::move对内置数组和std::array无效，因其无移动语义；真正可移动的是std::vector、std::string等支持移动操作的类型，需通过堆容器或智能指针实现零拷贝资源转移。
std::move 不能直接移动内置数组
直接对 int arr[10] 或 std::array<int, 10> 调用 std::move(arr) 不会“移动数据”，只是生成一个右值引用——它不改变内存布局，也不触发任何移动语义。内置数组类型（如 T[N]）没有移动构造函数或移动赋值运算符，std::move 对它纯属无效操作。
常见错误现象：auto moved_arr = std::move(arr); 后 arr 仍可读、内容未变、也没报错——但这不是移动成功，是“什么都没发生”。
- 真正能移动的是拥有移动语义的容器，比如
std::vector、std::string、std::unique_ptr -
std::array是聚合类型，拷贝开销小，标准没给它定义移动操作（C++20 仍未添加），所以std::move它等价于拷贝 - 若想零拷贝转移大块数据，必须用堆分配容器（如
std::vector）或智能指针包装原始数组
用 std::vector + std::move 实现真正的数据转移
这是最常用、最安全的替代方案：把数组数据放进 std::vector，再用 std::move 转移其内部缓冲区所有权。
示例：
立即学习“C++免费学习笔记（深入）”；
std::vector<int> create_data() {
std::vector<int> v(1000000, 42);
return std::move(v); // ✅ 触发移动构造，不复制底层内存
}
<p>std::vector<int> data = create_data(); // 底层指针直接移交，O(1)
- 返回局部
std::vector时，即使不写std::move，编译器通常也会执行返回值优化（RVO）；显式std::move在某些场景（如条件分支返回）可确保移动而非拷贝 - 接收方必须用非 const 左值引用或直接初始化（如
auto v = std::move(src)），否则可能意外触发拷贝 - 移动后
src处于有效但未指定状态（通常为空），不可再访问src.data()或src[0]
手动管理原始数组时如何“移动”
如果你坚持用裸指针和 new[]，可以用 std::unique_ptr<T[]> 封装，它支持移动且无拷贝开销。
示例：
立即学习“C++免费学习笔记（深入）”；
auto make_array() {
auto ptr = std::make_unique<int[]>(1000000);
for (int i = 0; i < 1000000; ++i) ptr[i] = i;
return std::move(ptr); // ✅ 转移唯一所有权
}
<p>auto arr_ptr = make_array(); // 原始指针直接移交，无内存复制
-
std::unique_ptr<T[]>的移动是轻量级指针传递，析构时自动调用delete[] - 切勿对裸数组指针（如
int* p = new int[100];）调用std::move(p)——这只是移动指针值，不改变资源归属，极易导致双删或泄漏 - 如果必须用
std::shared_ptr<int[]>，注意 C++17 起才支持带数组类型的std::shared_ptr自动调用delete[]
std::move 后访问原数组的典型崩溃点
最容易被忽略的是：对已移动的容器（如 std::vector）继续取 .data()、.size() 或下标访问，行为未定义——它可能返回空指针、抛异常，也可能看似正常但踩内存。
- 移动后立即检查是否为空：
if (!v.empty()) { ... }不可靠，因为v.empty()可能返回true，但v.data()未必为nullptr（标准只保证有效性，不保证具体值） - 调试时开启
-D_GLIBCXX_DEBUG（GCC）或使用 libc++ 的 debug mode，能让部分越界/已移动访问触发断言 - 不要试图“复用”已移动对象：哪怕只调用
v.clear()，也比继续读写安全；但最好让变量作用域自然结束
移动语义的核心不是“把数据搬走”，而是“把资源控制权转交”——数组数据本身从不移动，变的只是谁负责释放它。
