最終更新日時(UTC):
が更新

履歴 編集

concept
<ranges>

std::ranges::forward_range(C++20)

namespace std::ranges {
  template<class T>
  concept forward_range = input_range<T> && forward_iterator<iterator_t<T>>;
}

概要

forward_rangeは、イテレータがforward_iteratorであるRangeを表すコンセプトである。

モデル

Tforward_rangeのモデルとなるのは、Tinput_rangeのモデルであり、かつそのイテレータがforward_iteratorのモデルである場合である。

#include <ranges>
#include <forward_list>
#include <iostream>

int main() {
  using namespace std;
  // forward_listはforward_range
  static_assert(ranges::forward_range<forward_list<int>>);

  // basic_istream_viewforward_rangeではなく、input_range
  static_assert(!ranges::forward_range<decltype(views::istream<int>(cin))>);
  static_assert(ranges::input_range<decltype(views::istream<int>(cin))>);
}

出力

バージョン

言語

  • C++20

処理系

参照