Как создать декартов диапазон продуктов из отфильтрованных данных?

Я пытаюсь создать диапазон декартовых продуктов из меньших диапазонов. Я думал, что ranges::v3::view::cartesian_product сработает, но почему-то это не так.

Если я попытаюсь создать декартово произведение, используя контейнеры напрямую, у меня не возникнет проблем. Компилируется следующее:

#include <vector>
#include <range/v3/view/cartesian_product.hpp>

int main() {
    std::vector<int> data1{1,5,2,7,6,3,4,8,9,0};
    std::vector<int> data2{1,5,2,7,6,3,4,8,9,0};
    auto range = ranges::v3::view::cartesian_product(data1, data2);
}

Однако, как только я начинаю использовать фильтры:

#include <vector>
#include <range/v3/view/cartesian_product.hpp>
#include <range/v3/view/filter.hpp>

int main() {
    std::vector<int> data1{1,5,2,7,6,3,4,8,9,0};
    std::vector<int> data2{1,5,2,7,6,3,4,8,9,0};
    auto range = ranges::v3::view::cartesian_product(
            data1 | ranges::v3::view::filter([](int v) { return v%2; }),
            data2);
}

Я получаю массу трудно поддающихся расшифровке ошибок компиляции, начиная с:

In file included from contrib/range/v3/view/cartesian_product.hpp:21:0,
                 from cartesian-err.cpp:2:
contrib/range/v3/range_concepts.hpp: In instantiation of ‘class ranges::v3::cartesian_product_view<ranges::v3::remove_if_view<ranges::v3::iterator_range<__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > > >, ranges::v3::logical_negate_<main()::<lambda(int)> > >, ranges::v3::iterator_range<__gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > >, __gnu_cxx::__normal_iterator<int*, std::vector<int, std::allocator<int> > > > >’:
cartesian-err.cpp:10:18:   required from here
contrib/range/v3/range_concepts.hpp:78:50: error: no match for call to ‘(const ranges::v3::_begin_::fn) (const ranges::v3::remove_if_view<ranges::v3::iterator_range<__gnu_cxx::__normal_iterator<int*, std::vector<int> >, __gnu_cxx::__normal_iterator<int*, std::vector<int> > >, ranges::v3::logical_negate_<main()::<lambda(int)> > >&)’
                 using iterator_t = decltype(begin(std::declval<T &>()));
                                             ~~~~~^~~~~~~~~~~~~~~~~~~~~

Как мне обойти это?

P.S. Есть ли где-нибудь хорошая документация по библиотеке ranges-v3? Я не могу найти, и я чувствую, что иду в темноте...


c++ range-v3
person CygnusX1    schedule 03.01.2019    source источник
comment
Похоже на ошибку range-v3   -  person Barry    schedule 03.01.2019
comment
Оно делает. Я предполагаю, что проблема в том, что декартово представление продукта ожидает, что диапазоны будут константными, а представление фильтра - нет.   -  person Eric Niebler    schedule 04.01.2019

Ответы (1)


arrow_upward
0
arrow_downward

Ошибка или нет, но cartesian_product можно обойти, внедрив ее вручную, как это предлагается в https://github.com/ericniebler/range-v3/issues/173.

Дополнительным преимуществом является то, что вы лучше контролируете порядок итераций, что может повлиять на производительность, если функция фильтра дорогая.

В приведенном выше случае это можно реализовать следующим образом (входные векторы сокращены для краткости):

#include <vector>
#include <iostream>
#include <range/v3/view/for_each.hpp>
#include <range/v3/view/filter.hpp>

int main() {
    std::vector<int> data1{1,5,2,7,6};
    std::vector<int> data2{1,5,2,7,6};
    auto range =
            data1
            | ranges::v3::view::filter([](int v) { return v%2; })
            | ranges::v3::view::for_each([&](int v) {
                return data2 | ranges::v3::view::for_each([v](int v2) {
                    return ranges::v3::yield(std::make_pair(v,v2));
                });
            });
    for (auto&& pair : range) {
        std::cout << "[" << pair.first << "," << pair.second << "]\n";
    }
    return 0;
}

дает ожидаемый результат:

[1,1]
[1,5]
[1,2]
[1,7]
[1,6]
[5,1]
[5,5]
[5,2]
[5,7]
[5,6]
[7,1]
[7,5]
[7,2]
[7,7]
[7,6]
person CygnusX1    schedule 03.01.2019