Использование range :: view :: iota в параллельных алгоритмах

Покопавшись в стандартном черновике, я боюсь, что ответ отрицательный: это не совсем соответствует стандарту для использования ranges::iota_view в параллельной версии for_each.

Параллельная перегрузка for_each объявлена ​​как [alg.foreach]:

template<class ExecutionPolicy, class ForwardIterator, class Function>
  void for_each(ExecutionPolicy&& exec,
                ForwardIterator first, ForwardIterator last,
                Function f);

С другой стороны, в [алгоритмы.требования] мы находим ограничение:

If an algorithm's template parameter is named ForwardIterator, ForwardIterator1, or ForwardIterator2, the template argument shall satisfy the Cpp17ForwardIterator requirements.

Как отметил Билли О'Нил в одной из ссылок, которые я разместил в вопросе, разумная реализация ranges::iota_view::iterator вряд ли будет соответствовать требованию прямого итератора [iterator.cpp17] «равные итераторы ссылаются на один и тот же объект». Следовательно, в моем понимании, ranges::iota_view::iterator не будет удовлетворять требованиям Cpp17ForwardIterator, и то же самое, например, boost::counting_iterator.

Однако на практике я ожидал, что реализации будут использовать std::iterator_traits::iterator_category для отправки соответствующая перегрузка алгоритма, как, кажется, делает PSTL. Поэтому я считаю, что пример кода в OP будет работать так, как задумано. Причина того, что cmcstl2 не работает, вероятно, состоит в том, что используемый iterator_category принадлежит к __stl2 пространство имен, а не к std.

В C++ 20 есть std::views::common, который адаптирует диапазон к стандартным алгоритмам приема пары итераторов. После преобразования входного диапазона в std::ranges::common_range используйте функции std::ranges::begin и std::ranges::end, чтобы получить пару итераторов для std::transform или любого другого алгоритма, который вы используете.

Вот пример программы, предполагающей компилятор C++ 20 (это нет, реализация на основе ranges-v3). Единственный, который я тестировал (по состоянию на октябрь 2020 года), - это G ++ версии 10.

#include <algorithm>
#include <numeric>
#include <execution>
#include <iostream>
#include <vector>
#include <ranges>

int main()
{
    // A "large" number of elements (limited to ten for a reasonably small std::cout output)
    constexpr int N = 10;

    // Some range with a finite number of values (views::take at the end)
    auto very_long_input_range = std::views::iota(0) | std::views::take(N);

    // Source range converted to common_range (which supports std::begin & std::end)
    auto input_range = std::ranges::common_view(very_long_input_range);

    // Element processing function. E.g., if 'i' is a file name and this lambda parses it, it might be a big time-saver
    auto some_complex_function = [](auto i){ return i * i; };

    // Declare and allocate an output array (maybe range_value_t is an overkill here, but still)
    // Using std::ranges::size(input_range) instead of N can also help generalize this code,
    // but input_range must satisfy the std::ranges::sized_range concept
    std::vector< std::ranges::range_value_t<decltype(input_range)> > output_array( N );

    // Use C++17 std::execution::par with a pair of C++20 iterators from std::ranges
    std::transform(std::execution::par,
            std::ranges::begin(input_range),
            std::ranges::end(input_range),
            output_array.begin(),
            some_complex_function);

    // Test the output
    for (auto p: output_array)
            std::cout << p << std::endl;
}

Командная строка для G ++ 10 (Ubuntu 20.20):

g++-10 -std=c++2a -o ptest ptest.cpp -ltbb -lstdc++