使用move_iterator将list元素移至vector后擦除源段是否安全？

我计划把std::list里的部分元素移到目标容器（比如std::vector）做后续处理。想请教用move_iterator完成元素移动后，擦除源容器中已移动的元素段是否安全？相关代码示例如下：

#include<list>
#include<vector>
#include<iterator>
struct DataPoint {};
int main() {
    std::list<DataPoint> d_data; // 源容器
    std::vector<DataPoint> v2;   // 目标容器
    v2.insert(v2.end(), 
              std::make_move_iterator(d_data.begin()), 
              std::make_move_iterator(d_data.begin() + size)
             );
    d_data.erase(d_data.begin(), d_data.begin() + size);  // 安全吗？有必要吗？
    //...
    //d_batch->addData(v2);
    return 0;
}

解答 #

擦除操作是安全的 #

用std::move_iterator移动元素后，源容器里被移动的元素会处于合法但未定义的状态——简单说就是，这些对象还能正常被析构，也能接受赋值，但你不能依赖它们的内部数据（比如原本的成员变量值可能已经被转移走了）。std::list::erase会调用这些元素的析构函数，而移动后的对象析构完全没问题，不会触发未定义行为。

不过要纠正你代码里的一个错误：std::list的迭代器是双向迭代器，不支持随机访问，不能直接用+运算符跳到指定位置。正确的做法是先用std::advance移动迭代器：

auto end_it = d_data.begin();
std::advance(end_it, size);
v2.insert(v2.end(), std::make_move_iterator(d_data.begin()), std::make_move_iterator(end_it));
d_data.erase(d_data.begin(), end_it);

擦除操作是必要的 #

如果不擦除这些元素，它们会一直留在std::list里。这些移动后的对象相当于“空壳”——如果DataPoint里有动态分配的资源（比如指针、容器），这些资源已经被转移到v2的元素中了。留在源容器里的空壳不仅浪费内存，后续要是不小心访问它们（比如调用成员函数），很可能得到意料之外的结果。所以不管是从资源管理还是避免潜在bug的角度，都应该把已移动的元素段从源容器里删掉。

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