op_constructor.md

コンストラクタ

• iterator[meta header]
• std[meta namespace]
• move_iterator[meta class]
• function[meta id-type]
• cpp11[meta cpp]

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

• v.emplace_back[link /reference/vector/vector/emplace_back.md]
• std::move[link /reference/utility/move.md]

出力

0

バージョン

言語

• C++11

処理系

• Clang: ??
• GCC: 4.7.0 [mark verified]
• ICC: ??
• Visual C++: ??

参照

• P0031R0 A Proposal to Add Constexpr Modifiers to reverse_iterator, move_iterator, array and Range Access
• LWG Issue 1012. reverse_iterator default ctor should value initialize
  • C++11で、デフォルトコンストラクタの効果が、内包するイテレータのデフォルト初期化から値初期化へ改められた
• LWG Issue 3435. three_way_comparable_with<reverse_iterator<int*>, reverse_iterator<const int*>>
• LWG Issue 4125. move_iterator's default constructor should be constrained
  • C++29で、デフォルトコンストラクタがdefault_initializable<Iterator>で制約され、= defaultで定義されるようになった。Iteratorがデフォルト構築できない場合でもmove_iteratorがデフォルト構築可能であるかのように見えていたため
  • この変更によってdefault_initializable<move_iterator<Iterator>>の判定結果が変わりうるため、ほかのIssueと異なり、以前のバージョンへ遡及して適用されるとは限らない