最終更新日時: 2025年08月31日 19時06分36秒 (JST)
Raclamusi が更新

履歴 編集

concept
<ranges>

# 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>);
    }

### 出力

## バージョン

### 言語

- C++20

### 処理系

- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ??
- Visual C++: 2019 Update 10 ✅

## 参照

- N4861 24 Ranges library
- C++20 ranges