1// Class filesystem::path -*- C++ -*-
2
3// Copyright (C) 2014-2024 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.
10
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.
15
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.
19
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/>.
24
25/** @file include/bits/fs_path.h
26 * This is an internal header file, included by other library headers.
27 * Do not attempt to use it directly. @headername{filesystem}
28 */
29
30#ifndef _GLIBCXX_FS_PATH_H
31#define _GLIBCXX_FS_PATH_H 1
32
33#if __cplusplus >= 201703L
34
35#include <type_traits>
36#include <locale>
37#include <iosfwd>
38#include <iomanip>
39#include <codecvt>
40#include <string_view>
41#include <system_error>
42#include <bits/stl_algobase.h>
43#include <bits/stl_pair.h>
44#include <bits/locale_conv.h>
45#include <ext/concurrence.h>
46#include <bits/shared_ptr.h>
47#include <bits/unique_ptr.h>
48
49#if __cplusplus > 201703L
50# include <compare>
51#endif
52
53#if defined(_WIN32) && !defined(__CYGWIN__)
54# define _GLIBCXX_FILESYSTEM_IS_WINDOWS 1
55#endif
56
57namespace std _GLIBCXX_VISIBILITY(default)
58{
59_GLIBCXX_BEGIN_NAMESPACE_VERSION
60
61namespace filesystem
62{
63_GLIBCXX_BEGIN_NAMESPACE_CXX11
64
65 class path;
66
67 /// @cond undocumented
68namespace __detail
69{
70 /// @addtogroup filesystem
71 /// @{
72 template<typename _CharT>
73 inline constexpr bool __is_encoded_char = false;
74 template<>
75 inline constexpr bool __is_encoded_char<char> = true;
76#ifdef _GLIBCXX_USE_CHAR8_T
77 template<>
78 inline constexpr bool __is_encoded_char<char8_t> = true;
79#endif
80#if _GLIBCXX_USE_WCHAR_T
81 template<>
82 inline constexpr bool __is_encoded_char<wchar_t> = true;
83#endif
84 template<>
85 inline constexpr bool __is_encoded_char<char16_t> = true;
86 template<>
87 inline constexpr bool __is_encoded_char<char32_t> = true;
88
89#if __cpp_concepts >= 201907L
90 template<typename _Iter>
91 using __safe_iterator_traits = std::iterator_traits<_Iter>;
92#else
93 template<typename _Iter>
94 struct __safe_iterator_traits : std::iterator_traits<_Iter>
95 { };
96
97 // Protect against ill-formed iterator_traits specializations in C++17
98 template<> struct __safe_iterator_traits<void*> { };
99 template<> struct __safe_iterator_traits<const void*> { };
100 template<> struct __safe_iterator_traits<volatile void*> { };
101 template<> struct __safe_iterator_traits<const volatile void*> { };
102#endif
103
104 template<typename _Iter_traits, typename = void>
105 inline constexpr bool __is_path_iter_src = false;
106
107 template<typename _Iter_traits>
108 inline constexpr bool
109 __is_path_iter_src<_Iter_traits, void_t<typename _Iter_traits::value_type>>
110 = __is_encoded_char<typename _Iter_traits::value_type>;
111
112 template<typename _Source>
113 inline constexpr bool __is_path_src
114 = __is_path_iter_src<iterator_traits<decay_t<_Source>>>;
115
116 template<>
117 inline constexpr bool __is_path_src<path> = false;
118
119 template<>
120 inline constexpr bool __is_path_src<volatile path> = false;
121
122 template<>
123 inline constexpr bool __is_path_src<void*> = false;
124
125 template<>
126 inline constexpr bool __is_path_src<const void*> = false;
127
128 template<>
129 inline constexpr bool __is_path_src<volatile void*> = false;
130
131 template<>
132 inline constexpr bool __is_path_src<const volatile void*> = false;
133
134 template<typename _CharT, typename _Traits, typename _Alloc>
135 inline constexpr bool
136 __is_path_src<basic_string<_CharT, _Traits, _Alloc>>
137 = __is_encoded_char<_CharT>;
138
139 template<typename _CharT, typename _Traits>
140 inline constexpr bool
141 __is_path_src<basic_string_view<_CharT, _Traits>>
142 = __is_encoded_char<_CharT>;
143
144 // SFINAE constraint for Source parameters as required by [fs.path.req].
145 template<typename _Tp>
146 using _Path = enable_if_t<__is_path_src<_Tp>, path>;
147
148 // SFINAE constraint for InputIterator parameters as required by [fs.req].
149 template<typename _Iter, typename _Tr = __safe_iterator_traits<_Iter>>
150 using _Path2 = enable_if_t<__is_path_iter_src<_Tr>, path>;
151
152#if __cpp_lib_concepts
153 template<typename _Iter>
154 constexpr bool __is_contiguous = std::contiguous_iterator<_Iter>;
155#else
156 template<typename _Iter>
157 constexpr bool __is_contiguous = false;
158#endif
159
160 template<typename _Tp>
161 constexpr bool __is_contiguous<_Tp*> = true;
162
163 template<typename _Tp, typename _Seq>
164 constexpr bool
165 __is_contiguous<__gnu_cxx::__normal_iterator<_Tp*, _Seq>> = true;
166
167#if !defined _GLIBCXX_FILESYSTEM_IS_WINDOWS && defined _GLIBCXX_USE_CHAR8_T
168 // For POSIX treat char8_t sequences as char without encoding conversions.
169 template<typename _EcharT>
170 using __unified_u8_t
171 = __conditional_t<is_same_v<_EcharT, char8_t>, char, _EcharT>;
172#else
173 template<typename _EcharT>
174 using __unified_u8_t = _EcharT;
175#endif
176
177 // The __effective_range overloads convert a Source parameter into
178 // either a basic_string_view<C> or basic_string<C> containing the
179 // effective range of the Source, as defined in [fs.path.req].
180
181 template<typename _CharT, typename _Traits, typename _Alloc>
182 inline basic_string_view<_CharT>
183 __effective_range(const basic_string<_CharT, _Traits, _Alloc>& __source)
184 noexcept
185 { return __source; }
186
187 template<typename _CharT, typename _Traits>
188 inline basic_string_view<_CharT>
189 __effective_range(const basic_string_view<_CharT, _Traits>& __source)
190 noexcept
191 { return __source; }
192
193 // Return the effective range of an NTCTS.
194 template<typename _Source>
195 auto
196 __effective_range(const _Source& __source)
197 {
198 // Remove a level of normal/safe iterator indirection, or decay an array.
199 using _Iter = decltype(std::__niter_base(__source));
200 using value_type = typename iterator_traits<_Iter>::value_type;
201
202 if constexpr (__is_contiguous<_Iter>)
203 return basic_string_view<value_type>{&*__source};
204 else
205 {
206 // _Source is an input iterator that iterates over an NTCTS.
207 // Create a basic_string by reading until the null character.
208 basic_string<__unified_u8_t<value_type>> __str;
209 _Source __it = __source;
210 for (value_type __ch = *__it; __ch != value_type(); __ch = *++__it)
211 __str.push_back(__ch);
212 return __str;
213 }
214 }
215
216 // The value type of a Source parameter's effective range.
217 template<typename _Source>
218 struct __source_value_type_impl
219 {
220 using type
221 = typename __safe_iterator_traits<decay_t<_Source>>::value_type;
222 };
223
224 template<typename _CharT, typename _Traits, typename _Alloc>
225 struct __source_value_type_impl<basic_string<_CharT, _Traits, _Alloc>>
226 {
227 using type = _CharT;
228 };
229
230 template<typename _CharT, typename _Traits>
231 struct __source_value_type_impl<basic_string_view<_CharT, _Traits>>
232 {
233 using type = _CharT;
234 };
235
236 // The value type of a Source parameter's effective range.
237 template<typename _Source>
238 using __source_value_t = typename __source_value_type_impl<_Source>::type;
239
240 // SFINAE helper to check that an effective range has value_type char,
241 // as required by path constructors taking a std::locale parameter.
242 // The type _Tp must have already been checked by _Path<Tp> or _Path2<_Tp>.
243 template<typename _Tp, typename _Val = __source_value_t<_Tp>>
244 using __value_type_is_char
245 = std::enable_if_t<std::is_same_v<_Val, char>, _Val>;
246
247 // As above, but also allows char8_t, as required by u8path
248 // C++20 [depr.fs.path.factory]
249 template<typename _Tp, typename _Val = __source_value_t<_Tp>>
250 using __value_type_is_char_or_char8_t
251 = std::enable_if_t<std::is_same_v<_Val, char>
252#ifdef _GLIBCXX_USE_CHAR8_T
253 || std::is_same_v<_Val, char8_t>
254#endif
255 , _Val>;
256
257 // Create a basic_string<C> or basic_string_view<C> from an iterator range.
258 template<typename _InputIterator>
259 inline auto
260 __string_from_range(_InputIterator __first, _InputIterator __last)
261 {
262 using _EcharT
263 = typename std::iterator_traits<_InputIterator>::value_type;
264 static_assert(__is_encoded_char<_EcharT>); // C++17 [fs.req]/3
265
266 if constexpr (__is_contiguous<_InputIterator>)
267 {
268 // For contiguous iterators we can just return a string view.
269 if (auto __len = __last - __first) [[__likely__]]
270 return basic_string_view<_EcharT>(&*__first, __len);
271 return basic_string_view<_EcharT>();
272 }
273 else
274 {
275 // Conversion requires contiguous characters, so create a string.
276 return basic_string<__unified_u8_t<_EcharT>>(__first, __last);
277 }
278 }
279
280 /// @} group filesystem
281} // namespace __detail
282 /// @endcond
283
284 /// @addtogroup filesystem
285 /// @{
286
287 /// A filesystem path
288 /**
289 * @ingroup filesystem
290 * @headerfile filesystem
291 * @since C++17
292 */
293 class path
294 {
295 public:
296#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
297 using value_type = wchar_t;
298 static constexpr value_type preferred_separator = L'\\';
299#else
300# ifdef _GLIBCXX_DOXYGEN
301 /// Windows uses wchar_t for path::value_type, POSIX uses char.
302 using value_type = __os_dependent__;
303# else
304 using value_type = char;
305# endif
306 static constexpr value_type preferred_separator = '/';
307#endif
308 using string_type = std::basic_string<value_type>;
309
310 /// path::format is ignored in this implementation
311 enum format : unsigned char { native_format, generic_format, auto_format };
312
313 // constructors and destructor
314
315 path() noexcept { }
316
317 path(const path& __p) = default;
318
319 path(path&& __p) noexcept
320 : _M_pathname(std::move(__p._M_pathname)),
321 _M_cmpts(std::move(__p._M_cmpts))
322 { __p.clear(); }
323
324 path(string_type&& __source, format = auto_format)
325 : _M_pathname(std::move(__source))
326 { _M_split_cmpts(); }
327
328 template<typename _Source,
329 typename _Require = __detail::_Path<_Source>>
330 path(_Source const& __source, format = auto_format)
331 : _M_pathname(_S_convert(__detail::__effective_range(__source)))
332 { _M_split_cmpts(); }
333
334 template<typename _InputIterator,
335 typename _Require = __detail::_Path2<_InputIterator>>
336 path(_InputIterator __first, _InputIterator __last, format = auto_format)
337 : _M_pathname(_S_convert(__detail::__string_from_range(__first, __last)))
338 { _M_split_cmpts(); }
339
340 template<typename _Source,
341 typename _Require = __detail::_Path<_Source>,
342 typename _Require2 = __detail::__value_type_is_char<_Source>>
343 path(_Source const& __src, const locale& __loc, format = auto_format)
344 : _M_pathname(_S_convert_loc(__detail::__effective_range(__src), __loc))
345 { _M_split_cmpts(); }
346
347 template<typename _InputIterator,
348 typename _Require = __detail::_Path2<_InputIterator>,
349 typename _Req2 = __detail::__value_type_is_char<_InputIterator>>
350 path(_InputIterator __first, _InputIterator __last, const locale& __loc,
351 format = auto_format)
352 : _M_pathname(_S_convert_loc(__first, __last, __loc))
353 { _M_split_cmpts(); }
354
355 ~path() = default;
356
357 // assignments
358
359 path& operator=(const path&);
360 path& operator=(path&&) noexcept;
361 path& operator=(string_type&& __source);
362 path& assign(string_type&& __source);
363
364 template<typename _Source>
365 __detail::_Path<_Source>&
366 operator=(_Source const& __source)
367 { return *this = path(__source); }
368
369 template<typename _Source>
370 __detail::_Path<_Source>&
371 assign(_Source const& __source)
372 { return *this = path(__source); }
373
374 template<typename _InputIterator>
375 __detail::_Path2<_InputIterator>&
376 assign(_InputIterator __first, _InputIterator __last)
377 { return *this = path(__first, __last); }
378
379 // appends
380
381 path& operator/=(const path& __p);
382
383 template<typename _Source>
384 __detail::_Path<_Source>&
385 operator/=(_Source const& __source)
386 {
387 _M_append(_S_convert(__detail::__effective_range(__source)));
388 return *this;
389 }
390
391 template<typename _Source>
392 __detail::_Path<_Source>&
393 append(_Source const& __source)
394 {
395 _M_append(_S_convert(__detail::__effective_range(__source)));
396 return *this;
397 }
398
399 template<typename _InputIterator>
400 __detail::_Path2<_InputIterator>&
401 append(_InputIterator __first, _InputIterator __last)
402 {
403 _M_append(_S_convert(__detail::__string_from_range(__first, __last)));
404 return *this;
405 }
406
407 // concatenation
408
409 path& operator+=(const path& __x);
410 path& operator+=(const string_type& __x);
411 path& operator+=(const value_type* __x);
412 path& operator+=(value_type __x);
413 path& operator+=(basic_string_view<value_type> __x);
414
415 template<typename _Source>
416 __detail::_Path<_Source>&
417 operator+=(_Source const& __x) { return concat(__x); }
418
419 template<typename _CharT>
420 __detail::_Path2<_CharT*>&
421 operator+=(_CharT __x);
422
423 template<typename _Source>
424 __detail::_Path<_Source>&
425 concat(_Source const& __x)
426 {
427 _M_concat(_S_convert(__detail::__effective_range(__x)));
428 return *this;
429 }
430
431 template<typename _InputIterator>
432 __detail::_Path2<_InputIterator>&
433 concat(_InputIterator __first, _InputIterator __last)
434 {
435 _M_concat(_S_convert(__detail::__string_from_range(__first, __last)));
436 return *this;
437 }
438
439 // modifiers
440
441 void clear() noexcept { _M_pathname.clear(); _M_split_cmpts(); }
442
443 path& make_preferred();
444 path& remove_filename();
445 path& replace_filename(const path& __replacement);
446 path& replace_extension(const path& __replacement = path());
447
448 void swap(path& __rhs) noexcept;
449
450 // native format observers
451
452 const string_type& native() const noexcept { return _M_pathname; }
453 const value_type* c_str() const noexcept { return _M_pathname.c_str(); }
454 operator string_type() const { return _M_pathname; }
455
456 template<typename _CharT, typename _Traits = std::char_traits<_CharT>,
457 typename _Allocator = std::allocator<_CharT>>
458 std::basic_string<_CharT, _Traits, _Allocator>
459 string(const _Allocator& __a = _Allocator()) const;
460
461 std::string string() const;
462#if _GLIBCXX_USE_WCHAR_T
463 std::wstring wstring() const;
464#endif
465#ifdef _GLIBCXX_USE_CHAR8_T
466 __attribute__((__abi_tag__("__u8")))
467 std::u8string u8string() const;
468#else
469 std::string u8string() const;
470#endif // _GLIBCXX_USE_CHAR8_T
471 std::u16string u16string() const;
472 std::u32string u32string() const;
473
474 // generic format observers
475 template<typename _CharT, typename _Traits = std::char_traits<_CharT>,
476 typename _Allocator = std::allocator<_CharT>>
477 std::basic_string<_CharT, _Traits, _Allocator>
478 generic_string(const _Allocator& __a = _Allocator()) const;
479
480 std::string generic_string() const;
481#if _GLIBCXX_USE_WCHAR_T
482 std::wstring generic_wstring() const;
483#endif
484#ifdef _GLIBCXX_USE_CHAR8_T
485 __attribute__((__abi_tag__("__u8")))
486 std::u8string generic_u8string() const;
487#else
488 std::string generic_u8string() const;
489#endif // _GLIBCXX_USE_CHAR8_T
490 std::u16string generic_u16string() const;
491 std::u32string generic_u32string() const;
492
493 // compare
494
495 int compare(const path& __p) const noexcept;
496 int compare(const string_type& __s) const noexcept;
497 int compare(const value_type* __s) const noexcept;
498 int compare(basic_string_view<value_type> __s) const noexcept;
499
500 // decomposition
501
502 path root_name() const;
503 path root_directory() const;
504 path root_path() const;
505 path relative_path() const;
506 path parent_path() const;
507 path filename() const;
508 path stem() const;
509 path extension() const;
510
511 // query
512
513 [[nodiscard]] bool empty() const noexcept { return _M_pathname.empty(); }
514 bool has_root_name() const noexcept;
515 bool has_root_directory() const noexcept;
516 bool has_root_path() const noexcept;
517 bool has_relative_path() const noexcept;
518 bool has_parent_path() const noexcept;
519 bool has_filename() const noexcept;
520 bool has_stem() const noexcept;
521 bool has_extension() const noexcept;
522 bool is_absolute() const noexcept;
523 bool is_relative() const noexcept { return !is_absolute(); }
524
525 // generation
526 path lexically_normal() const;
527 path lexically_relative(const path& base) const;
528 path lexically_proximate(const path& base) const;
529
530 // iterators
531 class iterator;
532 using const_iterator = iterator;
533
534 iterator begin() const noexcept;
535 iterator end() const noexcept;
536
537 /// Write a path to a stream
538 template<typename _CharT, typename _Traits>
539 friend std::basic_ostream<_CharT, _Traits>&
540 operator<<(std::basic_ostream<_CharT, _Traits>& __os, const path& __p)
541 {
542 __os << std::quoted(__p.string<_CharT, _Traits>());
543 return __os;
544 }
545
546 /// Read a path from a stream
547 template<typename _CharT, typename _Traits>
548 friend std::basic_istream<_CharT, _Traits>&
549 operator>>(std::basic_istream<_CharT, _Traits>& __is, path& __p)
550 {
551 std::basic_string<_CharT, _Traits> __tmp;
552 if (__is >> std::quoted(__tmp))
553 __p = std::move(__tmp);
554 return __is;
555 }
556
557 // non-member operators
558
559 /// Compare paths
560 friend bool operator==(const path& __lhs, const path& __rhs) noexcept
561 { return path::_S_compare(__lhs, __rhs) == 0; }
562
563#if __cpp_lib_three_way_comparison
564 /// Compare paths
565 friend strong_ordering
566 operator<=>(const path& __lhs, const path& __rhs) noexcept
567 { return path::_S_compare(__lhs, __rhs) <=> 0; }
568#else
569 /// Compare paths
570 friend bool operator!=(const path& __lhs, const path& __rhs) noexcept
571 { return !(__lhs == __rhs); }
572
573 /// Compare paths
574 friend bool operator<(const path& __lhs, const path& __rhs) noexcept
575 { return __lhs.compare(__rhs) < 0; }
576
577 /// Compare paths
578 friend bool operator<=(const path& __lhs, const path& __rhs) noexcept
579 { return !(__rhs < __lhs); }
580
581 /// Compare paths
582 friend bool operator>(const path& __lhs, const path& __rhs) noexcept
583 { return __rhs < __lhs; }
584
585 /// Compare paths
586 friend bool operator>=(const path& __lhs, const path& __rhs) noexcept
587 { return !(__lhs < __rhs); }
588#endif
589
590 /// Append one path to another
591 friend path operator/(const path& __lhs, const path& __rhs)
592 {
593 path __result(__lhs);
594 __result /= __rhs;
595 return __result;
596 }
597
598 private:
599 enum class _Type : unsigned char {
600 _Multi = 0, _Root_name, _Root_dir, _Filename
601 };
602
603 path(basic_string_view<value_type> __str, _Type __type);
604
605 enum class _Split { _Stem, _Extension };
606
607 void _M_append(basic_string_view<value_type>);
608 void _M_concat(basic_string_view<value_type>);
609
610 pair<const string_type*, size_t> _M_find_extension() const noexcept;
611
612 // path::_S_convert creates a basic_string<value_type> or
613 // basic_string_view<value_type> from a basic_string<C> or
614 // basic_string_view<C>, for an encoded character type C,
615 // performing the conversions required by [fs.path.type.cvt].
616 template<typename _Tp>
617 static auto
618 _S_convert(_Tp __str)
619 noexcept(is_same_v<typename _Tp::value_type, value_type>)
620 {
621 if constexpr (is_same_v<typename _Tp::value_type, value_type>)
622 return __str; // No conversion needed.
623#if !defined _GLIBCXX_FILESYSTEM_IS_WINDOWS && defined _GLIBCXX_USE_CHAR8_T
624 else if constexpr (is_same_v<_Tp, std::u8string>)
625 // Calling _S_convert<char8_t> will return a u8string_view that
626 // refers to __str and would dangle after this function returns.
627 // Return a string_type instead, to avoid dangling.
628 return string_type(_S_convert(__str.data(),
629 __str.data() + __str.size()));
630#endif
631 else
632 return _S_convert(__str.data(), __str.data() + __str.size());
633 }
634
635 template<typename _EcharT>
636 static auto
637 _S_convert(const _EcharT* __first, const _EcharT* __last);
638
639 // _S_convert_loc converts a range of char to string_type, using the
640 // supplied locale for encoding conversions.
641
642 static string_type
643 _S_convert_loc(const char* __first, const char* __last,
644 const std::locale& __loc);
645
646 template<typename _Iter>
647 static string_type
648 _S_convert_loc(_Iter __first, _Iter __last, const std::locale& __loc)
649 {
650 const auto __s = __detail::__string_from_range(__first, __last);
651 return _S_convert_loc(__s.data(), __s.data() + __s.size(), __loc);
652 }
653
654 template<typename _Tp>
655 static string_type
656 _S_convert_loc(const _Tp& __s, const std::locale& __loc)
657 {
658 return _S_convert_loc(__s.data(), __s.data() + __s.size(), __loc);
659 }
660
661 template<typename _CharT, typename _Traits, typename _Allocator>
662 static basic_string<_CharT, _Traits, _Allocator>
663 _S_str_convert(basic_string_view<value_type>, const _Allocator&);
664
665 // Returns lhs.compare(rhs), but defined after path::iterator is complete.
666 __attribute__((__always_inline__))
667 static int
668 _S_compare(const path& __lhs, const path& __rhs) noexcept;
669
670 void _M_split_cmpts();
671
672 _Type _M_type() const noexcept { return _M_cmpts.type(); }
673
674 string_type _M_pathname;
675
676 struct _Cmpt;
677
678 struct _List
679 {
680 using value_type = _Cmpt;
681 using iterator = value_type*;
682 using const_iterator = const value_type*;
683
684 _List();
685 _List(const _List&);
686 _List(_List&&) = default;
687 _List& operator=(const _List&);
688 _List& operator=(_List&&) = default;
689 ~_List() = default;
690
691 _Type type() const noexcept
692 { return _Type(reinterpret_cast<uintptr_t>(_M_impl.get()) & 0x3); }
693
694 void type(_Type) noexcept;
695
696 int size() const noexcept; // zero unless type() == _Type::_Multi
697 bool empty() const noexcept; // true unless type() == _Type::_Multi
698 void clear();
699 void swap(_List& __l) noexcept { _M_impl.swap(u&: __l._M_impl); }
700 int capacity() const noexcept;
701 void reserve(int, bool); ///< @pre type() == _Type::_Multi
702
703 // All the member functions below here have a precondition !empty()
704 // (and they should only be called from within the library).
705
706 iterator begin() noexcept;
707 iterator end() noexcept;
708 const_iterator begin() const noexcept;
709 const_iterator end() const noexcept;
710
711 value_type& front() noexcept;
712 value_type& back() noexcept;
713 const value_type& front() const noexcept;
714 const value_type& back() const noexcept;
715
716 void pop_back();
717 void _M_erase_from(const_iterator __pos); // erases [__pos,end())
718
719 struct _Impl;
720 struct _Impl_deleter
721 {
722 void operator()(_Impl*) const noexcept;
723 };
724 unique_ptr<_Impl, _Impl_deleter> _M_impl;
725 };
726 _List _M_cmpts;
727
728 struct _Parser;
729
730 template<typename _EcharT> struct _Codecvt;
731 };
732
733 /// @{
734 /// @relates std::filesystem::path
735
736 inline void swap(path& __lhs, path& __rhs) noexcept { __lhs.swap(__rhs); }
737
738 size_t hash_value(const path& __p) noexcept;
739
740 /// @}
741
742 /// Exception type thrown by the Filesystem library
743 /**
744 * @headerfile filesystem
745 * @since C++17
746 */
747 class filesystem_error : public std::system_error
748 {
749 public:
750 filesystem_error(const string& __what_arg, error_code __ec);
751
752 filesystem_error(const string& __what_arg, const path& __p1,
753 error_code __ec);
754
755 filesystem_error(const string& __what_arg, const path& __p1,
756 const path& __p2, error_code __ec);
757
758 filesystem_error(const filesystem_error&) = default;
759 filesystem_error& operator=(const filesystem_error&) = default;
760
761 // No move constructor or assignment operator.
762 // Copy rvalues instead, so that _M_impl is not left empty.
763
764 ~filesystem_error();
765
766 const path& path1() const noexcept;
767 const path& path2() const noexcept;
768 const char* what() const noexcept;
769
770 private:
771 struct _Impl;
772 std::__shared_ptr<const _Impl> _M_impl;
773 };
774
775 /// @cond undocumented
776namespace __detail
777{
778 [[noreturn]] inline void
779 __throw_conversion_error()
780 {
781 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
782 "Cannot convert character sequence",
783 std::make_error_code(errc::illegal_byte_sequence)));
784 }
785
786#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
787 template<typename _Tp>
788 inline std::wstring
789 __wstr_from_utf8(const _Tp& __str)
790 {
791 static_assert(std::is_same_v<typename _Tp::value_type, char>);
792 std::wstring __wstr;
793 // XXX This assumes native wide encoding is UTF-16.
794 std::codecvt_utf8_utf16<wchar_t> __wcvt;
795 const auto __p = __str.data();
796 if (!__str_codecvt_in_all(__p, __p + __str.size(), __wstr, __wcvt))
797 __detail::__throw_conversion_error();
798 return __wstr;
799 }
800#endif
801
802} // namespace __detail
803 /// @endcond
804
805
806 /** Create a path from a UTF-8-encoded sequence of char
807 *
808 * @relates std::filesystem::path
809 * @headerfile filesystem
810 * @since C++17
811 */
812 template<typename _InputIterator,
813 typename _Require = __detail::_Path2<_InputIterator>,
814 typename _CharT
815 = __detail::__value_type_is_char_or_char8_t<_InputIterator>>
816 _GLIBCXX20_DEPRECATED_SUGGEST("path(u8string(first, last))")
817 inline path
818 u8path(_InputIterator __first, _InputIterator __last)
819 {
820#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
821 if constexpr (is_same_v<_CharT, char>)
822 return path{ __detail::__wstr_from_utf8(
823 __detail::__string_from_range(__first, __last)) };
824 else
825 return path{ __first, __last }; // constructor handles char8_t
826#else
827 // This assumes native normal encoding is UTF-8.
828 return path{ __first, __last };
829#endif
830 }
831
832 /** Create a path from a UTF-8-encoded sequence of char
833 *
834 * @relates std::filesystem::path
835 * @headerfile filesystem
836 * @since C++17
837 */
838 template<typename _Source,
839 typename _Require = __detail::_Path<_Source>,
840 typename _CharT = __detail::__value_type_is_char_or_char8_t<_Source>>
841 _GLIBCXX20_DEPRECATED_SUGGEST("path((const char8_t*)&*source)")
842 inline path
843 u8path(const _Source& __source)
844 {
845#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
846 if constexpr (is_same_v<_CharT, char>)
847 return path{ __detail::__wstr_from_utf8(
848 __detail::__effective_range(__source)) };
849 else
850 return path{ __source }; // constructor handles char8_t
851#else
852 // This assumes native normal encoding is UTF-8.
853 return path{ __source };
854#endif
855 }
856
857 /// @cond undocumented
858
859 struct path::_Cmpt : path
860 {
861 _Cmpt(basic_string_view<value_type> __s, _Type __t, size_t __pos);
862
863 _Cmpt() : _M_pos(-1) { }
864
865 size_t _M_pos;
866 };
867
868 // path::_Codecvt<C> Performs conversions between C and path::string_type.
869 // The native encoding of char strings is the OS-dependent current
870 // encoding for pathnames. FIXME: We assume this is UTF-8 everywhere,
871 // but should use a Windows API to query it.
872
873 // Converts between native pathname encoding and char16_t or char32_t.
874 template<typename _EcharT>
875 struct path::_Codecvt
876 // Need derived class here because std::codecvt has protected destructor.
877 : std::codecvt<_EcharT, char, mbstate_t>
878 { };
879
880 // Converts between native pathname encoding and native wide encoding.
881 // The native encoding for wide strings is the execution wide-character
882 // set encoding. FIXME: We assume that this is either UTF-32 or UTF-16
883 // (depending on the width of wchar_t). That matches GCC's default,
884 // but can be changed with -fwide-exec-charset.
885 // We need a custom codecvt converting the native pathname encoding
886 // to/from the native wide encoding.
887 template<>
888 struct path::_Codecvt<wchar_t>
889 : __conditional_t<sizeof(wchar_t) == sizeof(char32_t),
890 std::codecvt_utf8<wchar_t>, // UTF-8 <-> UTF-32
891 std::codecvt_utf8_utf16<wchar_t>> // UTF-8 <-> UTF-16
892 { };
893
894 template<typename _EcharT>
895 auto
896 path::_S_convert(const _EcharT* __f, const _EcharT* __l)
897 {
898 static_assert(__detail::__is_encoded_char<_EcharT>);
899
900#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
901# define _GLIBCXX_CONV_FROM_UTF8(S) __detail::__wstr_from_utf8(S)
902#else
903# define _GLIBCXX_CONV_FROM_UTF8(S) S
904#endif
905
906 if constexpr (is_same_v<_EcharT, value_type>)
907 return basic_string_view<value_type>(__f, __l - __f);
908#ifdef _GLIBCXX_USE_CHAR8_T
909 else if constexpr (is_same_v<_EcharT, char8_t>)
910 {
911 string_view __str(reinterpret_cast<const char*>(__f), __l - __f);
912 return _GLIBCXX_CONV_FROM_UTF8(__str);
913 }
914#endif
915#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
916 else if constexpr (is_same_v<_EcharT, char>)
917 {
918 std::wstring __wstr;
919 path::_Codecvt<wchar_t> __cvt;
920 if (__str_codecvt_in_all(__f, __l, __wstr, __cvt))
921 return __wstr;
922 }
923#endif
924 else
925 {
926 path::_Codecvt<_EcharT> __cvt;
927 std::string __str;
928 if (__str_codecvt_out_all(__f, __l, __str, __cvt))
929 return _GLIBCXX_CONV_FROM_UTF8(__str);
930 }
931 __detail::__throw_conversion_error();
932 }
933#undef _GLIBCXX_CONV_FROM_UTF8
934
935 /// @endcond
936
937 /// An iterator for the components of a path
938 /**
939 * @headerfile filesystem
940 * @since C++17
941 */
942 class path::iterator
943 {
944 public:
945 using difference_type = std::ptrdiff_t;
946 using value_type = path;
947 using reference = const path&;
948 using pointer = const path*;
949 using iterator_category = std::bidirectional_iterator_tag;
950
951 iterator() noexcept : _M_path(nullptr), _M_cur(), _M_at_end() { }
952
953 iterator(const iterator&) = default;
954 iterator& operator=(const iterator&) = default;
955
956 reference operator*() const noexcept;
957 pointer operator->() const noexcept { return std::__addressof(r: **this); }
958
959 iterator& operator++() noexcept;
960
961 iterator operator++(int) noexcept
962 { auto __tmp = *this; ++*this; return __tmp; }
963
964 iterator& operator--() noexcept;
965
966 iterator operator--(int) noexcept
967 { auto __tmp = *this; --*this; return __tmp; }
968
969 friend bool
970 operator==(const iterator& __lhs, const iterator& __rhs) noexcept
971 { return __lhs._M_equals(__rhs); }
972
973 friend bool
974 operator!=(const iterator& __lhs, const iterator& __rhs) noexcept
975 { return !__lhs._M_equals(__rhs); }
976
977 private:
978 friend class path;
979
980 bool
981 _M_is_multi() const noexcept
982 { return _M_path->_M_type() == _Type::_Multi; }
983
984 friend difference_type
985 __path_iter_distance(const iterator& __first, const iterator& __last)
986 noexcept
987 {
988 __glibcxx_assert(__first._M_path != nullptr);
989 __glibcxx_assert(__first._M_path == __last._M_path);
990 if (__first._M_is_multi())
991 return std::distance(first: __first._M_cur, last: __last._M_cur);
992 else if (__first._M_at_end == __last._M_at_end)
993 return 0;
994 else
995 return __first._M_at_end ? -1 : 1;
996 }
997
998 friend void
999 __path_iter_advance(iterator& __i, difference_type __n) noexcept
1000 {
1001 if (__n == 1)
1002 ++__i;
1003 else if (__n == -1)
1004 --__i;
1005 else if (__n != 0)
1006 {
1007 __glibcxx_assert(__i._M_path != nullptr);
1008 __glibcxx_assert(__i._M_is_multi());
1009 // __glibcxx_assert(__i._M_path->_M_cmpts.end() - __i._M_cur >= __n);
1010 __i._M_cur += __n;
1011 }
1012 }
1013
1014 iterator(const path* __path, path::_List::const_iterator __iter) noexcept
1015 : _M_path(__path), _M_cur(__iter), _M_at_end()
1016 { }
1017
1018 iterator(const path* __path, bool __at_end) noexcept
1019 : _M_path(__path), _M_cur(), _M_at_end(__at_end)
1020 { }
1021
1022 bool _M_equals(iterator) const noexcept;
1023
1024 const path* _M_path;
1025 path::_List::const_iterator _M_cur;
1026 bool _M_at_end; // only used when type != _Multi
1027 };
1028
1029
1030 inline path&
1031 path::operator=(path&& __p) noexcept
1032 {
1033 if (&__p == this) [[__unlikely__]]
1034 return *this;
1035
1036 _M_pathname = std::move(__p._M_pathname);
1037 _M_cmpts = std::move(__p._M_cmpts);
1038 __p.clear();
1039 return *this;
1040 }
1041
1042 inline path&
1043 path::operator=(string_type&& __source)
1044 { return *this = path(std::move(__source)); }
1045
1046 inline path&
1047 path::assign(string_type&& __source)
1048 { return *this = path(std::move(__source)); }
1049
1050 inline path&
1051 path::operator+=(const string_type& __x)
1052 {
1053 _M_concat(__x);
1054 return *this;
1055 }
1056
1057 inline path&
1058 path::operator+=(const value_type* __x)
1059 {
1060 _M_concat(__x);
1061 return *this;
1062 }
1063
1064 inline path&
1065 path::operator+=(value_type __x)
1066 {
1067 _M_concat(basic_string_view<value_type>(&__x, 1));
1068 return *this;
1069 }
1070
1071 inline path&
1072 path::operator+=(basic_string_view<value_type> __x)
1073 {
1074 _M_concat(__x);
1075 return *this;
1076 }
1077
1078 template<typename _CharT>
1079 inline __detail::_Path2<_CharT*>&
1080 path::operator+=(const _CharT __x)
1081 {
1082 _M_concat(_S_convert(&__x, &__x + 1));
1083 return *this;
1084 }
1085
1086 inline path&
1087 path::make_preferred()
1088 {
1089#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1090 auto __pos = _M_pathname.find(L'/');
1091 while (__pos != _M_pathname.npos)
1092 {
1093 _M_pathname[__pos] = preferred_separator;
1094 __pos = _M_pathname.find(L'/', __pos);
1095 }
1096#endif
1097 return *this;
1098 }
1099
1100 inline void path::swap(path& __rhs) noexcept
1101 {
1102 _M_pathname.swap(s&: __rhs._M_pathname);
1103 _M_cmpts.swap(l&: __rhs._M_cmpts);
1104 }
1105
1106 /// @cond undocumented
1107 template<typename _CharT, typename _Traits, typename _Allocator>
1108 std::basic_string<_CharT, _Traits, _Allocator>
1109 path::_S_str_convert(basic_string_view<value_type> __str,
1110 const _Allocator& __a)
1111 {
1112 static_assert(!is_same_v<_CharT, value_type>);
1113
1114 using _WString = basic_string<_CharT, _Traits, _Allocator>;
1115
1116 if (__str.size() == 0)
1117 return _WString(__a);
1118
1119#ifndef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1120 string_view __u8str = __str;
1121#else
1122 // First convert native string from UTF-16 to to UTF-8.
1123 // XXX This assumes that the execution wide-character set is UTF-16.
1124 std::codecvt_utf8_utf16<value_type> __cvt;
1125
1126 using _CharAlloc = __alloc_rebind<_Allocator, char>;
1127 using _String = basic_string<char, char_traits<char>, _CharAlloc>;
1128 _String __u8str{_CharAlloc{__a}};
1129 const value_type* __wfirst = __str.data();
1130 const value_type* __wlast = __wfirst + __str.size();
1131 if (!__str_codecvt_out_all(__wfirst, __wlast, __u8str, __cvt))
1132 __detail::__throw_conversion_error();
1133 if constexpr (is_same_v<_CharT, char>)
1134 return __u8str; // XXX assumes native ordinary encoding is UTF-8.
1135 else
1136#endif
1137 {
1138 const char* __first = __u8str.data();
1139 const char* __last = __first + __u8str.size();
1140
1141 // Convert UTF-8 string to requested format.
1142#ifdef _GLIBCXX_USE_CHAR8_T
1143 if constexpr (is_same_v<_CharT, char8_t>)
1144 return _WString(__first, __last, __a);
1145 else
1146#endif
1147 {
1148 // Convert UTF-8 to wide string.
1149 _WString __wstr(__a);
1150 path::_Codecvt<_CharT> __cvt;
1151 if (__str_codecvt_in_all(__first, __last, __wstr, __cvt))
1152 return __wstr;
1153 }
1154 }
1155 __detail::__throw_conversion_error();
1156 }
1157 /// @endcond
1158
1159 template<typename _CharT, typename _Traits, typename _Allocator>
1160 inline basic_string<_CharT, _Traits, _Allocator>
1161 path::string(const _Allocator& __a) const
1162 {
1163 if constexpr (is_same_v<_CharT, value_type>)
1164 return { _M_pathname.c_str(), _M_pathname.length(), __a };
1165 else
1166 return _S_str_convert<_CharT, _Traits>(_M_pathname, __a);
1167 }
1168
1169 inline std::string
1170 path::string() const { return string<char>(); }
1171
1172#if _GLIBCXX_USE_WCHAR_T
1173 inline std::wstring
1174 path::wstring() const { return string<wchar_t>(); }
1175#endif
1176
1177#ifdef _GLIBCXX_USE_CHAR8_T
1178 inline std::u8string
1179 path::u8string() const { return string<char8_t>(); }
1180#else
1181 inline std::string
1182 path::u8string() const
1183 {
1184#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1185 std::string __str;
1186 // convert from native wide encoding (assumed to be UTF-16) to UTF-8
1187 std::codecvt_utf8_utf16<value_type> __cvt;
1188 const value_type* __first = _M_pathname.data();
1189 const value_type* __last = __first + _M_pathname.size();
1190 if (__str_codecvt_out_all(__first, __last, __str, __cvt))
1191 return __str;
1192 __detail::__throw_conversion_error();
1193#else
1194 return _M_pathname;
1195#endif
1196 }
1197#endif // _GLIBCXX_USE_CHAR8_T
1198
1199 inline std::u16string
1200 path::u16string() const { return string<char16_t>(); }
1201
1202 inline std::u32string
1203 path::u32string() const { return string<char32_t>(); }
1204
1205 template<typename _CharT, typename _Traits, typename _Allocator>
1206 inline std::basic_string<_CharT, _Traits, _Allocator>
1207 path::generic_string(const _Allocator& __a) const
1208 {
1209#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1210 const value_type __slash = L'/';
1211#else
1212 const value_type __slash = '/';
1213#endif
1214 using _Alloc2 = typename allocator_traits<_Allocator>::template
1215 rebind_alloc<value_type>;
1216 basic_string<value_type, char_traits<value_type>, _Alloc2> __str(__a);
1217
1218 if (_M_type() == _Type::_Root_dir)
1219 __str.assign(1, __slash);
1220 else
1221 {
1222 __str.reserve(_M_pathname.size());
1223 bool __add_slash = false;
1224 for (auto& __elem : *this)
1225 {
1226#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1227 if (__elem._M_type() == _Type::_Root_dir)
1228 {
1229 __str += __slash;
1230 continue;
1231 }
1232#endif
1233 if (__add_slash)
1234 __str += __slash;
1235 __str += basic_string_view<value_type>(__elem._M_pathname);
1236 __add_slash = __elem._M_type() == _Type::_Filename;
1237 }
1238 }
1239
1240 if constexpr (is_same_v<_CharT, value_type>)
1241 return __str;
1242 else
1243 return _S_str_convert<_CharT, _Traits>(__str, __a);
1244 }
1245
1246 inline std::string
1247 path::generic_string() const
1248 { return generic_string<char>(); }
1249
1250#if _GLIBCXX_USE_WCHAR_T
1251 inline std::wstring
1252 path::generic_wstring() const
1253 { return generic_string<wchar_t>(); }
1254#endif
1255
1256#ifdef _GLIBCXX_USE_CHAR8_T
1257 inline std::u8string
1258 path::generic_u8string() const
1259 { return generic_string<char8_t>(); }
1260#else
1261 inline std::string
1262 path::generic_u8string() const
1263 { return generic_string(); }
1264#endif
1265
1266 inline std::u16string
1267 path::generic_u16string() const
1268 { return generic_string<char16_t>(); }
1269
1270 inline std::u32string
1271 path::generic_u32string() const
1272 { return generic_string<char32_t>(); }
1273
1274 inline int
1275 path::compare(const string_type& __s) const noexcept
1276 { return compare(s: basic_string_view<value_type>(__s)); }
1277
1278 inline int
1279 path::compare(const value_type* __s) const noexcept
1280 { return compare(s: basic_string_view<value_type>(__s)); }
1281
1282 inline path
1283 path::filename() const
1284 {
1285 if (empty())
1286 return {};
1287 else if (_M_type() == _Type::_Filename)
1288 return *this;
1289 else if (_M_type() == _Type::_Multi)
1290 {
1291 if (_M_pathname.back() == preferred_separator)
1292 return {};
1293 auto __last = --end();
1294 if (__last->_M_type() == _Type::_Filename)
1295 return *__last;
1296 }
1297 return {};
1298 }
1299
1300 inline path
1301 path::stem() const
1302 {
1303 auto ext = _M_find_extension();
1304 if (ext.first && ext.second != 0)
1305 return path{ext.first->substr(pos: 0, n: ext.second)};
1306 return {};
1307 }
1308
1309 inline path
1310 path::extension() const
1311 {
1312 auto ext = _M_find_extension();
1313 if (ext.first && ext.second != string_type::npos)
1314 return path{ext.first->substr(pos: ext.second)};
1315 return {};
1316 }
1317
1318 inline bool
1319 path::has_stem() const noexcept
1320 {
1321 auto ext = _M_find_extension();
1322 return ext.first && ext.second != 0;
1323 }
1324
1325 inline bool
1326 path::has_extension() const noexcept
1327 {
1328 auto ext = _M_find_extension();
1329 return ext.first && ext.second != string_type::npos;
1330 }
1331
1332 inline bool
1333 path::is_absolute() const noexcept
1334 {
1335#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1336 return has_root_name() && has_root_directory();
1337#else
1338 return has_root_directory();
1339#endif
1340 }
1341
1342 inline path::iterator
1343 path::begin() const noexcept
1344 {
1345 if (_M_type() == _Type::_Multi)
1346 return iterator(this, _M_cmpts.begin());
1347 return iterator(this, empty());
1348 }
1349
1350 inline path::iterator
1351 path::end() const noexcept
1352 {
1353 if (_M_type() == _Type::_Multi)
1354 return iterator(this, _M_cmpts.end());
1355 return iterator(this, true);
1356 }
1357
1358 inline path::iterator&
1359 path::iterator::operator++() noexcept
1360 {
1361 __glibcxx_assert(_M_path != nullptr);
1362 if (_M_is_multi())
1363 {
1364 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1365 ++_M_cur;
1366 }
1367 else
1368 {
1369 __glibcxx_assert(!_M_at_end);
1370 _M_at_end = true;
1371 }
1372 return *this;
1373 }
1374
1375 inline path::iterator&
1376 path::iterator::operator--() noexcept
1377 {
1378 __glibcxx_assert(_M_path != nullptr);
1379 if (_M_is_multi())
1380 {
1381 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.begin());
1382 --_M_cur;
1383 }
1384 else
1385 {
1386 __glibcxx_assert(_M_at_end);
1387 _M_at_end = false;
1388 }
1389 return *this;
1390 }
1391
1392 inline path::iterator::reference
1393 path::iterator::operator*() const noexcept
1394 {
1395 __glibcxx_assert(_M_path != nullptr);
1396 if (_M_is_multi())
1397 {
1398 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1399 return *_M_cur;
1400 }
1401 return *_M_path;
1402 }
1403
1404 inline bool
1405 path::iterator::_M_equals(iterator __rhs) const noexcept
1406 {
1407 if (_M_path != __rhs._M_path)
1408 return false;
1409 if (_M_path == nullptr)
1410 return true;
1411 if (_M_is_multi())
1412 return _M_cur == __rhs._M_cur;
1413 return _M_at_end == __rhs._M_at_end;
1414 }
1415
1416 // Define this now that path and path::iterator are complete.
1417 // It needs to consider the string_view(Range&&) constructor during
1418 // overload resolution, which depends on whether range<path> is satisfied,
1419 // which depends on whether path::iterator is complete.
1420 inline int
1421 path::_S_compare(const path& __lhs, const path& __rhs) noexcept
1422 { return __lhs.compare(p: __rhs); }
1423
1424 /// @} group filesystem
1425_GLIBCXX_END_NAMESPACE_CXX11
1426} // namespace filesystem
1427
1428/// @cond undocumented
1429
1430inline ptrdiff_t
1431distance(filesystem::path::iterator __first, filesystem::path::iterator __last)
1432noexcept
1433{ return __path_iter_distance(__first, __last); }
1434
1435template<typename _Distance>
1436 inline void
1437 advance(filesystem::path::iterator& __i, _Distance __n) noexcept
1438 { __path_iter_advance(__i, n: static_cast<ptrdiff_t>(__n)); }
1439
1440extern template class __shared_ptr<const filesystem::filesystem_error::_Impl>;
1441
1442/// @endcond
1443
1444// _GLIBCXX_RESOLVE_LIB_DEFECTS
1445// 3657. std::hash<std::filesystem::path> is not enabled
1446template<>
1447 struct hash<filesystem::path>
1448 {
1449 size_t
1450 operator()(const filesystem::path& __p) const noexcept
1451 { return filesystem::hash_value(__p); }
1452 };
1453
1454_GLIBCXX_END_NAMESPACE_VERSION
1455} // namespace std
1456
1457#endif // C++17
1458
1459#endif // _GLIBCXX_FS_PATH_H
1460