namespace std::ranges {
template<class T>
concept bidirectional_range = forward_range<T> && bidirectional_iterator<iterator_t<T>>;
}
概要
bidirectional_range
は、イテレータがbidirectional_iterator
であるRangeを表すコンセプトである。
モデル
型T
がbidirectional_range
のモデルとなるのは、T
がforward_range
のモデルであり、かつそのイテレータがbidirectional_iterator
のモデルである場合である。
例
#include <ranges>
#include <forward_list>
#include <list>
int main() {
using namespace std;
// listはbidirectional_range
static_assert(ranges::bidirectional_range<list<int>>);
// forward_listはbidirectional_rangeではなく、forward_range
static_assert(!ranges::bidirectional_range<forward_list<int>>);
static_assert(ranges::forward_range<forward_list<int>>);
}
出力
バージョン
言語
- C++20
処理系
- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ??
- Visual C++: 2019 Update 10 ✅