std::copy_backward
|
Определён в заголовочном файле <algorithm>
|
||
template< class BidirIt1, class BidirIt2 >
BidirIt2 copy_backward( BidirIt1 first, BidirIt1 last, BidirIt2 d_last );
|
(constexpr начиная с C++20) | |
Копирует элементы из диапазона [first, last) в другой диапазон, заканчивающийся на d_last. Элементы копируются в обратном порядке (последний элемент копируется первым), но их относительный порядок сохраняется.
Поведение не определено, если d_last находится в пределах (first, last]. std::copy должен использоваться вместо std::copy_backward в этом случае.
Параметры
| first, last | - | пара итераторов, определяющих исходный диапазон элементов для копирования |
| d_last | - | конец целевого диапазона |
| Требования к типам | ||
-BidirIt должен удовлетворять требованиям LegacyBidirectionalIterator.
| ||
Возвращаемое значение
Итератор на последний скопированный элемент.
Сложность
Ровно std::distance(first, last) присваиваний.
Примечания
При копировании перекрывающихся диапазонов, std::copy подходит при копировании влево (начало целевого диапазона находится вне исходного диапазона), в то время как std::copy_backward подходит при копировании вправо (конец целевого диапазона находится вне исходного диапазона).
Возможная реализация
template<class BidirIt1, class BidirIt2>
BidirIt2 copy_backward(BidirIt1 first, BidirIt1 last, BidirIt2 d_last)
{
while (first != last)
*(--d_last) = *(--last);
return d_last;
}
|
Пример
#include <algorithm>
#include <iostream>
#include <numeric>
#include <vector>
int main()
{
std::vector<int> source(4);
std::iota(source.begin(), source.end(), 1); // fills with 1, 2, 3, 4
std::vector<int> destination(6);
std::copy_backward(source.begin(), source.end(), destination.end());
std::cout << "destination contains: ";
for (auto i: destination)
std::cout << i << ' ';
std::cout << '\n';
}
Вывод:
destination contains: 0 0 1 2 3 4
Отчёты о дефектах
Следующие дефектные отчёты, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.
| DR | Применён к | Поведение, как опубликовано | Корректное поведение |
|---|---|---|---|
| LWG 1206 | C++98 | 1. поведение было хорошо определено, если d_last == last2. поведение было не определено, если d_last == first
|
1. сделано неопределённым 2. сделано хорошо определённым |
См. также
(C++11) |
копирует диапазон элементов в новое расположение (шаблон функции & функциональный объект алгоритма) |
(C++20)(C++20) |
|
(C++20) |
копирует диапазон элементов в обратном порядке (функциональный объект алгоритма) |