LWG3552 Parallel specialized memory algorithms should require forward iterators

Author: jensmaurer

source/utilities.tex

@@ -6955,16 +6955,17 @@
   template<class InputIterator, class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_copy(InputIterator first, InputIterator last,
                                               NoThrowForwardIterator result);
-  template<class ExecutionPolicy, class InputIterator, class NoThrowForwardIterator>
+  template<class ExecutionPolicy, class ForwardIterator, class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_copy(ExecutionPolicy&& exec,   // see \ref{algorithms.parallel.overloads}
-                                              InputIterator first, InputIterator last,
+                                              ForwardIterator first, ForwardIterator last,
                                               NoThrowForwardIterator result);
   template<class InputIterator, class Size, class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_copy_n(InputIterator first, Size n,
                                                 NoThrowForwardIterator result);
-  template<class ExecutionPolicy, class InputIterator, class Size, class NoThrowForwardIterator>
+  template<class ExecutionPolicy, class ForwardIterator, class Size,
+           class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_copy_n(ExecutionPolicy&& exec, // see \ref{algorithms.parallel.overloads}
-                                                InputIterator first, Size n,
+                                                ForwardIterator first, Size n,
                                                 NoThrowForwardIterator result);
 
   namespace ranges {
@@ -6991,17 +6992,18 @@
   template<class InputIterator, class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_move(InputIterator first, InputIterator last,
                                               NoThrowForwardIterator result);
-  template<class ExecutionPolicy, class InputIterator, class NoThrowForwardIterator>
+  template<class ExecutionPolicy, class ForwardIterator, class NoThrowForwardIterator>
     NoThrowForwardIterator uninitialized_move(ExecutionPolicy&& exec,   // see \ref{algorithms.parallel.overloads}
-                                              InputIterator first, InputIterator last,
+                                              ForwardIterator first, ForwardIterator last,
                                               NoThrowForwardIterator result);
   template<class InputIterator, class Size, class NoThrowForwardIterator>
     pair<InputIterator, NoThrowForwardIterator>
       uninitialized_move_n(InputIterator first, Size n, NoThrowForwardIterator result);
-  template<class ExecutionPolicy, class InputIterator, class Size, class NoThrowForwardIterator>
-    pair<InputIterator, NoThrowForwardIterator>
+  template<class ExecutionPolicy, class ForwardIterator, class Size,
+           class NoThrowForwardIterator>
+    pair<ForwardIterator, NoThrowForwardIterator>
       uninitialized_move_n(ExecutionPolicy&& exec,              // see \ref{algorithms.parallel.overloads}
-                           InputIterator first, Size n, NoThrowForwardIterator result);
+                           ForwardIterator first, Size n, NoThrowForwardIterator result);
 
   namespace ranges {
     template<class I, class O>