LWG3013 (recursive_)directory_iterator construction and traversal should not be noexcept

Author: Dawn Perchik

source/iostreams.tex

@@ -10751,10 +10751,10 @@
   path canonical(const path& p, error_code& ec);
 
   void copy(const path& from, const path& to);
-  void copy(const path& from, const path& to, error_code& ec) noexcept;
+  void copy(const path& from, const path& to, error_code& ec);
   void copy(const path& from, const path& to, copy_options options);
   void copy(const path& from, const path& to, copy_options options,
-            error_code& ec) noexcept;
+            error_code& ec);
 
   bool copy_file(const path& from, const path& to);
   bool copy_file(const path& from, const path& to, error_code& ec) noexcept;
@@ -10819,7 +10819,7 @@
   bool is_directory(const path& p, error_code& ec) noexcept;
 
   bool is_empty(const path& p);
-  bool is_empty(const path& p, error_code& ec) noexcept;
+  bool is_empty(const path& p, error_code& ec);
 
   bool is_fifo(file_status s) noexcept;
   bool is_fifo(const path& p);
@@ -13768,9 +13768,9 @@
     directory_iterator() noexcept;
     explicit directory_iterator(const path& p);
     directory_iterator(const path& p, directory_options options);
-    directory_iterator(const path& p, error_code& ec) noexcept;
+    directory_iterator(const path& p, error_code& ec);
     directory_iterator(const path& p, directory_options options,
-                       error_code& ec) noexcept;
+                       error_code& ec);
     directory_iterator(const directory_iterator& rhs);
     directory_iterator(directory_iterator&& rhs) noexcept;
     ~directory_iterator();
@@ -13781,7 +13781,7 @@
     const directory_entry& operator*() const;
     const directory_entry* operator->() const;
     directory_iterator&    operator++();
-    directory_iterator&    increment(error_code& ec) noexcept;
+    directory_iterator&    increment(error_code& ec);
 
     // other members as required by \ref{input.iterators}, input iterators
   };
@@ -13865,8 +13865,8 @@
 \begin{itemdecl}
 explicit directory_iterator(const path& p);
 directory_iterator(const path& p, directory_options options);
-directory_iterator(const path& p, error_code& ec) noexcept;
-directory_iterator(const path& p, directory_options options, error_code& ec) noexcept;
+directory_iterator(const path& p, error_code& ec);
+directory_iterator(const path& p, directory_options options, error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -13925,7 +13925,7 @@
 \indexlibrarymember{operator++}{directory_iterator}%
 \begin{itemdecl}
 directory_iterator& operator++();
-directory_iterator& increment(error_code& ec) noexcept;
+directory_iterator& increment(error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -13991,8 +13991,8 @@
     explicit recursive_directory_iterator(const path& p);
     recursive_directory_iterator(const path& p, directory_options options);
     recursive_directory_iterator(const path& p, directory_options options,
-                                 error_code& ec) noexcept;
-    recursive_directory_iterator(const path& p, error_code& ec) noexcept;
+                                 error_code& ec);
+    recursive_directory_iterator(const path& p, error_code& ec);
     recursive_directory_iterator(const recursive_directory_iterator& rhs);
     recursive_directory_iterator(recursive_directory_iterator&& rhs) noexcept;
     ~recursive_directory_iterator();
@@ -14012,7 +14012,7 @@
       operator=(recursive_directory_iterator&& rhs) noexcept;
 
     recursive_directory_iterator& operator++();
-    recursive_directory_iterator& increment(error_code& ec) noexcept;
+    recursive_directory_iterator& increment(error_code& ec);
 
     void pop();
     void pop(error_code& ec);
@@ -14055,8 +14055,8 @@
 \begin{itemdecl}
 explicit recursive_directory_iterator(const path& p);
 recursive_directory_iterator(const path& p, directory_options options);
-recursive_directory_iterator(const path& p, directory_options options, error_code& ec) noexcept;
-recursive_directory_iterator(const path& p, error_code& ec) noexcept;
+recursive_directory_iterator(const path& p, directory_options options, error_code& ec);
+recursive_directory_iterator(const path& p, error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -14213,7 +14213,7 @@
 \indexlibrarymember{operator++}{recursive_directory_iterator}%
 \begin{itemdecl}
 recursive_directory_iterator& operator++();
-recursive_directory_iterator& increment(error_code& ec) noexcept;
+recursive_directory_iterator& increment(error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -14406,7 +14406,7 @@
 
 \indexlibrary{\idxcode{copy}!\idxcode{path}}%
 \begin{itemdecl}
-void copy(const path& from, const path& to, error_code& ec) noexcept;
+void copy(const path& from, const path& to, error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -14419,7 +14419,7 @@
 \begin{itemdecl}
 void copy(const path& from, const path& to, copy_options options);
 void copy(const path& from, const path& to, copy_options options,
-          error_code& ec) noexcept;
+          error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -15094,7 +15094,7 @@
 \indexlibrary{\idxcode{is_empty}!function}%
 \begin{itemdecl}
 bool is_empty(const path& p);
-bool is_empty(const path& p, error_code& ec) noexcept;
+bool is_empty(const path& p, error_code& ec);
 \end{itemdecl}
 
 \begin{itemdescr}