ベクトルを受け取り、ビュー フィルターを適用してから変換を行い、最後に最後の要素が存在する場合はそれを返すコードを作成しようとしています。
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 にはカーディナリティの概念が欠けているように見えます。このコードを機能させる範囲に適用できる演算子はありますか? 要素の正確な数を提供するのではなく、要素があるかempty()どうかを検証するだけでよいため、カーディナリティを必要とするのは奇妙に思えます。