std::execution::sequenced_policy, std::execution::parallel_policy, std::execution::parallel_unsequenced_policy, std::execution::unsequenced_policy

在执行这写执行策略的并行算法的过程中，若元素访问函数的调用因未捕捉的异常退出，则调用 std::terminate ，但实现可以定义以其他方式处理异常的额外执行策略。

注意

在使用并行执行策略时，程序员负责避免数据竞争和死锁：

int a[] = {0,1};
std::vector<int> v;
std::for_each(std::execution::par, std::begin(a), std::end(a), [&](int i) {
  v.push_back(i*2+1); // 错误：数据竞争
});

std::atomic<int> x{0};
int a[] = {1,2};
std::for_each(std::execution::par, std::begin(a), std::end(a), [&](int) {
  x.fetch_add(1, std::memory_order_relaxed);
  while (x.load(std::memory_order_relaxed) == 1) { } // 错误：假设执行顺序
});

int x = 0;
std::mutex m;
int a[] = {1,2};
std::for_each(std::execution::par, std::begin(a), std::end(a), [&](int) {
  std::lock_guard<std::mutex> guard(m);
  ++x; // 正确
});

无顺序执行策略是函数调用彼此间无顺序的仅有情况，这意味着它们可以穿插。 C++ 的所有其他情况中，它们都是非确定顺序的（不能穿插）。因此，在使用这些策略时，不允许用户分配或解分配内存、使用非免锁的 std::atomic 特化、获得互斥或通常而言进行任何向量化不安全操作（向量化不安全函数是与其他函数同步的函数，例如 std::mutex::unlock 与前一 std::mutex::lock 同步）

int x = 0;
std::mutex m;
int a[] = {1,2};
std::for_each(std::execution::par_unseq, std::begin(a), std::end(a), [&](int) {
  std::lock_guard<std::mutex> guard(m); // 错误： lock_guard 构造函数调用 m.lock()
  ++x;
});

若实现无法并行化或向量化（例如由于资源不足），则所有标准执行策略都能回落到按顺序执行。

参阅