使用 Ranges-v3 保留双向性 view::join

Question

我运行在使用（惊人的）Ranges-v3 库的 view::join 函数对象时遇到了一些困难。我的客户端代码依赖于返回方法的存在（并且非常感谢随机访问迭代器）以获取范围集合的聚合视图。

查看 relevant documentation 后，似乎 back 方法与 join_view class 模板的实例兼容，但我一直无法实例化它因此。

#include <iostream>
#include <vector>
#include <range/v3/all.hpp>

struct Foo{
    std::vector<int> i = {1,2,3,4};
    const std::vector<int>& data() const { return this->i; }
};

int main(){
    std::vector< Foo > foos = { Foo(), Foo(), Foo() };

    auto data = []( auto&& foo ){ return foo.data() | ranges::view::all; };
    auto flat = foos | ranges::view::transform(data) | ranges::view::join;
    std::cout << flat.back() << std::endl; // compiler error
}

编译器错误消息的相关位是：

main.cpp:17:28: error: no matching function for call to 'ranges::v3::join_view<ranges::v3::transform_view<ranges::v3::range<__gnu_cxx::__normal_iterator<Foo*, std::vector<Foo> >, __gnu_cxx::__normal_iterator<Foo*, std::vector<Foo> > >, main()::<lambda(auto:1&&)> >, void>::back()'

 std::cout << flat.back() << std::endl; // compiler error

/usr/local/include/range/v3/range_interface.hpp:116:34: note: candidate: template<class D, int _concept_requires_115, typename std::enable_if<((_concept_requires_115 == 43) || ((std::is_same<D, ranges::v3::join_view<ranges::v3::transform_view<ranges::v3::range<__gnu_cxx::__normal_iterator<Foo*, std::vector<Foo> >, __gnu_cxx::__normal_iterator<Foo*, std::vector<Foo> > >, main()::<lambda(auto:1&&)> >, void> >() && ranges::v3::concepts::models<ranges::v3::concepts::BoundedView, T>()) && ranges::v3::concepts::models<ranges::v3::concepts::BidirectionalView, T>())), int>::type <anonymous> > ranges::v3::range_reference_t<D> ranges::v3::range_interface<Derived, Inf>::back() [with D = D; int _concept_requires_115 = _concept_requires_115; typename std::enable_if<((_concept_requires_115 == 43) || ((std::is_same<D, Derived>() && ranges::v3::concepts::models<ranges::v3::concepts::BoundedView, D>()) && ranges::v3::concepts::models<ranges::v3::concepts::BidirectionalView, D>())), int>::type <anonymous> = <enumerator>; Derived = ranges::v3::join_view<ranges::v3::transform_view<ranges::v3::range<__gnu_cxx::__normal_iterator<Foo*, std::vector<Foo> >, __gnu_cxx::__normal_iterator<Foo*, std::vector<Foo> > >, main()::<lambda(auto:1&&)> >, void>; bool Inf = false]

         range_reference_t<D> back()

/usr/local/include/range/v3/range_interface.hpp:115:17: error: no type named 'type' in 'struct std::enable_if<false, int>'

                 CONCEPT_REQUIRES_(Same<D, Derived>() && BoundedView<D>() && BidirectionalView<D>())>

第一个要求似乎是强制正确使用已满足的 CRTP。所以 join_view 违反了 BoundedView 或 BidirectionalView 的概念（或两者）。我能够快速排除前者的可能性。

auto flat = foos 
  | ranges::view::transform(data) 
  | ranges::view::join 
  | ranges::view::bounded;
std::cout << flat.back() << std::endl; // compiler error

在这种情况下，flat满足BoundedView的概念，但错误信息保持不变。

为了验证 BidirectionalView，我尝试检查了 join_view 的迭代器，但遇到了（可疑的）错误。

auto it = flat.begin();
std::cout << *it << std::endl; // correct
++it; std::cout << *it << std::endl; // correct
--it; std::cout << *it << std::endl; // doesn't actually decrement
auto other = --it;
std::cout << *it << ' ' << *other << std::endl; // also doesn't decrement

我写了一个live version方便查看。

有没有人成功实例化了双向 join_view？关于如何在不复制基础数据的情况下实现类似行为的任何建议？

Answer 1

Range-v3 的 join 视图满足 InputRange，但不满足 Forward 或任何更强的要求。它与如何完成连接有关。在迭代内部范围时，该范围需要存储在某个地方。某处位于 join_view 对象的成员中。换句话说，join_view 在您遍历它时会发生变化。因此，它无法对任何强于 Input.

的范围类别建模

使用 Ranges-v3 保留双向性 view::join

Retain bidirectionality with Ranges-v3 view::join

c++

c++14

range-v3