Могу ли я по-прежнему полагаться на порядок выходных элементов при использовании par_unseq?

После прочтения документации я все еще запутался в использовании par_unseq. Я знаю, что не могу ничего рассказать о порядке выполнения из-за потоковой передачи и векторизации, но могу ли я по-прежнему полагаться на порядок выходов?

transform([x0, x1, x2], f) == [f(x0), f(x1), f(x2)]]

В порядке слов, будет ли это испытание неудачным?

std::vector<int> xs = {1, 2, 3, 4};
std::vector<int> ys(xs.size());

std::transform(
    std::execution::par_unseq,
    cbegin(xs), cend(xs),
    begin(ys),
    [](int x) { return x*x; });

std::vector<int> expected = {1, 4, 9, 16};
ASSERT_EQ(expected , ys);

Ответ 1

Стандарт [alg.transform] гласит:

Эффекты: присваивает каждому итератору i в диапазоне [result,result + (last1 - first1)) новое соответствующее значение, равное op(*(first1 + (i - result)) или binary_op(*(first1 + (i - result)), *(first2 + (i - result))).

и (спасибо, @Caleth), [algorithmms.parallel.overloads]:

Если не указано иное, семантика перегрузок алгоритма ExecutionPolicy идентична их перегрузкам без.

Итак, да, вы можете положиться на порядок в выходе.

Ответ 2

Нет, ваш тест никогда не сработает, потому что даже если порядок выполнения изменяется, ys[0...3] = xs[0...3] * xs[0...3] = {1*1, 2*2, 3*3, 4*4}; не изменится.