C++中如何无拷贝拼接遍历多个含unique_ptr的vector

核心原则 #

你根本不需要物理上把多个vector的元素拼接成一个全新的容器——物理拼接必然涉及元素的拷贝/移动，对于存储std::unique_ptr的场景，要么直接编译失败（因为unique_ptr不可拷贝），要么会转移原容器的所有权，完全违背零拷贝、不修改原容器的目标。正确的思路是构造惰性拼接的视图：视图本身不存储任何元素，仅持有原vector的const引用，遍历的时候按顺序依次走到每个原vector的范围内，全程没有任何元素拷贝。

常见错误写法的问题 #

你提到的v1 + v2 + ... + vn写法，本质是调用std::vector的operator+，这个接口的语义是生成一个临时的实体vector，把两个容器的元素依次拷贝/移动到新容器中：

• 对存unique_ptr的vector，这个操作会直接触发编译错误，因为unique_ptr没有拷贝构造函数
• 就算替换成可拷贝的元素类型，生成的临时vector会持有一份元素的拷贝，带来不必要的内存开销，且临时对象会在表达式结束时立即析构，如果你错误地把这个临时vector的引用存下来，还会遇到悬垂引用的未定义行为

具体实现方式 #

1. 零依赖的手写辅助遍历 #

不需要引入任何第三方库，利用C++17的折叠表达式就可以实现通用的跨vector遍历，完全零拷贝：

// 递归展开所有传入的vector，对每个元素执行回调
template <typename Func, typename... ConstVecRefs>
void for_each_multi(Func&& element_handler, const ConstVecRefs&... vecs) {
    // 折叠展开，顺序遍历每个vector，仅持有const引用，不拷贝任何元素
    (..., [&](const auto& single_vec) {
        for (const auto& elem_ptr : single_vec) {
            element_handler(*elem_ptr);
        }
    }(vecs));
}

使用方式和需求完全匹配，全程没有任何拷贝：

for_each_multi(
    [](Foo& f) { f.doStuff(); },
    v1, v2, v3, /* ... 依次传入所有需要遍历的vector直到vn */
);

2. 兼容range-for的视图实现 #

如果想要贴近你最初设想的for (const auto& f : 拼接范围)的写法，可以实现一个轻量的拼接视图，仅持有原vector的const引用，提供标准的begin/end接口让range-for可以正常工作：

// 通用拼接视图，不持有任何元素
template <typename... Vecs>
class ConcatView {
    // 仅存储原vector的const引用
    std::tuple<const Vecs&...> vec_refs;
public:
    explicit ConcatView(const Vecs&... vecs) : vec_refs(vecs...) {}

    // 实现跨多vector的迭代器逻辑，遍历完一个自动跳到下一个
    auto begin() const { /* 迭代器实现：依次跟踪每个vector的当前位置 */ }
    auto end() const { /* 终止迭代器实现 */ }
};

// 重载+号，返回拼接视图而非实体vector
template <typename L, typename R>
ConcatView<L, R> operator+(const L& left, const R& right) {
    return ConcatView<L, R>(left, right);
}

经过这个重载后，你最初想要的链式写法就可以直接运行，全程没有任何元素拷贝：

for (const auto& f : v1 + v2 + v3 + /* ... + vn */) {
    f->doStuff();
}

3. 标准库范围工具的使用 #

如果使用内置范围视图的编译环境（C++20及以上标准，以及兼容范围接口的实现），不需要手写视图逻辑，通过范围的组合能力即可实现零拷贝遍历：将多个原vector组合成嵌套范围，通过join操作将嵌套范围摊平为单层迭代范围，整个组合范围本质上就是一系列引用原vector的轻量视图，没有任何元素的拷贝，摊平后的范围可以直接写入range-for循环。

注意事项 #

• 拼接视图本身不持有任何元素的所有权，生命周期完全依赖原vector：只要原vector被销毁、或者被修改成重新分配内存，对应的视图就会变成悬垂引用，触发未定义行为，视图仅适合临时遍历场景使用
• 全程不要对存储在vector里的unique_ptr做任何拷贝操作，所有访问都通过const引用解引用unique_ptr拿到Foo对象，直接调用方法，完全不涉及指针所有权的转移
• 永远不要把拼接视图强制转换成实体vector，只要触发实体容器的构造，就必然产生元素的拷贝/移动，打破零拷贝的要求

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