如何高效将std::deque的前n个元素移动至另一个std::deque？

Hey，这个问题提得很到位！你当前的实现确实会产生T对象的拷贝，因为std::deque::insert的迭代器范围版本默认是通过拷贝构造来添加元素的。要实现无拷贝的高效移动，我们可以借助C++11引入的移动语义来优化，下面是最优的实现方式：

核心改进：使用std::make_move_iterator #

我们只需要用std::make_move_iterator包装源容器的迭代器，这样insert操作就会调用元素的移动构造函数而非拷贝构造函数，从而避免不必要的拷贝开销。修改后的代码如下：

template <typename T>
void fn(std::deque<T>& src) {
    std::deque<T> storage;
    size_t i = /* 0到src.size()之间的某个计算值 */;
    
    // 用移动迭代器包装源迭代器，实现元素移动
    storage.insert(
        storage.begin(),
        std::make_move_iterator(src.begin()),
        std::make_move_iterator(src.begin() + i)
    );
    
    // 移除源容器中已被移动的元素
    src.erase(src.begin(), src.begin() + i);
    
    // ... 其他操作 ...
}

为什么这是最优解？ #

• 零拷贝开销：std::make_move_iterator会将普通迭代器转换为移动迭代器，当insert遍历这个范围时，会对每个元素执行std::move，触发T的移动构造（如果T支持移动的话）。对于像std::string、std::vector这类移动代价远低于拷贝的类型，性能提升非常明显。
• 代码侵入性低：几乎不需要修改原有代码结构，只需要给迭代器套一层包装即可。
• 边界安全：当i=0时，insert和erase都不会执行任何操作；当i=src.size()时，整个源容器的元素都会被移动到storage开头，源容器变为空，这些场景都能安全处理。

注意事项 #

要让移动语义生效，你的T类型需要是可移动构造的：

• 如果T是自定义类型，确保没有禁用移动构造（比如没有声明拷贝构造却没声明移动构造，或者显式删除了移动构造）。
• 对于大多数STL容器和基本类型，默认都是支持移动构造的，无需额外处理。

如果T是不可移动的类型（比如某些禁用移动的自定义类型），这个方法会退化为拷贝，但这是类型本身的限制，无法避免。

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