// <algorithm> 
template <class BidirectionalIterator1,
    class BidirectionalIterator2>
    BidirectionalIterator2 copy_backward (
        BidirectionalIterator1 first,
        BidirectionalIterator1 last,
        ​BidirectionalIterator2 result);

将一个范围中的元素按逆序拷贝到新的位置处。

该函数等价于:

template<class _BidIt1,
    class _BidIt2> inline
    _BidIt2 _Copy_backward(_BidIt1 _First, _BidIt1 _Last,
        _BidIt2 _Dest, _Nonscalar_ptr_iterator_tag)
    {    // copy [_First, _Last) backwards to [..., _Dest), arbitrary iterators
        while (_First != _Last)
            *--_Dest = *--_Last;
        return (_Dest);
    }
  • firstlast

    分别指向被拷贝序列中初始及末尾位置的双向迭代器(Bidirectional iterators)。这个范围即 [first,last) ,包括 first 到 last 间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。

    result

    指向目标序列末尾(End)位置的双向迭代器(Bidirectional iterators)

    该迭代器不能指向范围 [first,last) 中的任何元素。

    返回

    所有元素拷贝完成后,表示目标范围起始位置的迭代器。

  • 例 1

    #include <iostream>
    #include <algorithm>
    #include <vector>
    #include <iterator> 
    
    #define CLASSFOO_VECTOR(type, name, ...) \
    static const type name##_a[] = __VA_ARGS__; \
    std::vector<type> name(name##_a, name##_a + sizeof(name##_a) / sizeof(*name##_a))
    
    namespace ClassFoo{
        void CopyBackward_1() {
            CLASSFOO_VECTOR(int, BigVector, { 8, 23, 5, 6, 7, 29, 0, 5, 6, 7, 1, 1 });
            std::vector<int> SmallVector(15);
            // 将 BigVector 拷至 SmallVector
            std::copy_backward(
                std::begin(BigVector),
                std::end(BigVector),
                std::end(SmallVector));
            // 将 SmallVector 拷至标准输出流中
            std::copy(
                SmallVector.begin(),
                SmallVector.end(),
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
        }
    }
    int main()
    {
        ClassFoo::CopyBackward_1();
        return 0;
    }

    0 0 0 8 23 5 6 7 29 0 5 6 7 1 1 

  • 复杂度

    O(n)n 为 last first,对范围中的所有元素进行一次赋值(Assignment)操作。

    数据争用相关

    访问在范围 [first,last) 中的所有元素,且每个元素确定只被访问一次。

    修改在范围 result 及返回值之间的所有元素,且每个元素确定只被访问一次。

    异常安全性相关

    如果元素赋值操作或操作某个迭代器抛异常,该函数才会抛异常。

    注意 无效参数将导致未定义行为(Undefined behavior)