std::move_iterator::operator[](C++11)

unspecified operator[](difference_type n) const;           // (1) C++11
constexpr unspecified operator[](difference_type n) const; // (1) C++17
constexpr reference operator[](difference_type n) const;   // (1) C++20

概要

任意の位置にランダムアクセスする。

戻り値

• (1) :
  • C++11 : return std::move(base()[n]);
  • C++20 : return ranges::iter_move(base() + n);

備考

• (1) :
  • C++11 : 戻り値の型は未規定である。base()[n]がプロキシオブジェクトを返す場合に、reference (value_type&&) へ暗黙変換すると、破棄済みの一時オブジェクトを参照しうるため
  • C++17 : constexprが付加された
  • C++20 : 戻り値の型がreferenceとなり、ranges::iter_moveを用いて規定されるようになった

例

#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));

  auto it = std::make_move_iterator(v.begin());
  std::unique_ptr<int> p = it[2];

  std::cout << *p << std::endl;
}

出力

2

バージョン

言語

• C++11

処理系

• Clang: ??
• GCC: 4.6.1 ✅
• ICC: ??
• Visual C++: ??

参照

• P0031R0 A Proposal to Add Constexpr Modifiers to reverse_iterator, move_iterator, array and Range Access
• P0896R4 The One Ranges Proposal (was Merging the Ranges TS)
• LWG Issue 872. move_iterator::operator[] has wrong return type
  • C++11の策定時に、戻り値の型がreferenceから未規定の型へ改められた。base()[n]がプロキシオブジェクトを返す場合、reference (value_type&&) への暗黙変換によって破棄済みの一時オブジェクトを参照しうるため