C++并行转换vector元素 目标vector无需默认初始化的STL方案

你之前的写法存在未定义行为：std::transform（无论串行还是并行版本）对目标范围执行的是赋值操作而非构造操作，要求传入的输出迭代器指向的位置已经存在构造完成的T对象。你传入空vector的begin()迭代器（本质是尾后迭代器），写入操作属于越界访问，dest内容无变化只是未定义行为的一种表现，也可能直接触发崩溃或内存损坏。
你无法提前resize dest的核心矛盾是：resize会批量调用T的默认构造函数来填充元素，这既不符合T的设计逻辑，也会带来你不想要的额外开销。

C++23正式为std::vector新增了resize_and_overwrite接口，完美匹配你的需求：它会预分配足够存储指定数量元素的原始内存，但不会调用T的任何构造函数，允许你直接在这块未初始化内存上构造元素，最后直接设置vector的size值，全程零额外开销。
你可以直接用它搭配并行std::transform实现需求：

#include <vector>
#include <execution>
#include <algorithm>

dest.resize_and_overwrite(source.size(), [&](T* uninitialized_buf, size_t count) {
    // uninitialized_buf 是预分配好的未初始化内存指针，可直接构造T对象
    std::transform(
        std::execution::par_unseq,
        source.begin(), source.end(),
        uninitialized_buf,
        [](const T& elem) { return op(elem); }
    );
    // 返回实际构造的元素数量，vector会直接将size设为该值
    return count;
});

这个方案的优势：

• 全程不需要调用T的默认构造函数，完全符合T的设计约束
• 转换过程全程并行执行，没有任何额外的拷贝、move、临时对象开销
• 完全符合C++标准，没有未定义行为

目前主流编译器的最新版本（GCC 11+、Clang 14+、MSVC 2022 17.0+）均已支持该接口，即使在C17/C20编译模式下也可以作为厂商扩展使用。

如果你使用的编译器版本较老，无法使用resize_and_overwrite，可以用C++17就加入标准的std::transform_reduce实现，仅在最后合并阶段有极轻量的move开销，不需要默认构造：

#include <vector>
#include <execution>
#include <algorithm>
#include <iterator>

dest.reserve(source.size()); // 预分配空间避免扩容

std::transform_reduce(
    std::execution::par_unseq,
    source.begin(), source.end(),
    std::vector<T>{},
    // 分块结果合并函数
    [&dest](std::vector<T> local_chunk, std::vector<T> next_chunk) -> std::vector<T> {
        if (dest.empty()) {
            dest = std::move(next_chunk);
        } else {
            dest.insert(
                dest.end(),
                std::make_move_iterator(next_chunk.begin()),
                std::make_move_iterator(next_chunk.end())
            );
        }
        return {};
    },
    // 单元素转换逻辑（并行框架会自动分块，不会为每个元素创建独立vector）
    [](const T& elem) -> std::vector<T> {
        std::vector<T> tmp;
        tmp.push_back(op(elem));
        return tmp;
    }
);

不要尝试以下写法：

• 先调用dest.resize(source.size())再执行transform：会触发大量默认构造调用，违反你的需求
• 直接对空vector用std::back_inserter搭配并行transform：back_insert_iterator仅满足输出迭代器要求，不符合并行算法对迭代器的前向迭代器约束，存在数据竞争和未定义行为
• hack STL私有成员直接修改vector内部size指针：依赖具体STL实现，可移植性极差，版本升级后可能失效

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