[specialized.algorithms] Qualify declarator-id with sub-namespace.

jensmaurer · jensmaurer · commit 607947f1ee81 · 2021-06-15T22:10:12.000+02:00
Also qualify return types where necessary.
diff --git a/source/algorithms.tex b/source/algorithms.tex
@@ -10243,14 +10243,12 @@
 
 \indexlibraryglobal{uninitialized_default_construct}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-forward-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S>
-    requires @\libconcept{default_initializable}@<iter_value_t<I>>
-    I uninitialized_default_construct(I first, S last);
-  template<@\placeholdernc{no-throw-forward-range}@ R>
-    requires @\libconcept{default_initializable}@<range_value_t<R>>
-    borrowed_iterator_t<R> uninitialized_default_construct(R&& r);
-}
+template<@\placeholdernc{no-throw-forward-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S>
+  requires @\libconcept{default_initializable}@<iter_value_t<I>>
+  I ranges::uninitialized_default_construct(I first, S last);
+template<@\placeholdernc{no-throw-forward-range}@ R>
+  requires @\libconcept{default_initializable}@<range_value_t<R>>
+  borrowed_iterator_t<R> ranges::uninitialized_default_construct(R&& r);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10284,11 +10282,9 @@
 
 \indexlibraryglobal{uninitialized_default_construct_n}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-forward-iterator}@ I>
-    requires @\libconcept{default_initializable}@<iter_value_t<I>>
-    I uninitialized_default_construct_n(I first, iter_difference_t<I> n);
-}
+template<@\placeholdernc{no-throw-forward-iterator}@ I>
+  requires @\libconcept{default_initializable}@<iter_value_t<I>>
+  I ranges::uninitialized_default_construct_n(I first, iter_difference_t<I> n);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10322,14 +10318,12 @@
 
 \indexlibraryglobal{uninitialized_value_construct}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-forward-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S>
-    requires @\libconcept{default_initializable}@<iter_value_t<I>>
-    I uninitialized_value_construct(I first, S last);
-  template<@\placeholdernc{no-throw-forward-range}@ R>
-    requires @\libconcept{default_initializable}@<range_value_t<R>>
-    borrowed_iterator_t<R> uninitialized_value_construct(R&& r);
-}
+template<@\placeholdernc{no-throw-forward-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S>
+  requires @\libconcept{default_initializable}@<iter_value_t<I>>
+  I ranges::uninitialized_value_construct(I first, S last);
+template<@\placeholdernc{no-throw-forward-range}@ R>
+  requires @\libconcept{default_initializable}@<range_value_t<R>>
+  borrowed_iterator_t<R> ranges::uninitialized_value_construct(R&& r);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10363,11 +10357,9 @@
 
 \indexlibraryglobal{uninitialized_value_construct_n}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-forward-iterator}@ I>
-    requires @\libconcept{default_initializable}@<iter_value_t<I>>
-    I uninitialized_value_construct_n(I first, iter_difference_t<I> n);
-}
+template<@\placeholdernc{no-throw-forward-iterator}@ I>
+  requires @\libconcept{default_initializable}@<iter_value_t<I>>
+  I ranges::uninitialized_value_construct_n(I first, iter_difference_t<I> n);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10410,17 +10402,15 @@
 
 \indexlibraryglobal{uninitialized_copy}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
-           @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S2>
-    requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
-    uninitialized_copy_result<I, O>
-      uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
-  template<@\libconcept{input_range}@ IR, @\placeholdernc{no-throw-forward-range}@ OR>
-    requires @\libconcept{constructible_from}@<range_value_t<OR>, range_reference_t<IR>>
-    uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
-      uninitialized_copy(IR&& in_range, OR&& out_range);
-}
+template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
+         @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S2>
+  requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
+  ranges::uninitialized_copy_result<I, O>
+    ranges::uninitialized_copy(I ifirst, S1 ilast, O ofirst, S2 olast);
+template<@\libconcept{input_range}@ IR, @\placeholdernc{no-throw-forward-range}@ OR>
+  requires @\libconcept{constructible_from}@<range_value_t<OR>, range_reference_t<IR>>
+  ranges::uninitialized_copy_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
+    ranges::uninitialized_copy(IR&& in_range, OR&& out_range);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10466,12 +10456,10 @@
 
 \indexlibraryglobal{uninitialized_copy_n}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\libconcept{input_iterator}@ I, @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S>
-    requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
-    uninitialized_copy_n_result<I, O>
-      uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
-}
+template<@\libconcept{input_iterator}@ I, @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S>
+  requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_reference_t<I>>
+  ranges::uninitialized_copy_n_result<I, O>
+    ranges::uninitialized_copy_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10517,17 +10505,15 @@
 
 \indexlibraryglobal{uninitialized_move}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
