Visual Studio调用std::reduce时迭代器与初始值类型不同引发编译错误

当使用并行执行策略（比如std::execution::par_unseq）调用std::reduce时，其底层实现需要对多个中间累加结果进行合并。这要求传入的二元操作符必须支持两个累加值类型的参数（也就是代码中std::complex<T>类型的两个参数），而不仅仅是（累加值，迭代器元素）的组合。

你的lambda只定义了(std::complex<T> const&, point2<T> const&)的调用签名，当编译器尝试用两个std::complex<T>调用它时，第二个参数无法从std::complex<T>转换为point2<T>，因此触发编译错误。

而串行版本的std::reduce不需要合并中间结果，只需要按顺序累加，所以二元操作符只需要支持（累加值，元素）的签名即可——这也是你觉得标准没要求类型一致的原因，但并行版本的约束更严格。

有两种常见的修复方式：

方式一：调整lambda支持两种调用场景 #

使用if constexpr让lambda同时处理（累加值，元素）和（累加值，累加值）的情况：

template<typename T>
std::complex<T> foo(std::vector<point2<T>> const& x)
{
    return std::reduce(std::execution::par_unseq, x.begin(), x.end(), std::complex<T>{},
        [&](std::complex<T> const& first, auto const& second) {
            if constexpr (std::is_same_v<std::decay_t<decltype(second)>, point2<T>>) {
                return first + std::complex<T>{ second.x, second.y };
            } else {
                return first + second;
            }
        });
}

方式二：使用std::transform_reduce更清晰地拆分逻辑 #

std::transform_reduce专门用于先转换元素类型、再执行归约的场景，分工更明确，也符合并行执行的要求：

template<typename T>
std::complex<T> foo(std::vector<point2<T>> const& x)
{
    return std::transform_reduce(std::execution::par_unseq, x.begin(), x.end(), std::complex<T>{},
        std::plus<>(), // 合并累加值的二元操作
        [](point2<T> const& p) { return std::complex<T>{p.x, p.y}; } // 转换元素的一元操作
    );
}

这种方式不需要额外处理类型分支，代码可读性更高，是更推荐的写法。

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