为何编译器会尝试实例化错误的STL模板？（选用BinaryOperation而非UnaryOperation）

你遇到的问题其实是并行版本std::transform对输出迭代器的要求导致的，下面一步步分析原因和解决方案：

问题根源 #

并行算法的核心要求是线程安全的无竞争访问，而std::back_inserter本质是通过push_back动态添加元素，多个线程同时调用push_back会导致数据竞争（这本身就是未定义行为）。更关键的是，GCC实现的并行标准库PSTL的std::transform并行版本，并不支持用back_insert_iterator作为输出迭代器——它会导致编译器无法正确推断模板参数，最终误匹配到带二元操作的transform模板，从而抛出"argument may not have 'void' type"的错误。

解决方案 #

提前为输出容器分配足够的空间，让每个输入元素对应输出容器的一个固定位置，这样并行执行时每个线程可以独立写入自己的位置，既保证线程安全，也能让编译器正确匹配一元操作的transform模板：

const std::vector<SimulatedBody>& bodies = m_data.back().m_bodies;
// 提前分配与输入容器相同大小的空间，确保每个线程有独立的写入位置
std::vector<SimulatedBody> updated_bodies(bodies.size());
std::transform(std::execution::par, bodies.begin(), bodies.end(), updated_bodies.begin(), [&](const SimulatedBody& body) {
    return body.updated(*quadtree, m_dt, m_force_algorithm_fn);
});

为什么之前的代码会触发错误？ #

当你使用std::back_inserter时，PSTL的底层实现尝试将其适配为并行写入的迭代器，但失败后，编译器会尝试匹配其他重载的transform模板——也就是接受二元操作的版本：

template< class ExecutionPolicy, class ForwardIt1, class ForwardIt2, class ForwardIt3, class BinaryOperation >
ForwardIt3 transform( ExecutionPolicy&& policy, ForwardIt1 first1, ForwardIt1 last1, ForwardIt2 first2, ForwardIt3 d_first, BinaryOperation binary_op );

这个版本要求操作是二元的，但你的lambda是一元的，编译器在尝试将一元lambda适配到二元操作的上下文时，就会出现"参数不能是void类型"的错误——因为它错误地认为你的lambda应该返回void，但实际上你返回了SimulatedBody。

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