最終更新日時: 2026年02月24日 12時41分50秒 (JST)
Akira Takahashi が更新

履歴 編集

customization point object
<ranges>

# std::ranges::views::counted(C++20)

    namespace std::ranges::views {
      inline constexpr /*unspecified*/ counted = /*unspecified*/;
    }

## 概要

イテレータ`i`と数`n`に対して、範囲`[i, i + n)`をRangeとして扱う`view`を生成するカスタマイゼーションポイントオブジェクト。実際に生成するのは`subrange`か`span`である。

`counted`は、手元にイテレータだけがあるとき、そこから指定個数までの範囲をRangeとして扱うために使用できる。これは、ポインタと個数で定まる範囲を`contiguous_range`として扱う`span`を、一般のイテレータに拡張したものである。

`counted`はRangeアダプタオブジェクトではないので、パイプライン記法は使用できない。

### Rangeコンセプト

borrowed | sized | output | input | forward | bidirectional | random_access | contiguous | common | viewable | view
--- | --- | --- | --- | --- | --- | --- | --- | --- | --- | ---
○ | ○ | ※ | ※ | ※ | ※ | ※ | ※ | ※ | ○ | ○

※ イテレータに従う

## 効果

式`E`をイテレータ、式`F`を進める数、イテレータ型`T`を`decay_t<decltype((E))>`、イテレータの差の型`D`を`iter_difference_t<T>`とする。式`views::counted(E, F)`の効果は以下の通り。

- `decltype((F))`が`convertible_to<D>`のモデルでなければ、呼び出しは不適格。
- `T`が`contiguous_iterator`のモデルであれば、`span(to_address(E), static_cast<D>(F))`と等しい。
- `T`が`random_access_iterator`のモデルであれば、`subrange(E, E + static_cast<D>(F))`と等しい。
- それ以外のとき、`subrange(counted_iterator(E, F), default_sentinel)`と等しい。

## 例

    #include <ranges>
    #include <iterator>
    #include <vector>
    #include <iostream>

    int main() {
      using namespace std;
      vector<int> v;

      for (int i = 0; auto& elem : views::counted(back_inserter(v), 5)) {
        elem = i++;
      }

      for(int elem : v) {
        cout << elem;
      }
    }

### 出力

    01234

## バージョン

### 言語

- C++20

### 処理系

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

## 参照

- N4861 24 Ranges library
- C++20 ranges
- P2367R0 Remove misuses of list-initialization from Clause 24 (本提案文書はC++20に遡って適用されている)
- P2393R1 Cleaning up integer-class types