std::ranges::move_backward

namespace std::ranges {
  template <bidirectional_iterator I1,
            sentinel_for<I1> S1,
            bidirectional_iterator I2>
    requires indirectly_movable<I1, I2>
  constexpr move_backward_result<I1, I2>
    move_backward(I1 first,
                  S1 last,
                  I2 result); // (1) C++20

  template <bidirectional_range R,
            bidirectional_iterator I>
    requires indirectly_movable<iterator_t<R>, I>
  constexpr move_backward_result<borrowed_iterator_t<R>, I>
    move_backward(R&& r,
                  I result); // (2) C++20
}

概要

指定された範囲の要素を後ろからムーブする。

• (1): イテレータ範囲を指定する
• (2): Rangeを直接指定する

事前条件

result は (first,last] の範囲に含まれてはならない。

効果

[first,last) 内にある要素を、それぞれ [result - (last-first),result) へムーブする。

ムーブは last - 1 から順番に行い、1 以上 last - first 以下であるそれぞれの n について、*(result - n) = std::move(*(last - n)) を行う。

戻り値

move_backward_result {
  .in  = last,
  .out = result - (last - first),
}

計算量

正確に last - first 回ムーブ代入が行われる。

備考

last が [result - (last-first),result) の範囲内にあるときには、move() の代わりに move_backward() を使うべきである。

例

#include <algorithm>
#include <iostream>
#include <vector>
#include <memory>
#include <ranges>

void print(const std::unique_ptr<int>& v) {
  if (v) std::cout << *v       << std::endl;
  else   std::cout << "(null)" << std::endl;
}

int main() {
  std::vector<std::unique_ptr<int>> v;

  for (int i = 0; i < 5; i++) {
    v.emplace_back(new int(i));
  }

  // 0,1,2 の値がある範囲を、2,3,4 の値がある範囲へムーブする
  std::ranges::move_backward(v | std::views::take(3), v.end());

  // 以下のコードだと期待した結果にならないことを確認しよう。
  // 移動元の後方と移動先の前方で範囲が重なっている場合は、move_backwardを使わないといけない
  // std::ranges::move(v | std::views::take(3), v.begin() + 2);

  std::ranges::for_each(v, &print);
}

  std::ranges::move_backward(v | std::views::take(3), v.end());

#include <algorithm>

#include <iostream>

#include <vector>

#include <memory>

#include <ranges>

​

void print(const std::unique_ptr<int>& v) {

  if (v) std::cout << *v       << std::endl;

  else   std::cout << "(null)" << std::endl;

}

​

int main() {

  std::vector<std::unique_ptr<int>> v;

​

  for (int i = 0; i < 5; i++) {

    v.emplace_back(new int(i));

  }

​

出力

(null)
(null)
0
1
2

バージョン

言語

• C++20

処理系

• Clang: ??
• GCC: 10.1.0 ✅
• ICC: ??
• Visual C++: 2019 Update 10 ✅

参照

• N4861 25 Algorithms library