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

履歴 編集

function
<iterator>

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

    namespace std {
      friend constexpr decltype(auto)
        iter_move(const counted_iterator& i) noexcept(noexcept(ranges::iter_move(i.current)))
          requires input_iterator<I>;
    }

## 概要

`counted_iterator`の指す要素をムーブする。

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

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

`length >= 0`

## 効果

以下と等価

    return ranges::iter_move(i.current);

## 備考

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

## 例

    #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) + 3, 5};

      // ADLによる呼び出し
      int n1 = iter_move(ci);
      std::cout << n1 << std::endl;

      ++ci;

      // ranges::iter_move CPOによる呼び出し
      int n2 = std::ranges::iter_move(ci);
      std::cout << n2 << std::endl;
    }

### 出力

    4
    5

## バージョン

### 言語

- C++20

### 処理系

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

## 関連項目

- `ranges::iter_move`

## 参照

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