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

履歴 編集

function
<iterator>

# std::iter_swap (非メンバ関数)(C++20)

    namespace std {
      template<indirectly_swappable<I> I2>
      friend constexpr void
        iter_swap(const counted_iterator& x, const counted_iterator<I2>& y)
          noexcept(noexcept(ranges::iter_swap(x.current, y.current)));
    }

## 概要

2つの`counted_iterator`の指す要素を交換する。

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

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

`length >= 0`

## 効果

以下と等価

    return ranges::iter_swap(x.current, y.current);

## 備考

この関数はHidden friendsとして定義される。 基本的には`ranges::iter_swap` カスタマイゼーションポイントオブジェクトを通して利用する。

## 例

    #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 ci1{std::ranges::begin(vec), 5};
      std::counted_iterator ci2{std::ranges::begin(vec) + 5, 5};

      // ADLによる呼び出し
      iter_swap(ci1, ci2);

      ++ci1;
      ++ci2;

      // ranges::iter_swap CPOによる呼び出し
      std::ranges::iter_swap(ci1, ci2);

      for (int n : vec) {
        std::cout << n << ' ';
      }
    }

### 出力

    6 7 3 4 5 1 2 8 9 10

## バージョン

### 言語

- C++20

### 処理系

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

## 関連項目

- `ranges::iter_swap`

## 参照

- 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