Привет, я уже задавал вопрос в др чат, попробую здесь Правильно

ли я понимаю что несмотря на то, что в С++17 появились политики выполнения и parallel STL, но во многих алгоритмах их использовать нельзя из-за того что
'Non-ranges algorithms require that mutable iterators be Cpp17ForwardIterators or stronger.'

к примеру, если я запущу этот код:
#include <iostream>
#include <vector>
#include <algorithm>
#include <execution>

int main() {
    auto L = std::vector<int>();

    auto L1 = std::vector<int>() = {1, 2, 3, 4, 5, 6, 6};
    auto L2 = std::vector<int>() = {4, 5, 6, 6, 7, 8};

    std::set_intersection(
            std::execution::par,
            L1.begin(), L1.end(),
            L2.begin(), L2.end(),
            std::back_inserter(L));

    std::cout << "L (values): ";
    for (const int& value : L) {
        std::cout << value << " ";
    }

    std::cout << std::endl;

    return 0;
}
то на MSVC на C++20 получу эту ошибку, а на MinGW — всё норм (ПОЧЕМУ...)

и самое главное как удовлетворить критерии итератора, чтобы: запустить этот алгоритм с политикой выполнения?

просто зачем вообще тогда есть оверлоад с std::execution policy, если его нельзя использовать по причине того что итератор не удвлетворяет критерию 🥹

есть такая папира: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2408r5.html https://en.cppreference.com/w/cpp/compiler_support/23 утверждает, что она реализована. Поэтому, кажется, должно быть достаточно обновить компилятор до 17.4.

Вроде forward в отличие от output, который передаете вы, не мешает паралельной работе. Чтобы получить random access видимо нужно ресайзнуть вектор под min(size(L1), size(L2)) элементов и передавать begin(L). Алгоритм вернет новый end. В прочем я не уверен, что set_intersection имеет смысл паралеллить. Unsequenced (или parallel_unsequenced), наверное, здесь более уместен. Ну и стандарт ничего не гарантирует: во-первых, может просто не быть специализации под итераторы других категорий. Во-вторых, все execution policy имеют право деградировать до sequential execution.

да, я видел, но я не очень понял что там в этой бумаге, у меня версия MSVC 19.35.32 видимо там всё работает, проблема была в неподходящем back_inserter-е

СПАСИБО!