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;
}

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

概要

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

例

出力

バージョン

言語

処理系

参照