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;
});

如果实现无法并行化或向量化（例如由于资源不足），所有标准执行策略都可以回退到顺序执行。

参见