diff --git a/source/algorithms.tex b/source/algorithms.tex index c35079a748..525498557c 100644 --- a/source/algorithms.tex +++ b/source/algorithms.tex @@ -10368,14 +10368,12 @@ \indexlibraryglobal{uninitialized_default_construct}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S> - requires @\libconcept{default_initializable}@> - I uninitialized_default_construct(I first, S last); - template<@\placeholdernc{nothrow-forward-range}@ R> - requires @\libconcept{default_initializable}@> - borrowed_iterator_t uninitialized_default_construct(R&& r); -} +template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S> + requires @\libconcept{default_initializable}@> + I ranges::uninitialized_default_construct(I first, S last); +template<@\placeholdernc{nothrow-forward-range}@ R> + requires @\libconcept{default_initializable}@> + borrowed_iterator_t ranges::uninitialized_default_construct(R&& r); \end{itemdecl} \begin{itemdescr} @@ -10409,11 +10407,9 @@ \indexlibraryglobal{uninitialized_default_construct_n}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-forward-iterator}@ I> - requires @\libconcept{default_initializable}@> - I uninitialized_default_construct_n(I first, iter_difference_t n); -} +template<@\placeholdernc{nothrow-forward-iterator}@ I> + requires @\libconcept{default_initializable}@> + I ranges::uninitialized_default_construct_n(I first, iter_difference_t n); \end{itemdecl} \begin{itemdescr} @@ -10447,14 +10443,12 @@ \indexlibraryglobal{uninitialized_value_construct}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S> - requires @\libconcept{default_initializable}@> - I uninitialized_value_construct(I first, S last); - template<@\placeholdernc{nothrow-forward-range}@ R> - requires @\libconcept{default_initializable}@> - borrowed_iterator_t uninitialized_value_construct(R&& r); -} +template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S> + requires @\libconcept{default_initializable}@> + I ranges::uninitialized_value_construct(I first, S last); +template<@\placeholdernc{nothrow-forward-range}@ R> + requires @\libconcept{default_initializable}@> + borrowed_iterator_t ranges::uninitialized_value_construct(R&& r); \end{itemdecl} \begin{itemdescr} @@ -10488,11 +10482,9 @@ \indexlibraryglobal{uninitialized_value_construct_n}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-forward-iterator}@ I> - requires @\libconcept{default_initializable}@> - I uninitialized_value_construct_n(I first, iter_difference_t n); -} +template<@\placeholdernc{nothrow-forward-iterator}@ I> + requires @\libconcept{default_initializable}@> + I ranges::uninitialized_value_construct_n(I first, iter_difference_t n); \end{itemdecl} \begin{itemdescr} @@ -10535,17 +10527,15 @@ \indexlibraryglobal{uninitialized_copy}% \begin{itemdecl} -namespace ranges { - template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@ S1, - @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S2> - requires @\libconcept{constructible_from}@, iter_reference_t> - uninitialized_copy_result - uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); - template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR> - requires @\libconcept{constructible_from}@, range_reference_t> - uninitialized_copy_result, borrowed_iterator_t> - uninitialized_copy(IR&& in_range, OR&& out_range); -} +template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@ S1, + @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S2> + requires @\libconcept{constructible_from}@, iter_reference_t> + ranges::uninitialized_copy_result + ranges::uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast); +template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR> + requires @\libconcept{constructible_from}@, range_reference_t> + ranges::uninitialized_copy_result, borrowed_iterator_t> + ranges::uninitialized_copy(IR&& in_range, OR&& out_range); \end{itemdecl} \begin{itemdescr} @@ -10591,12 +10581,10 @@ \indexlibraryglobal{uninitialized_copy_n}% \begin{itemdecl} -namespace ranges { - template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S> - requires @\libconcept{constructible_from}@, iter_reference_t> - uninitialized_copy_n_result - uninitialized_copy_n(I ifirst, iter_difference_t n, O ofirst, S olast); -} +template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S> + requires @\libconcept{constructible_from}@, iter_reference_t> + ranges::uninitialized_copy_n_result + ranges::uninitialized_copy_n(I ifirst, iter_difference_t n, O ofirst, S olast); \end{itemdecl} \begin{itemdescr} @@ -10642,17 +10630,15 @@ \indexlibraryglobal{uninitialized_move}% \begin{itemdecl} -namespace ranges { - template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@ S1, - @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S2> - requires @\libconcept{constructible_from}@, iter_rvalue_reference_t> - uninitialized_move_result - uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); - template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR> - requires @\libconcept{constructible_from}@, range_rvalue_reference_t> - uninitialized_move_result, borrowed_iterator_t> - uninitialized_move(IR&& in_range, OR&& out_range); -} +template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@ S1, + @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S2> + requires @\libconcept{constructible_from}@, iter_rvalue_reference_t> + ranges::uninitialized_move_result + ranges::uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast); +template<@\libconcept{input_range}@ IR, @\placeholdernc{nothrow-forward-range}@ OR> + requires @\libconcept{constructible_from}@, range_rvalue_reference_t> + ranges::uninitialized_move_result, borrowed_iterator_t> + ranges::uninitialized_move(IR&& in_range, OR&& out_range); \end{itemdecl} \begin{itemdescr} @@ -10702,12 +10688,10 @@ \indexlibraryglobal{uninitialized_move_n}% \begin{itemdecl} -namespace ranges { - template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S> - requires @\libconcept{constructible_from}@, iter_rvalue_reference_t> - uninitialized_move_n_result - uninitialized_move_n(I ifirst, iter_difference_t n, O ofirst, S olast); -} +template<@\libconcept{input_iterator}@ I, @\placeholdernc{nothrow-forward-iterator}@ O, @\placeholder{nothrow-sentinel-for}@ S> + requires @\libconcept{constructible_from}@, iter_rvalue_reference_t> + ranges::uninitialized_move_n_result + ranges::uninitialized_move_n(I ifirst, iter_difference_t n, O ofirst, S olast); \end{itemdecl} \begin{itemdescr} @@ -10753,14 +10737,12 @@ \indexlibraryglobal{uninitialized_fill}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S, class T> - requires @\libconcept{constructible_from}@, const T&> - I uninitialized_fill(I first, S last, const T& x); - template<@\placeholdernc{nothrow-forward-range}@ R, class T> - requires @\libconcept{constructible_from}@, const T&> - borrowed_iterator_t uninitialized_fill(R&& r, const T& x); -} +template<@\placeholdernc{nothrow-forward-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S, class T> + requires @\libconcept{constructible_from}@, const T&> + I ranges::uninitialized_fill(I first, S last, const T& x); +template<@\placeholdernc{nothrow-forward-range}@ R, class T> + requires @\libconcept{constructible_from}@, const T&> + borrowed_iterator_t ranges::uninitialized_fill(R&& r, const T& x); \end{itemdecl} \begin{itemdescr} @@ -10794,11 +10776,9 @@ \indexlibraryglobal{uninitialized_fill_n}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-forward-iterator}@ I, class T> - requires @\libconcept{constructible_from}@, const T&> - I uninitialized_fill_n(I first, iter_difference_t n, const T& x); -} +template<@\placeholdernc{nothrow-forward-iterator}@ I, class T> + requires @\libconcept{constructible_from}@, const T&> + I ranges::uninitialized_fill_n(I first, iter_difference_t n, const T& x); \end{itemdecl} \begin{itemdescr} @@ -10817,10 +10797,8 @@ template constexpr T* construct_at(T* location, Args&&... args); -namespace ranges { - template - constexpr T* construct_at(T* location, Args&&... args); -} +template + constexpr T* ranges::construct_at(T* location, Args&&... args); \end{itemdecl} \begin{itemdescr} @@ -10843,10 +10821,8 @@ \begin{itemdecl} template constexpr void destroy_at(T* location); -namespace ranges { - template<@\libconcept{destructible}@ T> - constexpr void destroy_at(T* location) noexcept; -} +template<@\libconcept{destructible}@ T> + constexpr void ranges::destroy_at(T* location) noexcept; \end{itemdecl} \begin{itemdescr} @@ -10878,14 +10854,12 @@ \indexlibraryglobal{destroy}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-input-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S> - requires @\libconcept{destructible}@> - constexpr I destroy(I first, S last) noexcept; - template<@\placeholdernc{nothrow-input-range}@ R> - requires @\libconcept{destructible}@> - constexpr borrowed_iterator_t destroy(R&& r) noexcept; -} +template<@\placeholdernc{nothrow-input-iterator}@ I, @\placeholder{nothrow-sentinel-for}@ S> + requires @\libconcept{destructible}@> + constexpr I ranges::destroy(I first, S last) noexcept; +template<@\placeholdernc{nothrow-input-range}@ R> + requires @\libconcept{destructible}@> + constexpr borrowed_iterator_t ranges::destroy(R&& r) noexcept; \end{itemdecl} \begin{itemdescr} @@ -10918,11 +10892,9 @@ \indexlibraryglobal{destroy_n}% \begin{itemdecl} -namespace ranges { - template<@\placeholdernc{nothrow-input-iterator}@ I> - requires @\libconcept{destructible}@> - constexpr I destroy_n(I first, iter_difference_t n) noexcept; -} +template<@\placeholdernc{nothrow-input-iterator}@ I> + requires @\libconcept{destructible}@> + constexpr I ranges::destroy_n(I first, iter_difference_t n) noexcept; \end{itemdecl} \begin{itemdescr}