[uninitialized.move] (original) (raw)

25 Algorithms library [algorithms]

25.11 Specialized algorithms [specialized.algorithms]

25.11.5 uninitialized_­move [uninitialized.move]

template<class InputIterator, class NoThrowForwardIterator> NoThrowForwardIterator uninitialized_move(InputIterator first, InputIterator last, NoThrowForwardIterator result);

Preconditions: does not overlap with [first, last).

Effects:Equivalent to:

for (; first != last; (void)++result, ++first) ::new (voidify(*result)) typename iterator_traits::value_type(std::move(*first)); return result;

namespace ranges { template<input_iterator I, sentinel_for<I> S1,no-throw-forward-iterator O, no-throw-sentinel<O> S2> requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_result<I, O> uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);template<input_­range IR, no-throw-forward-range OR> requires constructible_from<range_value_t<OR>, range_rvalue_reference_t<IR>> uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>> uninitialized_move(IR&& in_range, OR&& out_range);}

Preconditions: [ofirst, olast) does not overlap with [ifirst, ilast).

Effects:Equivalent to:

for (; ifirst != ilast && ofirst != olast; ++ofirst, (void)++ifirst) { ::new (voidify(*ofirst)) remove_reference_t<iter_reference_t>(ranges::iter_move(ifirst)); } return {std::move(ifirst), ofirst};

[ Note

:

If an exception is thrown, some objects in the range [first, last) are left in a valid, but unspecified state.

— end note

]

template<class InputIterator, class Size, class NoThrowForwardIterator> pair<InputIterator, NoThrowForwardIterator> uninitialized_move_n(InputIterator first, Size n, NoThrowForwardIterator result);

Preconditions: does not overlap with .

Effects:Equivalent to:

for (; n > 0; ++result, (void) ++first, --n) ::new (voidify(*result)) typename iterator_traits::value_type(std::move(*first)); return {first, result};

namespace ranges { template<input_iterator I, no-throw-forward-iterator O, no-throw-sentinel<O> S> requires constructible_from<iter_value_t<O>, iter_rvalue_reference_t<I>> uninitialized_move_n_result<I, O> uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);}

Preconditions: [ofirst, olast) does not overlap with .

Effects:Equivalent to:

auto t = uninitialized_move(counted_iterator(ifirst, n), default_sentinel, ofirst, olast); return {std::move(t.in).base(), t.out};

[ Note

:

If an exception is thrown, some objects in the rangeare left in a valid but unspecified state.

— end note

]