C++ 17/C++ 1z并行使用std :: for_each

Question

我想使用C++ 17并行功能将a的每个元素除以std::vector一些常量,并将结果存储在另一个std::vector相同长度和(!!)顺序中.

例如

{6,9,12} / 3 = {2,3,4}

我有一个没有编译的例子

#include <execution>
#include <algorithm>

template <typename T>
std::vector<T> & divide(std::vector<T> const & in)
{
  std::vector<T> out(in.size(), 0);

  float const divisor = 3;

  std::for_each
  ( std::execution::par_unseq
  , in.begin()
  , in.end()
  , /* divide each element by divisor and put result in out */ );

  return out;
}

我怎样才能实现这种运行,无锁和线程安全？

Answer 1

这样的事情:

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

template <typename T>
std::vector<T> divide(std::vector<T> result)
{
    // ^^ take a copy of the argument here - will often be elided anyway 

    float const divisor = 3;

    // the following loop mutates distinct objects within the vector and
    // invalidates no iterators. c++ guarantees that each object is distinct
    // and that neighbouring objects may be updated by different threads
    // at the same time without a mutex.
    std::for_each(
        std::execution::par, 
        std::begin(result), 
        std::end(result), 
        [divisor](T& val) {  // copies are safer, and the resulting code will be as quick.
            // modifies value in place
            val /= divisor;
        });

    // implicit fence here. Safe to manipulate the vector as a whole.
    // from here on

  // return by value. Allows RVO.
  return result;
}