最終更新日時: 2024年12月05日 11時54分34秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<iterator>

# std::move_iterator::operator=(C++11)

    template <class U>
    move_iterator& operator=(const move_iterator<U>& u);                // (1) C++11
    template <class U>
    constexpr move_iterator& operator=(const move_iterator<U>& u);      // (1) C++17

    move_iterator& operator=(const move_iterator&) = default;           // (2) C++11
    constexpr move_iterator& operator=(const move_iterator&) = default; // (2) C++17

    move_iterator& operator=(move_iterator&&) = default;                // (3) C++11
    constexpr move_iterator& operator=(move_iterator&&) = default;      // (3) C++17

## 概要

- (1) : `u.base()`をメンバ変数に保持する。

## テンプレートパラメータ制約

- C++17まで
  - (1) : `U`が`Iterator`に変換可能であること
- C++20
  - (1) : 次の両方を満たす
    - `is_same_v<U, Iterator> == false`であること。
    - `const U&`が`convertible_to<Iterator>`のモデルとなること。
    - `Iterator&, const U&`が`assignable_from<Iterator&, const U&>`のモデルとなること。

## 例

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

    int main()
    {
      std::vector<std::unique_ptr<int>> v;
      for (int i = 0; i < 5; ++i)
        v.emplace_back(new int(i));

      std::move_iterator<decltype(v)::iterator> it1(v.begin());

      std::move_iterator<decltype(v)::const_iterator> it2;
      it2 = it1;

      std::cout << **it2.base() << std::endl;
    }

### 出力

    0

## バージョン

### 言語

- C++11

### 処理系

- Clang: ??
- GCC: 4.7.0 ✅
- ICC: ??
- Visual C++: 2010 ✅

## 参照

- P0031R0 A Proposal to Add Constexpr Modifiers to `reverse_iterator`, `move_iterator`, `array` and Range Access
- LWG Issue 3435. `three_way_comparable_with<reverse_iterator<int*>, reverse_iterator<const int*>>`