5. コンストラクタ

最終更新日時:
が更新

履歴 編集

function
<iterator>

std::move_iterator::コンストラクタ(C++11)

move_iterator();                                             // (1) C++11
constexpr move_iterator();                                   // (1) C++17
constexpr move_iterator()
  requires default_initializable<Iterator> = default;        // (1) C++29

explicit move_iterator(Iterator i);                          // (2) C++11
constexpr explicit move_iterator(Iterator i);                // (2) C++17

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

move_iterator(move_iterator&&) noexcept = default;           // (4) C++11
constexpr move_iterator(move_iterator&&) noexcept = default; // (4) C++17

概要

move_iteratorオブジェクトを構築する。

  • (1) : デフォルトコンストラクタ。内包する元となるイテレータを値初期化する。このイテレータに対する操作は、値初期化されたIterator型のイテレータに対して対応する操作が定義されている場合にのみ、定義された動作をする。
    • C++29 : Iteratorがデフォルト構築可能である場合にのみ使用でき、= defaultで定義される。内包するイテレータはメンバ初期化子= Iterator()によって値初期化される
  • (2) : 元となるイテレータiをメンバ変数にムーブして保持する。
  • (3) : u.base()をメンバ変数に保持する。

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

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

例

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

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;

  // 元となるイテレータから構築
  std::move_iterator<decltype(v)::iterator> it2(v.begin());

  // 他のmove_iteratorオブジェクトからコピー構築
  std::move_iterator<decltype(v)::iterator> it3(it2);

  // 他のmove_iteratorオブジェクトからムーブ構築
  std::move_iterator<decltype(v)::iterator> it4 = std::move(it3);

  std::unique_ptr<int> p = *it4;
  std::cout << *p << std::endl;
}

出力

0

バージョン

言語

  • C++11

処理系

参照