C++中拼接unique_ptr向量的函数式写法是否合法？

业务场景与实现背景 #

我们需要通过getFactories()拿到一组std::unique_ptr<FooFactory>，每个工厂调用getFoos()能返回std::vector<std::unique_ptr<Foo>>，最终要把所有Foo实例合并到一个全局vector中。

朴素嵌套循环实现 #

最直接的写法是嵌套循环逐个移动元素，但存在频繁内存分配的问题——目标vector每次push_back都可能触发扩容，带来额外开销：

std::vector<std::unique_ptr<Foo>> mergeAllFoos() {
    std::vector<std::unique_ptr<Foo>> result;
    auto factories = getFactories();
    for (auto& factory : factories) {
        auto foos = factory->getFoos();
        for (auto& foo : foos) {
            result.push_back(std::move(foo));
        }
    }
    return result;
}

如果尝试函数式风格（比如用std::transform+std::back_inserter），会直接编译失败——因为std::unique_ptr禁用了拷贝构造，无法直接复制元素。

常见的的�release好街角，披针翰林 Broab​​某个 Gera重构实现 #

针对上述问题，有人提出了这种写法（核心是用release()转移所有权后重构unique_ptr）：

std::vector<std::unique_ptr<Foo>> mergeAllFoos() {
    std::vector<std::unique_ptr<Foo>> result;
    auto factories = getFactories();

    // 预先计算总大小，一次性分配内存，避免频繁扩容
    size_t totalSize = 0;
    for (auto& factory : factories) {
        totalSize += factory->getFoos().size();
    }
    result.reserve(totalSize);

    for (auto& factory : factories) {
        auto foos = factory->getFoos();
        for (auto& foo : foos) {
            // 释放原unique_ptr的所有权，返回裸指针
            // 用裸指针构造新的unique_ptr，接管所有权
            result.emplace_back(foo.release());
        }
    }
    return result;
}

问题解答 #

1. 该写法是否合法，是否触发未定义行为（UB）？ #

只要是正确实现的release()+重构逻辑，完全合法，不会触发UB。

2. 若不合法，原因是什么？ #

只有写法错误时才会导致UB，常见错误场景包括：

• 调用release()后未及时将裸指针交由新的unique_ptr管理，造成内存泄漏；
• 同一个裸指针被多个unique_ptr接管，最终导致多次释放（double free）；
• 错误操作unique_ptr的底层存储（比如直接修改其内部指针而不通过API），破坏了所有权管理逻辑。

3. 该技巧的原理是什么？ #

std::unique_ptr的核心是独占对象所有权，release()方法的作用是：

1. 放弃当前unique_ptr对指向对象的所有权，返回对象的裸指针；
2. 将当前unique_ptr内部的指针置为nullptr，不再负责该对象的销毁。

重构的本质是所有权的安全转移：把原来由子vector中unique_ptr持有的Foo对象所有权，通过release()主动释放出来，立刻交给目标vector中新创建的unique_ptr实例。整个过程中，每个Foo对象始终有且只有一个unique_ptr持有其所有权，既避免了内存泄漏，也不会出现double free的问题。

这种写法还能配合reserve()预先分配足够内存，彻底解决朴素实现中频繁扩容的性能问题，同时绕过了unique_ptr不可拷贝的限制——我们转移的是所有权，而非拷贝对象本身。

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