std::ranges::copy_backward, std::ranges::copy_backward_result
From cppreference.com
| ヘッダー <algorithm> で定義 |
||
| 呼び出しシグネチャ |
||
| template< std::bidirectional_iterator I1, std::sentinel_for<I1> S1, std::bidirectional_iterator I2 > |
(1) | (C++20以降) |
| template< ranges::bidirectional_range R, std::bidirectional_iterator I > requires std::indirectly_copyable<ranges::iterator_t<R>, I> |
(2) | (C++20以降) |
| ヘルパー型 |
||
| template< class I1, class I2 > using copy_backward_result = ranges::in_out_result<I1, I2>; |
(3) | (C++20以降) |
1) 元の範囲 `[first, last)` の要素を、`[d_last - N, d_last)` という別の範囲にコピーします。ここで、`N = ranges::distance(first, last)` です。要素は逆順（最後の要素が最初にコピーされる）にコピーされますが、相対的な順序は保持されます。`d_last` が `(first, last]` の範囲内にある場合、未定義の動作となります。そのような場合、代わりに `std::ranges::copy` を使用できます。
2) (1) と同じですが、ソース範囲として `r` を使用し、`ranges::begin(r)` を `first`、`ranges::end(r)` を `last` として扱います。
このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト（非公式にはニーブロイドとして知られている）です。つまり、
- これらのいずれかを呼び出す際に、明示的なテンプレート引数リストを指定することはできません。
- これらのいずれも実引数依存の名前探索には見えません。
- これらのいずれかが関数呼び出し演算子の左側の名前として通常の非修飾名探索によって見つかった場合、実引数依存の名前探索は抑制されます。
目次 |
[編集] パラメータ
| first, last | - | コピー元の範囲を定義するイテレータとセンチネルのペア |
| r | - | コピー元の範囲 |
| d_last | - | コピー先の範囲の終端 |
[編集] 戻り値
{last, d_last - N}
[編集] 計算量
正確に `N` 回の代入。
[編集] 注釈
重複する範囲をコピーする場合、コピー先がソース範囲の外側（宛先範囲の開始位置がソース範囲の外側）にある場合は `ranges::copy` が適しており、コピー先がソース範囲の右側（宛先範囲の終端がソース範囲の外側）にある場合は `ranges::copy_backward` が適しています。
[編集] 実装例
struct copy_backward_fn { template<std::bidirectional_iterator I1, std::sentinel_for<I1> S1, std::bidirectional_iterator I2> requires std::indirectly_copyable<I1, I2> constexpr ranges::copy_backward_result<I1, I2> operator()(I1 first, S1 last, I2 d_last) const { I1 last1 {ranges::next(first, std::move(last))}; for (I1 i {last1}; i != first;) *--d_last = *--i; return {std::move(last1), std::move(d_last)}; } template<ranges::bidirectional_range R, std::bidirectional_iterator I> requires std::indirectly_copyable<ranges::iterator_t<R>, I> constexpr ranges::copy_backward_result<ranges::borrowed_iterator_t<R>, I> operator()(R&& r, I d_last) const { return (*this)(ranges::begin(r), ranges::end(r), std::move(d_last)); } }; inline constexpr copy_backward_fn copy_backward{}; |
[編集] 例
このコードを実行
#include <algorithm> #include <iostream> #include <ranges> #include <string_view> #include <vector> void print(std::string_view rem, std::ranges::forward_range auto const& r) { for (std::cout << rem << ": "; auto const& elem : r) std::cout << elem << ' '; std::cout << '\n'; } int main() { const auto src = {1, 2, 3, 4}; print("src", src); std::vector<int> dst(src.size() + 2); std::ranges::copy_backward(src, dst.end()); print("dst", dst); std::ranges::fill(dst, 0); const auto [in, out] = std::ranges::copy_backward(src.begin(), src.end() - 2, dst.end()); print("dst", dst); std::cout << "(in - src.begin) == " << std::distance(src.begin(), in) << '\n' << "(out - dst.begin) == " << std::distance(dst.begin(), out) << '\n'; }
出力
src: 1 2 3 4 dst: 0 0 1 2 3 4 dst: 0 0 0 0 1 2 (in - src.begin) == 2 (out - dst.begin) == 4
[編集] 関連項目
| (C++20)(C++20) |
要素の範囲を新しい場所にコピーする (アルゴリズム関数オブジェクト) |
| (C++20) |
指定された数の要素を新しい場所にコピーする (アルゴリズム関数オブジェクト) |
| (C++20)(C++20) |
特定の基準を満たす要素を除外して範囲をコピーする (アルゴリズム関数オブジェクト) |
| (C++20)(C++20) |
特定の基準を満たす要素を別の値に置き換えながら範囲をコピーする (アルゴリズム関数オブジェクト) |
| (C++20) |
逆順になった範囲のコピーを作成する (アルゴリズム関数オブジェクト) |
| (C++20) |
要素の範囲をコピーして回転させる (アルゴリズム関数オブジェクト) |
| (C++20) |
連続する重複を含まない要素の範囲のコピーを作成する (アルゴリズム関数オブジェクト) |
| (C++20) |
要素の範囲を新しい場所にムーブする (アルゴリズム関数オブジェクト) |
| (C++20) |
要素の範囲を逆順で新しい場所にムーブする (アルゴリズム関数オブジェクト) |
| 要素の範囲を逆順にコピーする (関数テンプレート) |
