Spec-Zone.ru › C++

std::copy_backward

Определено в заголовочном файле <algorithm>
template< class BidirIt1, class BidirIt2 >
BidirIt2 copy_backward( BidirIt1 first, BidirIt1 last, BidirIt2 d_last );
(до C++20)
template< class BidirIt1, class BidirIt2 >
constexpr BidirIt2 copy_backward( BidirIt1 first, BidirIt1 last, BidirIt2 d_last );
(с C++20)

Копирует элементы из диапазона [first, last) в другой диапазон, заканчивающийся в d_last. Элементы копируются в обратном порядке (сначала копируется последний элемент), но их относительный порядок сохраняется.

Поведение является неопределённым, если d_last находится внутри (first, last). В этом случае необходимо использовать std::copy вместо std::copy_backward.

Параметры

first, last - диапазон элементов, которые нужно скопировать
d_last - конец целевого диапазона
Требования к типу
-BidirIt должен удовлетворять требованиям LegacyBidirectionalIterator.

Возвращаемое значение

Итератор на последний скопированный элемент.

Сложность

Ровно last - first присваиваний.

Примечания

При копировании перекрывающихся диапазонов, 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 == last
2. поведение было неопределено, если d_last == first
1. сделано неопределённым
2. сделано определённым

См. также

copycopy_if
(C++11)
копирует диапазон элементов в новое местоположение
(шаблон функции)
ranges::copy_backward
(C++20)
копирует диапазон элементов в обратном порядке
(неблокирующая)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/copy_backward

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API