为何std::move(std::vector<int>)未执行移动操作？

核心原因很简单：你代码里的std::move只做了类型转换，没有执行任何实际的资源转移操作。

1. std::move的本质 #

std::move(V)并没有修改V本身，它只是把左值V转换成右值引用类型——相当于给编译器发了个信号：这个对象允许被移动（即转移它的底层资源）。但转换本身不会动V的内存、元素或size，原对象的状态完全不变。

2. 你的set函数没触发移动逻辑 #

你重载的set(std::vector<int>&&)函数里，只是读取了V的size和遍历元素，没有调用任何会触发移动语义的操作。比如：

• 没有用std::move(V)初始化另一个vector
• 没有给V赋值右值对象
• 没有调用vector的移动相关成员函数

既然没触发资源转移，V的元素自然还在原容器里。

3. 如何触发真正的移动 #

如果要让原V的资源被转移，需要在右值引用的set函数里执行移动操作，比如把V的资源转移给另一个vector：

void set(std::vector<int>&& V )
{
    std::cout<<"rvalue,size:"<<V.size()<<"-->";
    for(int i : V)
        std::cout<<" "<<i;
    std::cout<<"\n";
    
    // 执行移动构造，转移V的底层资源
    std::vector<int> moved_v = std::move(V);
    
    // 此时原V的状态变为未指定，主流实现下size会变成0
    std::cout<<"After move, original V size: "<<V.size()<<"\n";
}

运行这段代码，第一次调用set(std::move(V))后，原V的size通常会变为0（这是主流编译器的实现，但C++标准并没有强制要求）。第二次调用时访问V的size和元素属于未指定行为——可能输出0，也可能保留之前的值，但绝对不能依赖这种行为。

4. 移动后的对象状态 #

C++标准规定，被移动后的对象处于可析构、可赋值的安全状态，但对它执行其他操作（比如访问元素、调用size()）的结果是未指定的。也就是说，移动后你只能安全地做两件事：销毁它，或者给它赋值新的内容，不能假设它的size或元素还保持原来的样子。

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