Instigate Open Source Documentation

---

src/stl/_copy_backward.hpp

Go to the documentation of this file.

#ifndef _INSTIGATE_STL_INTERNAL_HEADER_IN_ALGORITHM
#error This is an internal header file used to implement Instigate STL.\
        It should never be included directly by a program.
#endif

#ifndef INSTIGATE_STL_COPY_BACKWARD_HPP
#define INSTIGATE_STL_COPY_BACKWARD_HPP

// Headers from this project
#include "concept.hpp"
#include "_basis.hpp"

// Headers from other project
#include <generic/base.hpp>

// Headers from standard libraries

// Forward declaration
namespace instigate {
        namespace stl {
                template <typename B1, typename B2>
                inline B2 copy_backward(B1, B1, B2);
                
                namespace implementation {
                        template <typename B_1, typename B_2>
                        inline B_2 __copy_backward(B_1, B_1, B_2, 
                                instigate::stl::bidirectional_iterator::tag);

                        template <typename R, typename B>
                        inline B __copy_backward(R, R, B, 
                                instigate::stl::random_access_iterator::tag);
                }
        }
}

template <typename B1, typename B2>
inline B2 instigate::stl::copy_backward(B1 f, B1 l, B2 r)
{
        CHECK(instigate::stl::readable_iterator::requirements<B1>);
        CHECK(instigate::stl::bidirectional_iterator::requirements<B1>);
        CHECK(instigate::stl::lvalue_iterator::requirements<B2>);
        CHECK(instigate::stl::writable_iterator::requirements<B2>);
        CHECK(instigate::stl::bidirectional_iterator::requirements<B2>);
        CHECK_CONVERTIBILITY(typename instigate::stl::readable_iterator::
                interface<B1>::value_type, typename instigate::stl::
                writable_iterator::interface<B2>::value_type);
        return instigate::stl::implementation::__copy_backward(f, l, r, 
                typename instigate::stl::bidirectional_iterator::
                        interface<B1>::iterator_category());
}

template <typename B_1, typename B_2>
inline B_2 instigate::stl::implementation::__copy_backward(B_1 f, B_1 l, B_2 r,
        instigate::stl::bidirectional_iterator::tag)
{
        while (!equal(f, l)) {
                decrement(r);
                decrement(l);
                dereference_assign(r, const_dereference(l));
        }
        return r;
}

template <typename R, typename B>
inline B instigate::stl::implementation::__copy_backward(R f, R l, B r, 
        instigate::stl::random_access_iterator::tag)
{
        typedef typename instigate::stl::single_pass_iterator::interface<R>::
                difference_type DISTANCE;
        for (DISTANCE n = instigate::stl::distance<R>(f, l); n > 0; --n) {
                decrement(r);
                decrement(l);
                dereference_assign(r, const_dereference(l));
        }
        return r;
}

// vim:et:tabstop=8:shiftwidth=8:cindent:fo=croq:textwidth=80:

#endif // INSTIGATE_STL_COPY_BACKWARD_HPP

---

© Instigate CJSC, Open Source