为何std::move后vector未被移动反而复制？代码解析

代码示例 #

// header
void Method1(const bool& b, std::vector<int>&& v);
bool Method2();

bool CMyClass::Method1()
{
    std::vector<int> v{ 1, 2, 3 };
    TRACE("%d\n", v.size());
    Method2(true, std::move(v));
    TRACE("%d\n", v.size());
    return true;
}

void CMyClass::Method2(const bool& b, std::vector<int>&& v)
{
    TRACE("%d\n", v.size());
}

运行结果 #

3
3
3

问题分析与解答 #

1. 函数声明与定义不匹配（代码致命错误） #

你贴出的代码存在严重的签名不一致问题：

• 头文件声明的Method1是带两个参数的void函数，但类实现的CMyClass::Method1()是无参、返回bool的函数，二者属于完全不同的重载
• 头文件声明的Method2是无参、返回bool的函数，但类实现的CMyClass::Method2是带两个参数的void函数，签名完全不匹配

这种错误会导致编译器无法正确解析函数调用，甚至引发未定义行为，必须先修正头文件的函数声明，让它和类实现的签名完全一致。

2. 移动后原vector的size()不强制为0（核心误解） #

假设修正了签名问题，调用的确实是接受右值引用的Method2，那看到原vector的size()仍为3是完全正常的——C++标准并未强制要求移动构造/赋值后的原对象必须变为空状态。

移动语义的核心是转移资源所有权，原对象会进入「有效但未指定的状态」：它可以被安全销毁，也可以被重新赋值，但你不能依赖它的原有属性（比如size、元素值）。不同STL实现对移动后原对象的处理存在差异：部分实现会将原vector的size设为0，部分则保留size数值但清空内部资源（或仅转移指针，未修改原对象的size成员）。

若要验证移动语义是否生效，你可以：

• 检查Method2中vector的data()指针，是否与原对象移动前的data()指针一致（复制的话指针会不同，移动则会转移指针所有权）
• 在Method2中修改vector元素，观察原对象元素是否处于未指定状态（复制的话原对象元素不受影响，移动则原对象元素无意义）

内容的提问来源于stack exchange，提问作者Flaviu_