最終更新日時: 2025年07月14日 23時12分05秒 (JST)
Koichi Murase が更新

履歴 編集

function
<iterator>

# std::iter_move(C++20)

    namespace std {
      template <class Iterator>
      class reverse_iterator {

        friend constexpr iter_rvalue_reference_t<Iterator>
          iter_move(const reverse_iterator& i) noexcept(see below);
      };
    }

## 概要

逆順イテレータ`i`の指す要素をムーブする。

## 効果

以下と等価

    auto tmp = i.base();
    return ranges::iter_move(--tmp);

## 例外

以下の式が指定される

    is_nothrow_copy_constructible_v<Iterator> &&
    noexcept(ranges::iter_move(--declval<Iterator&>()))

## 備考

この関数は`reverse_iterator`のクラス定義内で`friend`関数として定義される。そのため、メンバ関数としても非メンバ関数としても明示的に呼び出すことはできず、ADLによってのみ呼び出すことができる。
基本的には`ranges::iter_move` カスタマイゼーションポイントオブジェクトを通して利用する。

## 例

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

    int main() {
      std::vector<int> v = {1, 2, 3, 4, 5};

      std::reverse_iterator<decltype(v)::iterator> it(v.end());

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

      ++it;

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

### 出力

    5
    4

## バージョン

### 言語

- C++20

### 処理系

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

## 関連項目

- `ranges::iter_move`

## 参照

- P0896R4 The One Ranges Proposal (was Merging the Ranges TS)