namespace std::ranges {
template<class R, class T>
concept output_range = range<R> && output_iterator<iterator_t<R>, T>;
}
概要
output_range
は、イテレータがoutput_iterator
であるRangeを表すコンセプトである。
モデル
型T
がoutput_range
のモデルとなるのは、T
がrange
のモデルであり、かつそのイテレータがoutput_iterator
のモデルである場合である。
例
#include <ranges>
#include <iterator>
#include <concepts>
#include <iostream>
#include <vector>
int main() {
using namespace std;
// ostream_iteratorから作ったRangeはoutput_range
ostream_iterator<int> osi(cout);
static_assert(ranges::output_range<decltype(views::counted(osi, 5)), int>);
// constではないコンテナはoutput_range
static_assert(ranges::output_range<vector<int>&, int>);
// constなコンテナには書き込めないので、output_rangeではない
static_assert(!ranges::output_range<const vector<int>&, int>);
}
出力
バージョン
言語
- C++20
処理系
- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ??
- Visual C++: 2019 Update 10 ✅