3

std::ranges::filter_viewがconstだとstd::ranges::rangeを満たさなくなるようなのですが、その理由は何なのでしょうか?

#include <ranges>
using namespace std::ranges;
static_assert(range<drop_view<views::all_t<int(&)[10]>>>);
static_assert(range<const drop_view<views::all_t<int(&)[10]>>>);
static_assert(range<take_view<views::all_t<int(&)[10]>>>);
static_assert(range<const take_view<views::all_t<int(&)[10]>>>);
static_assert(range<transform_view<views::all_t<int(&)[10]>, bool(*)(int)>>);
static_assert(range<const transform_view<views::all_t<int(&)[10]>, bool(*)(int)>>);
static_assert(range<filter_view<views::all_t<int(&)[10]>, bool(*)(int)>>);
// static_assert(range<const filter_view<views::all_t<int(&)[10]>, bool(*)(int)>>);  // error

それ以外のviewはconstでも平気なようなのですが。

1 件の回答 1

4

std::ranges::filter_viewがconstだとstd::ranges::rangeを満たさなくなる

直接理由は「std::ranges::filter_viewクラステンプレートがconst修飾されたbegin/endメンバ関数を提供しない」ためです。

それ以外のviewはconstでも平気

drop_view, take_view, transform_viewはいずれもconst修飾/非修飾のbegin/endメンバ関数を提供します。


その理由は何なのでしょうか?

C++20 Ranges標準ライブラリの元となったRange-v3ライブラリのissue#385を参照ください。

(分量が多く斜め読みしかしていないので参考までに...)std::rangeコンセプトを満たすにはbegin/endイテレータ取得操作に償却定数時間(amortized constant)を要求されますが、filter_viewの場合はスキップされる要素が存在するためにconstバージョンを合理的に実現できないと設計判断したようです。

追記:C++20 Range Adaptors and Range Factories ではRangeの "const-iterable" という概念で整理されています。またC++20 Ranges Library導入時の提案文書 P0789R3 §1.3.1 The filter adaptor is not const-iterable もあわせて参照ください。

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。