Remove noexcept from filesystem iterators and operations (LWG 3013, 3014)
[official-gcc.git] / libstdc++-v3 / include / bits / fs_dir.h
blob579a269711e715143e63308279d0108046d41699
1 // Filesystem directory utilities -*- C++ -*-
3 // Copyright (C) 2014-2017 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
25 /** @file include/bits/fs_dir.h
26 * This is an internal header file, included by other library headers.
27 * Do not attempt to use it directly. @headername{filesystem}
30 #ifndef _GLIBCXX_FS_DIR_H
31 #define _GLIBCXX_FS_DIR_H 1
33 #if __cplusplus >= 201703L
34 # include <typeinfo>
35 # include <ext/concurrence.h>
36 # include <bits/unique_ptr.h>
37 # include <bits/shared_ptr.h>
39 namespace std _GLIBCXX_VISIBILITY(default)
41 _GLIBCXX_BEGIN_NAMESPACE_VERSION
43 namespace filesystem
45 /**
46 * @ingroup filesystem
47 * @{
50 class file_status
52 public:
53 // constructors and destructor
54 file_status() noexcept : file_status(file_type::none) {}
56 explicit
57 file_status(file_type __ft, perms __prms = perms::unknown) noexcept
58 : _M_type(__ft), _M_perms(__prms) { }
60 file_status(const file_status&) noexcept = default;
61 file_status(file_status&&) noexcept = default;
62 ~file_status() = default;
64 file_status& operator=(const file_status&) noexcept = default;
65 file_status& operator=(file_status&&) noexcept = default;
67 // observers
68 file_type type() const noexcept { return _M_type; }
69 perms permissions() const noexcept { return _M_perms; }
71 // modifiers
72 void type(file_type __ft) noexcept { _M_type = __ft; }
73 void permissions(perms __prms) noexcept { _M_perms = __prms; }
75 private:
76 file_type _M_type;
77 perms _M_perms;
80 _GLIBCXX_BEGIN_NAMESPACE_CXX11
82 struct _Dir;
83 class directory_iterator;
84 class recursive_directory_iterator;
86 class directory_entry
88 public:
89 // constructors and destructor
90 directory_entry() noexcept = default;
91 directory_entry(const directory_entry&) = default;
92 directory_entry(directory_entry&&) noexcept = default;
94 explicit
95 directory_entry(const filesystem::path& __p)
96 : _M_path(__p)
97 { refresh(); }
99 directory_entry(const filesystem::path& __p, error_code& __ec)
100 : _M_path(__p)
102 refresh(__ec);
103 if (__ec)
104 _M_path.clear();
107 ~directory_entry() = default;
109 // modifiers
110 directory_entry& operator=(const directory_entry&) = default;
111 directory_entry& operator=(directory_entry&&) noexcept = default;
113 void
114 assign(const filesystem::path& __p)
116 _M_path = __p;
117 refresh();
120 void
121 assign(const filesystem::path& __p, error_code& __ec)
123 _M_path = __p;
124 refresh(__ec);
127 void
128 replace_filename(const filesystem::path& __p)
130 _M_path.replace_filename(__p);
131 refresh();
134 void
135 replace_filename(const filesystem::path& __p, error_code& __ec)
137 _M_path.replace_filename(__p);
138 refresh(__ec);
141 void refresh() { _M_type = symlink_status().type(); }
142 void refresh(error_code& __ec) { _M_type = symlink_status(__ec).type(); }
144 // observers
145 const filesystem::path& path() const noexcept { return _M_path; }
146 operator const filesystem::path& () const noexcept { return _M_path; }
148 bool
149 exists() const
150 { return filesystem::exists(file_status{_M_file_type()}); }
152 bool
153 exists(error_code& __ec) const noexcept
154 { return filesystem::exists(file_status{_M_file_type(__ec)}); }
156 bool
157 is_block_file() const
158 { return _M_file_type() == file_type::block; }
160 bool
161 is_block_file(error_code& __ec) const noexcept
162 { return _M_file_type(__ec) == file_type::block; }
164 bool
165 is_character_file() const
166 { return _M_file_type() == file_type::character; }
168 bool
169 is_character_file(error_code& __ec) const noexcept
170 { return _M_file_type(__ec) == file_type::character; }
172 bool
173 is_directory() const
174 { return _M_file_type() == file_type::directory; }
176 bool
177 is_directory(error_code& __ec) const noexcept
178 { return _M_file_type(__ec) == file_type::directory; }
180 bool
181 is_fifo() const
182 { return _M_file_type() == file_type::fifo; }
184 bool
185 is_fifo(error_code& __ec) const noexcept
186 { return _M_file_type(__ec) == file_type::fifo; }
188 bool
189 is_other() const
190 { return filesystem::is_other(file_status{_M_file_type()}); }
192 bool
193 is_other(error_code& __ec) const noexcept
194 { return filesystem::is_other(file_status{_M_file_type(__ec)}); }
196 bool
197 is_regular_file() const
198 { return _M_file_type() == file_type::regular; }
200 bool
201 is_regular_file(error_code& __ec) const noexcept
202 { return _M_file_type(__ec) == file_type::regular; }
204 bool
205 is_socket() const
206 { return _M_file_type() == file_type::socket; }
208 bool
209 is_socket(error_code& __ec) const noexcept
210 { return _M_file_type(__ec) == file_type::socket; }
212 bool
213 is_symlink() const
215 if (_M_type != file_type::none)
216 return _M_type == file_type::symlink;
217 return symlink_status().type() == file_type::symlink;
220 bool
221 is_symlink(error_code& __ec) const noexcept
223 if (_M_type != file_type::none)
224 return _M_type == file_type::symlink;
225 return symlink_status(__ec).type() == file_type::symlink;
228 uintmax_t
229 file_size() const
230 { return filesystem::file_size(_M_path); }
232 uintmax_t
233 file_size(error_code& __ec) const noexcept
234 { return filesystem::file_size(_M_path, __ec); }
236 uintmax_t
237 hard_link_count() const
238 { return filesystem::hard_link_count(_M_path); }
240 uintmax_t
241 hard_link_count(error_code& __ec) const noexcept
242 { return filesystem::hard_link_count(_M_path, __ec); }
244 file_time_type
245 last_write_time() const
246 { return filesystem::last_write_time(_M_path); }
249 file_time_type
250 last_write_time(error_code& __ec) const noexcept
251 { return filesystem::last_write_time(_M_path, __ec); }
253 file_status
254 status() const
255 { return filesystem::status(_M_path); }
257 file_status
258 status(error_code& __ec) const noexcept
259 { return filesystem::status(_M_path, __ec); }
261 file_status
262 symlink_status() const
263 { return filesystem::symlink_status(_M_path); }
265 file_status
266 symlink_status(error_code& __ec) const noexcept
267 { return filesystem::symlink_status(_M_path, __ec); }
269 bool
270 operator< (const directory_entry& __rhs) const noexcept
271 { return _M_path < __rhs._M_path; }
273 bool
274 operator==(const directory_entry& __rhs) const noexcept
275 { return _M_path == __rhs._M_path; }
277 bool
278 operator!=(const directory_entry& __rhs) const noexcept
279 { return _M_path != __rhs._M_path; }
281 bool
282 operator<=(const directory_entry& __rhs) const noexcept
283 { return _M_path <= __rhs._M_path; }
285 bool
286 operator> (const directory_entry& __rhs) const noexcept
287 { return _M_path > __rhs._M_path; }
289 bool
290 operator>=(const directory_entry& __rhs) const noexcept
291 { return _M_path >= __rhs._M_path; }
293 private:
294 friend class _Dir;
295 friend class directory_iterator;
296 friend class recursive_directory_iterator;
298 directory_entry(const filesystem::path& __p, file_type __t)
299 : _M_path(__p), _M_type(__t)
302 // Equivalent to status().type() but uses cached value, if any.
303 file_type
304 _M_file_type() const
306 if (_M_type != file_type::none && _M_type != file_type::symlink)
307 return _M_type;
308 return status().type();
311 // Equivalent to status(__ec).type() but uses cached value, if any.
312 file_type
313 _M_file_type(error_code& __ec) const noexcept
315 if (_M_type != file_type::none && _M_type != file_type::symlink)
316 return _M_type;
317 return status(__ec).type();
320 filesystem::path _M_path;
321 file_type _M_type = file_type::none;
324 struct __directory_iterator_proxy
326 const directory_entry& operator*() const& noexcept { return _M_entry; }
328 directory_entry operator*() && noexcept { return std::move(_M_entry); }
330 private:
331 friend class directory_iterator;
332 friend class recursive_directory_iterator;
334 explicit
335 __directory_iterator_proxy(const directory_entry& __e) : _M_entry(__e) { }
337 directory_entry _M_entry;
340 class directory_iterator
342 public:
343 typedef directory_entry value_type;
344 typedef ptrdiff_t difference_type;
345 typedef const directory_entry* pointer;
346 typedef const directory_entry& reference;
347 typedef input_iterator_tag iterator_category;
349 directory_iterator() = default;
351 explicit
352 directory_iterator(const path& __p)
353 : directory_iterator(__p, directory_options::none, nullptr) { }
355 directory_iterator(const path& __p, directory_options __options)
356 : directory_iterator(__p, __options, nullptr) { }
358 directory_iterator(const path& __p, error_code& __ec)
359 : directory_iterator(__p, directory_options::none, __ec) { }
361 directory_iterator(const path& __p, directory_options __options,
362 error_code& __ec)
363 : directory_iterator(__p, __options, &__ec) { }
365 directory_iterator(const directory_iterator& __rhs) = default;
367 directory_iterator(directory_iterator&& __rhs) noexcept = default;
369 ~directory_iterator() = default;
371 directory_iterator&
372 operator=(const directory_iterator& __rhs) = default;
374 directory_iterator&
375 operator=(directory_iterator&& __rhs) noexcept = default;
377 const directory_entry& operator*() const;
378 const directory_entry* operator->() const { return &**this; }
379 directory_iterator& operator++();
380 directory_iterator& increment(error_code& __ec);
382 __directory_iterator_proxy operator++(int)
384 __directory_iterator_proxy __pr{**this};
385 ++*this;
386 return __pr;
389 private:
390 directory_iterator(const path&, directory_options, error_code*);
392 friend bool
393 operator==(const directory_iterator& __lhs,
394 const directory_iterator& __rhs);
396 friend class recursive_directory_iterator;
398 std::shared_ptr<_Dir> _M_dir;
401 inline directory_iterator
402 begin(directory_iterator __iter) noexcept
403 { return __iter; }
405 inline directory_iterator
406 end(directory_iterator) noexcept
407 { return directory_iterator(); }
409 inline bool
410 operator==(const directory_iterator& __lhs, const directory_iterator& __rhs)
412 return !__rhs._M_dir.owner_before(__lhs._M_dir)
413 && !__lhs._M_dir.owner_before(__rhs._M_dir);
416 inline bool
417 operator!=(const directory_iterator& __lhs, const directory_iterator& __rhs)
418 { return !(__lhs == __rhs); }
420 class recursive_directory_iterator
422 public:
423 typedef directory_entry value_type;
424 typedef ptrdiff_t difference_type;
425 typedef const directory_entry* pointer;
426 typedef const directory_entry& reference;
427 typedef input_iterator_tag iterator_category;
429 recursive_directory_iterator() = default;
431 explicit
432 recursive_directory_iterator(const path& __p)
433 : recursive_directory_iterator(__p, directory_options::none, nullptr) { }
435 recursive_directory_iterator(const path& __p, directory_options __options)
436 : recursive_directory_iterator(__p, __options, nullptr) { }
438 recursive_directory_iterator(const path& __p, directory_options __options,
439 error_code& __ec)
440 : recursive_directory_iterator(__p, __options, &__ec) { }
442 recursive_directory_iterator(const path& __p, error_code& __ec)
443 : recursive_directory_iterator(__p, directory_options::none, &__ec) { }
445 recursive_directory_iterator(
446 const recursive_directory_iterator&) = default;
448 recursive_directory_iterator(recursive_directory_iterator&&) = default;
450 ~recursive_directory_iterator();
452 // observers
453 directory_options options() const { return _M_options; }
454 int depth() const;
455 bool recursion_pending() const { return _M_pending; }
457 const directory_entry& operator*() const;
458 const directory_entry* operator->() const { return &**this; }
460 // modifiers
461 recursive_directory_iterator&
462 operator=(const recursive_directory_iterator& __rhs) noexcept;
463 recursive_directory_iterator&
464 operator=(recursive_directory_iterator&& __rhs) noexcept;
466 recursive_directory_iterator& operator++();
467 recursive_directory_iterator& increment(error_code& __ec);
469 __directory_iterator_proxy operator++(int)
471 __directory_iterator_proxy __pr{**this};
472 ++*this;
473 return __pr;
476 void pop();
477 void pop(error_code&);
479 void disable_recursion_pending() { _M_pending = false; }
481 private:
482 recursive_directory_iterator(const path&, directory_options, error_code*);
484 friend bool
485 operator==(const recursive_directory_iterator& __lhs,
486 const recursive_directory_iterator& __rhs);
488 struct _Dir_stack;
489 std::shared_ptr<_Dir_stack> _M_dirs;
490 directory_options _M_options = {};
491 bool _M_pending = false;
494 inline recursive_directory_iterator
495 begin(recursive_directory_iterator __iter) noexcept
496 { return __iter; }
498 inline recursive_directory_iterator
499 end(recursive_directory_iterator) noexcept
500 { return recursive_directory_iterator(); }
502 inline bool
503 operator==(const recursive_directory_iterator& __lhs,
504 const recursive_directory_iterator& __rhs)
506 return !__rhs._M_dirs.owner_before(__lhs._M_dirs)
507 && !__lhs._M_dirs.owner_before(__rhs._M_dirs);
510 inline bool
511 operator!=(const recursive_directory_iterator& __lhs,
512 const recursive_directory_iterator& __rhs)
513 { return !(__lhs == __rhs); }
515 _GLIBCXX_END_NAMESPACE_CXX11
517 // @} group filesystem
518 } // namespace filesystem
520 _GLIBCXX_END_NAMESPACE_VERSION
521 } // namespace std
523 #endif // C++17
525 #endif // _GLIBCXX_FS_DIR_H