最終更新日時(UTC): 2026年02月26日 04時20分38秒
Akira Takahashi が更新

履歴 編集

function
<iterator>

# std::counted_iterator::operator*(C++20)

    constexpr decltype(auto) operator*();
    constexpr decltype(auto) operator*() const requires dereferenceable<const I>;

## 概要

イテレータを間接参照する。

## 堅牢化された事前条件

カウントの値を`length`メンバ変数に保持するとして

`length >= 0`

## 効果

`I`の値を`current`メンバ変数に保持するとして、以下と等価

`return *current;`

## 例

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

    int main() {
      std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

      std::counted_iterator ci{std::ranges::begin(vec), 5};

      std::cout << *ci << '\n';

      ++ci;

      std::cout << *ci;
    }

### 出力

    1
    2

## バージョン

### 言語

- C++20

### 処理系

- Clang: ??
- GCC: 10.1 ✅
- Visual C++: 2019 Update 8 ✅

## 参照

- P0896R4 The One Ranges Proposal (was Merging the Ranges TS)
- LWG Issue 3472. `counted_iterator` is missing preconditions
- P3697R1 Minor additions to C++26 standard library hardening
- P3878R1 Standard library hardening should not use the 'observe' semantic