0

尝试构建采用向量的代码，应用视图过滤器，然后进行变换，最后返回最后一个元素（如果存在）：

int foo()
{
  std::vector<int> v = {0, 1, 5, 3, 8, 9};
  auto r =
    v
    | view::filter([] (auto i) { return i % 2 == 0; })
    | view::transform([] (auto i) { return i * 2; });

  return r.empty() ? 0 : r.back();
}

编译它会导致以下错误：

test.cpp: In function 'int foo()':
test.cpp:14:18: error: no matching function for call to 'ranges::v3::transform_view<ran
ges::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_<foo()::<lambda(auto:1)> > >, foo()::<lambda(auto:2)> >::empty()'
   return r.empty() ? 0 : r.back();
                  ^
In file included from range-v3/include/range/v3/view_facade.hpp:21:0,
                 from range-v3/include/range/v3/core.hpp:21,
                 from range-v3/include/range/v3/all.hpp:17,
                 from test.cpp:1:
range-v3/include/range/v3/view_interface.hpp:88:28: note: candidate: template<in
t _concept_requires_87, typename std::enable_if<((_concept_requires_87 == 43) || ((ranges::v3::cardinality)-1 >= 0)), int>::type <anonymous
> > constexpr bool ranges::v3::view_interface<Derived, <anonymous> >::empty() const [with int _concept_requires_87 = _concept_requires_87;
typename std::enable_if<((_concept_requires_87 == 43) || (Cardinality >= 0)), int>::type <anonymous> = <enumerator>; Derived = ranges::v3::
iter_transform_view<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_<foo()::<lambda(auto:1)> > >, ranges::v3::indirected<foo()::<lamb
da(auto:2)> > >; ranges::v3::cardinality Cardinality = (ranges::v3::cardinality)-1]

因此，transform_view 似乎缺少基数概念，不管它是在转换后的向量上运行的事实。是否有可以应用于允许此代码工作的范围的运算符？需要 Cardinality似乎很奇怪，empty()因为它只需要验证是否有任何元素，而不是提供元素的确切数量。

4

1 回答 1

2

view::filter在较旧版本的 range-v3 中生成了一个InputRange，因此不提供emptyor back（以避免人们编写他们begin在输入视图上重复调用的错误）。您需要 range-v3 0.3.6 或 trunk，view::filter如果基础范围是双向的，则其中是双向的。

于 2018-08-09T23:29:46.250 回答