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

namespace std::ranges {
  template<class T>
  concept contiguous_range = random_access_range<T> && contiguous_iterator<iterator_t<T>> &&
    requires(T& t) {
      { ranges::data(t) } -> same_as<add_pointer_t<range_reference_t<T>>>;
    };
}

概要

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

contiguous_rangeであるRangeは、要素がメモリ上で連続して配置されており、ranges::dataやranges::cdataで要素のポインタを取得できる。

モデル

decltype((t))がT&であるような式tがあるとする。 Tがcontiguous_rangeのモデルとなるのは、to_address(ranges::begin(t)) ==ranges::data(t)がtrueとなる場合である。

例

#include <ranges>
#include <vector>

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

  // vectorから作ったelements_viewはcontiguous_rangeではない
  using view_t = ranges::elements_view<ranges::views::all_t<vector<pair<int, int>>&>, 0>;
  static_assert(ranges::random_access_range<view_t>);
  static_assert(!ranges::contiguous_range<view_t>);
}

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

概要

モデル

例

出力

バージョン

言語

処理系

参照