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

履歴 編集

function
<iterator>

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

    friend constexpr rvalue-reference iter_move(const basic_const_iterator& i) noexcept(see below);

## 概要

`basic_const_iterator`である`i`の指す要素をムーブする。

戻り値の`rvalue-reference`は次のように求められる`const`かつ右辺値となる型である

    using rvalue-reference = common_reference_t<const iter_value_t<Iterator>&&, iter_rvalue_reference_t<Iterator>>;

## 戻り値

ラップしているイテレータを`current_`メンバ変数に保持するとして、次のようになる

    return static_cast<rvalue-reference>(ranges::iter_move(i.current_));

## 例外

`noexcept`指定には次の式が指定される

    noexcept(static_cast<rvalue-reference>(ranges::iter_move(i.current_)))

## 備考

この関数はHidden friendsとして定義される。

## 例

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

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

      std::basic_const_iterator cit = vec.begin();

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

      ++cit;

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

### 出力

    1
    2

## バージョン

### 言語

- C++23

### 処理系

- Clang: ??
- GCC: 13.1 ✅
- Visual C++: 2022 Update 6 ✅

## 参照

- P2278R4 `cbegin` should always return a constant iterator