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

履歴 編集

function
<iterator>

# std::counted_iterator::operator-=(C++20)

    constexpr counted_iterator& operator-=(iter_difference_t<I> n) requires random_access_iterator<I>;

## 概要

イテレータ自身を`n`回逆に進める。

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

現在のカウントの値を`length`メンバ変数に保持するとして、`n <= length`

## 効果

現在のイテレータとカウントの値をそれぞれ、`current`、`length`メンバ変数に保持するとして、以下と等価

    current -= n;
    length += n;
    return *this;

## 戻り値

`*this`

## 例

    #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};
      ci += 5;

      ci -= 2;

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

### 出力

    4

## バージョン

### 言語

- C++20

### 処理系

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

## 参照

- P0896R4 The One Ranges Proposal (was Merging the Ranges TS)
- P3697R1 Minor additions to C++26 standard library hardening
- P3878R1 Standard library hardening should not use the 'observe' semantic