-           @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S2>
-    requires @\libconcept{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<@\libconcept{input_range}@ IR, @\placeholdernc{no-throw-forward-range}@ OR>
-    requires @\libconcept{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);
-}
+template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S1,
+         @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S2>
+  requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
+  ranges::uninitialized_move_result<I, O>
+    ranges::uninitialized_move(I ifirst, S1 ilast, O ofirst, S2 olast);
+template<@\libconcept{input_range}@ IR, @\placeholdernc{no-throw-forward-range}@ OR>
+  requires @\libconcept{constructible_from}@<range_value_t<OR>, range_rvalue_reference_t<IR>>
+  ranges::uninitialized_move_result<borrowed_iterator_t<IR>, borrowed_iterator_t<OR>>
+    ranges::uninitialized_move(IR&& in_range, OR&& out_range);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10577,12 +10563,10 @@
 
 \indexlibraryglobal{uninitialized_move_n}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\libconcept{input_iterator}@ I, @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S>
-    requires @\libconcept{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);
-}
+template<@\libconcept{input_iterator}@ I, @\placeholdernc{no-throw-forward-iterator}@ O, @\placeholder{no-throw-sentinel-for}@<O> S>
+  requires @\libconcept{constructible_from}@<iter_value_t<O>, iter_rvalue_reference_t<I>>
+  ranges::uninitialized_move_n_result<I, O>
+    ranges::uninitialized_move_n(I ifirst, iter_difference_t<I> n, O ofirst, S olast);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10628,14 +10612,12 @@
 
 \indexlibraryglobal{uninitialized_fill}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-forward-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S, class T>
-    requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
-    I uninitialized_fill(I first, S last, const T& x);
-  template<@\placeholdernc{no-throw-forward-range}@ R, class T>
-    requires @\libconcept{constructible_from}@<range_value_t<R>, const T&>
-    borrowed_iterator_t<R> uninitialized_fill(R&& r, const T& x);
-}
+template<@\placeholdernc{no-throw-forward-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S, class T>
+  requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
+  I ranges::uninitialized_fill(I first, S last, const T& x);
+template<@\placeholdernc{no-throw-forward-range}@ R, class T>
+  requires @\libconcept{constructible_from}@<range_value_t<R>, const T&>
+  borrowed_iterator_t<R> ranges::uninitialized_fill(R&& r, const T& x);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10669,11 +10651,9 @@
 
 \indexlibraryglobal{uninitialized_fill_n}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-forward-iterator}@ I, class T>
-    requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
-    I uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
-}
+template<@\placeholdernc{no-throw-forward-iterator}@ I, class T>
+  requires @\libconcept{constructible_from}@<iter_value_t<I>, const T&>
+  I ranges::uninitialized_fill_n(I first, iter_difference_t<I> n, const T& x);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10692,10 +10672,8 @@
 template<class T, class... Args>
   constexpr T* construct_at(T* location, Args&&... args);
 
-namespace ranges {
-  template<class T, class... Args>
-    constexpr T* construct_at(T* location, Args&&... args);
-}
+template<class T, class... Args>
+  constexpr T* ranges::construct_at(T* location, Args&&... args);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10718,10 +10696,8 @@
 \begin{itemdecl}
 template<class T>
   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}
@@ -10753,14 +10729,12 @@
 
 \indexlibraryglobal{destroy}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-input-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S>
-    requires @\libconcept{destructible}@<iter_value_t<I>>
-    constexpr I destroy(I first, S last) noexcept;
-  template<@\placeholdernc{no-throw-input-range}@ R>
-    requires @\libconcept{destructible}@<range_value_t<R>>
-    constexpr borrowed_iterator_t<R> destroy(R&& r) noexcept;
-}
+template<@\placeholdernc{no-throw-input-iterator}@ I, @\placeholder{no-throw-sentinel-for}@<I> S>
+  requires @\libconcept{destructible}@<iter_value_t<I>>
+  constexpr I ranges::destroy(I first, S last) noexcept;
+template<@\placeholdernc{no-throw-input-range}@ R>
+  requires @\libconcept{destructible}@<range_value_t<R>>
+  constexpr borrowed_iterator_t<R> ranges::destroy(R&& r) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -10793,11 +10767,9 @@
 
 \indexlibraryglobal{destroy_n}%
 \begin{itemdecl}
-namespace ranges {
-  template<@\placeholdernc{no-throw-input-iterator}@ I>
-    requires @\libconcept{destructible}@<iter_value_t<I>>
-    constexpr I destroy_n(I first, iter_difference_t<I> n) noexcept;
-}
+template<@\placeholdernc{no-throw-input-iterator}@ I>
+  requires @\libconcept{destructible}@<iter_value_t<I>>
+  constexpr I ranges::destroy_n(I first, iter_difference_t<I> n) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
