1 // Class filesystem::path -*- C++ -*-
3 // Copyright (C) 2014-2024 Free Software Foundation, Inc.
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)
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_path.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_PATH_H
31 #define _GLIBCXX_FS_PATH_H 1
33 #if __cplusplus >= 201703L
35 #include <type_traits>
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>
49 #if __cplusplus > 201703L
53 #if defined(_WIN32) && !defined(__CYGWIN__)
54 # define _GLIBCXX_FILESYSTEM_IS_WINDOWS 1
57 namespace std
_GLIBCXX_VISIBILITY(default)
59 _GLIBCXX_BEGIN_NAMESPACE_VERSION
63 _GLIBCXX_BEGIN_NAMESPACE_CXX11
67 /// @cond undocumented
70 /// @addtogroup filesystem
72 template<typename _CharT
>
73 inline constexpr bool __is_encoded_char
= false;
75 inline constexpr bool __is_encoded_char
<char> = true;
76 #ifdef _GLIBCXX_USE_CHAR8_T
78 inline constexpr bool __is_encoded_char
<char8_t
> = true;
80 #if _GLIBCXX_USE_WCHAR_T
82 inline constexpr bool __is_encoded_char
<wchar_t> = true;
85 inline constexpr bool __is_encoded_char
<char16_t
> = true;
87 inline constexpr bool __is_encoded_char
<char32_t
> = true;
89 #if __cpp_concepts >= 201907L
90 template<typename _Iter
>
91 using __safe_iterator_traits
= std::iterator_traits
<_Iter
>;
93 template<typename _Iter
>
94 struct __safe_iterator_traits
: std::iterator_traits
<_Iter
>
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*> { };
104 template<typename _Iter_traits
, typename
= void>
105 inline constexpr bool __is_path_iter_src
= false;
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
>;
112 template<typename _Source
>
113 inline constexpr bool __is_path_src
114 = __is_path_iter_src
<iterator_traits
<decay_t
<_Source
>>>;
117 inline constexpr bool __is_path_src
<path
> = false;
120 inline constexpr bool __is_path_src
<volatile path
> = false;
123 inline constexpr bool __is_path_src
<void*> = false;
126 inline constexpr bool __is_path_src
<const void*> = false;
129 inline constexpr bool __is_path_src
<volatile void*> = false;
132 inline constexpr bool __is_path_src
<const volatile void*> = false;
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
>;
139 template<typename _CharT
, typename _Traits
>
140 inline constexpr bool
141 __is_path_src
<basic_string_view
<_CharT
, _Traits
>>
142 = __is_encoded_char
<_CharT
>;
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
>;
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
>;
152 #if __cpp_lib_concepts
153 template<typename _Iter
>
154 constexpr bool __is_contiguous
= std::contiguous_iterator
<_Iter
>;
156 template<typename _Iter
>
157 constexpr bool __is_contiguous
= false;
160 template<typename _Tp
>
161 constexpr bool __is_contiguous
<_Tp
*> = true;
163 template<typename _Tp
, typename _Seq
>
165 __is_contiguous
<__gnu_cxx::__normal_iterator
<_Tp
*, _Seq
>> = true;
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
>
171 = __conditional_t
<is_same_v
<_EcharT
, char8_t
>, char, _EcharT
>;
173 template<typename _EcharT
>
174 using __unified_u8_t
= _EcharT
;
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].
181 template<typename _CharT
, typename _Traits
, typename _Alloc
>
182 inline basic_string_view
<_CharT
>
183 __effective_range(const basic_string
<_CharT
, _Traits
, _Alloc
>& __source
)
187 template<typename _CharT
, typename _Traits
>
188 inline basic_string_view
<_CharT
>
189 __effective_range(const basic_string_view
<_CharT
, _Traits
>& __source
)
193 // Return the effective range of an NTCTS.
194 template<typename _Source
>
196 __effective_range(const _Source
& __source
)
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
;
202 if constexpr (__is_contiguous
<_Iter
>)
203 return basic_string_view
<value_type
>{&*__source
};
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
);
216 // The value type of a Source parameter's effective range.
217 template<typename _Source
>
218 struct __source_value_type_impl
221 = typename __safe_iterator_traits
<decay_t
<_Source
>>::value_type
;
224 template<typename _CharT
, typename _Traits
, typename _Alloc
>
225 struct __source_value_type_impl
<basic_string
<_CharT
, _Traits
, _Alloc
>>
230 template<typename _CharT
, typename _Traits
>
231 struct __source_value_type_impl
<basic_string_view
<_CharT
, _Traits
>>
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
;
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
>;
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
>
257 // Create a basic_string<C> or basic_string_view<C> from an iterator range.
258 template<typename _InputIterator
>
260 __string_from_range(_InputIterator __first
, _InputIterator __last
)
263 = typename
std::iterator_traits
<_InputIterator
>::value_type
;
264 static_assert(__is_encoded_char
<_EcharT
>); // C++17 [fs.req]/3
266 if constexpr (__is_contiguous
<_InputIterator
>)
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
>();
275 // Conversion requires contiguous characters, so create a string.
276 return basic_string
<__unified_u8_t
<_EcharT
>>(__first
, __last
);
280 /// @} group filesystem
281 } // namespace __detail
284 /// @addtogroup filesystem
287 /// A filesystem path
289 * @ingroup filesystem
290 * @headerfile filesystem
296 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
297 using value_type
= wchar_t;
298 static constexpr value_type preferred_separator
= L
'\\';
300 # ifdef _GLIBCXX_DOXYGEN
301 /// Windows uses wchar_t for path::value_type, POSIX uses char.
302 using value_type
= __os_dependent__
;
304 using value_type
= char;
306 static constexpr value_type preferred_separator
= '/';
308 using string_type
= std::basic_string
<value_type
>;
310 /// path::format is ignored in this implementation
311 enum format
: unsigned char { native_format
, generic_format
, auto_format
};
313 // constructors and destructor
317 path(const path
& __p
) = default;
319 path(path
&& __p
) noexcept
320 : _M_pathname(std::move(__p
._M_pathname
)),
321 _M_cmpts(std::move(__p
._M_cmpts
))
324 path(string_type
&& __source
, format
= auto_format
)
325 : _M_pathname(std::move(__source
))
326 { _M_split_cmpts(); }
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(); }
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(); }
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(); }
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(); }
359 path
& operator=(const path
&);
360 path
& operator=(path
&&) noexcept
;
361 path
& operator=(string_type
&& __source
);
362 path
& assign(string_type
&& __source
);
364 template<typename _Source
>
365 __detail::_Path
<_Source
>&
366 operator=(_Source
const& __source
)
367 { return *this = path(__source
); }
369 template<typename _Source
>
370 __detail::_Path
<_Source
>&
371 assign(_Source
const& __source
)
372 { return *this = path(__source
); }
374 template<typename _InputIterator
>
375 __detail::_Path2
<_InputIterator
>&
376 assign(_InputIterator __first
, _InputIterator __last
)
377 { return *this = path(__first
, __last
); }
381 path
& operator/=(const path
& __p
);
383 template<typename _Source
>
384 __detail::_Path
<_Source
>&
385 operator/=(_Source
const& __source
)
387 _M_append(_S_convert(__detail::__effective_range(__source
)));
391 template<typename _Source
>
392 __detail::_Path
<_Source
>&
393 append(_Source
const& __source
)
395 _M_append(_S_convert(__detail::__effective_range(__source
)));
399 template<typename _InputIterator
>
400 __detail::_Path2
<_InputIterator
>&
401 append(_InputIterator __first
, _InputIterator __last
)
403 _M_append(_S_convert(__detail::__string_from_range(__first
, __last
)));
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
);
415 template<typename _Source
>
416 __detail::_Path
<_Source
>&
417 operator+=(_Source
const& __x
) { return concat(__x
); }
419 template<typename _CharT
>
420 __detail::_Path2
<_CharT
*>&
421 operator+=(_CharT __x
);
423 template<typename _Source
>
424 __detail::_Path
<_Source
>&
425 concat(_Source
const& __x
)
427 _M_concat(_S_convert(__detail::__effective_range(__x
)));
431 template<typename _InputIterator
>
432 __detail::_Path2
<_InputIterator
>&
433 concat(_InputIterator __first
, _InputIterator __last
)
435 _M_concat(_S_convert(__detail::__string_from_range(__first
, __last
)));
441 void clear() noexcept
{ _M_pathname
.clear(); _M_split_cmpts(); }
443 path
& make_preferred();
444 path
& remove_filename();
445 path
& replace_filename(const path
& __replacement
);
446 path
& replace_extension(const path
& __replacement
= path());
448 void swap(path
& __rhs
) noexcept
;
450 // native format observers
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
; }
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;
461 std::string
string() const;
462 #if _GLIBCXX_USE_WCHAR_T
463 std::wstring
wstring() const;
465 #ifdef _GLIBCXX_USE_CHAR8_T
466 __attribute__((__abi_tag__("__u8")))
467 std::u8string
u8string() const;
469 std::string
u8string() const;
470 #endif // _GLIBCXX_USE_CHAR8_T
471 std::u16string
u16string() const;
472 std::u32string
u32string() const;
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;
480 std::string
generic_string() const;
481 #if _GLIBCXX_USE_WCHAR_T
482 std::wstring
generic_wstring() const;
484 #ifdef _GLIBCXX_USE_CHAR8_T
485 __attribute__((__abi_tag__("__u8")))
486 std::u8string
generic_u8string() const;
488 std::string
generic_u8string() const;
489 #endif // _GLIBCXX_USE_CHAR8_T
490 std::u16string
generic_u16string() const;
491 std::u32string
generic_u32string() const;
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
;
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;
509 path
extension() const;
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(); }
526 path
lexically_normal() const;
527 path
lexically_relative(const path
& base
) const;
528 path
lexically_proximate(const path
& base
) const;
532 using const_iterator
= iterator
;
534 iterator
begin() const noexcept
;
535 iterator
end() const noexcept
;
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
)
542 __os
<< std::quoted(__p
.string
<_CharT
, _Traits
>());
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
)
551 std::basic_string
<_CharT
, _Traits
> __tmp
;
552 if (__is
>> std::quoted(__tmp
))
553 __p
= std::move(__tmp
);
557 // non-member operators
560 friend bool operator==(const path
& __lhs
, const path
& __rhs
) noexcept
561 { return path::_S_compare(__lhs
, __rhs
) == 0; }
563 #if __cpp_lib_three_way_comparison
565 friend strong_ordering
566 operator<=>(const path
& __lhs
, const path
& __rhs
) noexcept
567 { return path::_S_compare(__lhs
, __rhs
) <=> 0; }
570 friend bool operator!=(const path
& __lhs
, const path
& __rhs
) noexcept
571 { return !(__lhs
== __rhs
); }
574 friend bool operator<(const path
& __lhs
, const path
& __rhs
) noexcept
575 { return __lhs
.compare(__rhs
) < 0; }
578 friend bool operator<=(const path
& __lhs
, const path
& __rhs
) noexcept
579 { return !(__rhs
< __lhs
); }
582 friend bool operator>(const path
& __lhs
, const path
& __rhs
) noexcept
583 { return __rhs
< __lhs
; }
586 friend bool operator>=(const path
& __lhs
, const path
& __rhs
) noexcept
587 { return !(__lhs
< __rhs
); }
590 /// Append one path to another
591 friend path
operator/(const path
& __lhs
, const path
& __rhs
)
593 path
__result(__lhs
);
599 enum class _Type
: unsigned char {
600 _Multi
= 0, _Root_name
, _Root_dir
, _Filename
603 path(basic_string_view
<value_type
> __str
, _Type __type
);
605 enum class _Split
{ _Stem
, _Extension
};
607 void _M_append(basic_string_view
<value_type
>);
608 void _M_concat(basic_string_view
<value_type
>);
610 pair
<const string_type
*, size_t> _M_find_extension() const noexcept
;
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
>
618 _S_convert(_Tp __str
)
619 noexcept(is_same_v
<typename
_Tp::value_type
, value_type
>)
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()));
632 return _S_convert(__str
.data(), __str
.data() + __str
.size());
635 template<typename _EcharT
>
637 _S_convert(const _EcharT
* __first
, const _EcharT
* __last
);
639 // _S_convert_loc converts a range of char to string_type, using the
640 // supplied locale for encoding conversions.
643 _S_convert_loc(const char* __first
, const char* __last
,
644 const std::locale
& __loc
);
646 template<typename _Iter
>
648 _S_convert_loc(_Iter __first
, _Iter __last
, const std::locale
& __loc
)
650 const auto __s
= __detail::__string_from_range(__first
, __last
);
651 return _S_convert_loc(__s
.data(), __s
.data() + __s
.size(), __loc
);
654 template<typename _Tp
>
656 _S_convert_loc(const _Tp
& __s
, const std::locale
& __loc
)
658 return _S_convert_loc(__s
.data(), __s
.data() + __s
.size(), __loc
);
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
&);
665 // Returns lhs.compare(rhs), but defined after path::iterator is complete.
666 __attribute__((__always_inline__
))
668 _S_compare(const path
& __lhs
, const path
& __rhs
) noexcept
;
670 void _M_split_cmpts();
672 _Type
_M_type() const noexcept
{ return _M_cmpts
.type(); }
674 string_type _M_pathname
;
680 using value_type
= _Cmpt
;
681 using iterator
= value_type
*;
682 using const_iterator
= const value_type
*;
686 _List(_List
&&) = default;
687 _List
& operator=(const _List
&);
688 _List
& operator=(_List
&&) = default;
691 _Type
type() const noexcept
692 { return _Type(reinterpret_cast<uintptr_t>(_M_impl
.get()) & 0x3); }
694 void type(_Type
) noexcept
;
696 int size() const noexcept
; // zero unless type() == _Type::_Multi
697 bool empty() const noexcept
; // true unless type() == _Type::_Multi
699 void swap(_List
& __l
) noexcept
{ _M_impl
.swap(__l
._M_impl
); }
700 int capacity() const noexcept
;
701 void reserve(int, bool); ///< @pre type() == _Type::_Multi
703 // All the member functions below here have a precondition !empty()
704 // (and they should only be called from within the library).
706 iterator
begin() noexcept
;
707 iterator
end() noexcept
;
708 const_iterator
begin() const noexcept
;
709 const_iterator
end() const noexcept
;
711 value_type
& front() noexcept
;
712 value_type
& back() noexcept
;
713 const value_type
& front() const noexcept
;
714 const value_type
& back() const noexcept
;
717 void _M_erase_from(const_iterator __pos
); // erases [__pos,end())
722 void operator()(_Impl
*) const noexcept
;
724 unique_ptr
<_Impl
, _Impl_deleter
> _M_impl
;
730 template<typename _EcharT
> struct _Codecvt
;
734 /// @relates std::filesystem::path
736 inline void swap(path
& __lhs
, path
& __rhs
) noexcept
{ __lhs
.swap(__rhs
); }
738 size_t hash_value(const path
& __p
) noexcept
;
742 /// Exception type thrown by the Filesystem library
744 * @headerfile filesystem
747 class filesystem_error
: public std::system_error
750 filesystem_error(const string
& __what_arg
, error_code __ec
);
752 filesystem_error(const string
& __what_arg
, const path
& __p1
,
755 filesystem_error(const string
& __what_arg
, const path
& __p1
,
756 const path
& __p2
, error_code __ec
);
758 filesystem_error(const filesystem_error
&) = default;
759 filesystem_error
& operator=(const filesystem_error
&) = default;
761 // No move constructor or assignment operator.
762 // Copy rvalues instead, so that _M_impl is not left empty.
766 const path
& path1() const noexcept
;
767 const path
& path2() const noexcept
;
768 const char* what() const noexcept
;
772 std::__shared_ptr
<const _Impl
> _M_impl
;
775 /// @cond undocumented
778 [[noreturn
]] inline void
779 __throw_conversion_error()
781 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
782 "Cannot convert character sequence",
783 std::make_error_code(errc::illegal_byte_sequence
)));
786 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
787 template<typename _Tp
>
789 __wstr_from_utf8(const _Tp
& __str
)
791 static_assert(std::is_same_v
<typename
_Tp::value_type
, char>);
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();
802 } // namespace __detail
806 /** Create a path from a UTF-8-encoded sequence of char
808 * @relates std::filesystem::path
809 * @headerfile filesystem
812 template<typename _InputIterator
,
813 typename _Require
= __detail::_Path2
<_InputIterator
>,
815 = __detail::__value_type_is_char_or_char8_t
<_InputIterator
>>
816 _GLIBCXX20_DEPRECATED_SUGGEST("path(u8string(first, last))")
818 u8path(_InputIterator __first
, _InputIterator __last
)
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
)) };
825 return path
{ __first
, __last
}; // constructor handles char8_t
827 // This assumes native normal encoding is UTF-8.
828 return path
{ __first
, __last
};
832 /** Create a path from a UTF-8-encoded sequence of char
834 * @relates std::filesystem::path
835 * @headerfile filesystem
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)")
843 u8path(const _Source
& __source
)
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
)) };
850 return path
{ __source
}; // constructor handles char8_t
852 // This assumes native normal encoding is UTF-8.
853 return path
{ __source
};
857 /// @cond undocumented
859 struct path::_Cmpt
: path
861 _Cmpt(basic_string_view
<value_type
> __s
, _Type __t
, size_t __pos
);
863 _Cmpt() : _M_pos(-1) { }
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.
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>
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.
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
894 template<typename _EcharT
>
896 path::_S_convert(const _EcharT
* __f
, const _EcharT
* __l
)
898 static_assert(__detail::__is_encoded_char
<_EcharT
>);
900 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
901 # define _GLIBCXX_CONV_FROM_UTF8(S) __detail::__wstr_from_utf8(S)
903 # define _GLIBCXX_CONV_FROM_UTF8(S) S
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
>)
911 string_view
__str(reinterpret_cast<const char*>(__f
), __l
- __f
);
912 return _GLIBCXX_CONV_FROM_UTF8(__str
);
915 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
916 else if constexpr (is_same_v
<_EcharT
, char>)
919 path::_Codecvt
<wchar_t> __cvt
;
920 if (__str_codecvt_in_all(__f
, __l
, __wstr
, __cvt
))
926 path::_Codecvt
<_EcharT
> __cvt
;
928 if (__str_codecvt_out_all(__f
, __l
, __str
, __cvt
))
929 return _GLIBCXX_CONV_FROM_UTF8(__str
);
931 __detail::__throw_conversion_error();
933 #undef _GLIBCXX_CONV_FROM_UTF8
937 /// An iterator for the components of a path
939 * @headerfile filesystem
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
;
951 iterator() noexcept
: _M_path(nullptr), _M_cur(), _M_at_end() { }
953 iterator(const iterator
&) = default;
954 iterator
& operator=(const iterator
&) = default;
956 reference
operator*() const noexcept
;
957 pointer
operator->() const noexcept
{ return std::__addressof(**this); }
959 iterator
& operator++() noexcept
;
961 iterator
operator++(int) noexcept
962 { auto __tmp
= *this; ++*this; return __tmp
; }
964 iterator
& operator--() noexcept
;
966 iterator
operator--(int) noexcept
967 { auto __tmp
= *this; --*this; return __tmp
; }
970 operator==(const iterator
& __lhs
, const iterator
& __rhs
) noexcept
971 { return __lhs
._M_equals(__rhs
); }
974 operator!=(const iterator
& __lhs
, const iterator
& __rhs
) noexcept
975 { return !__lhs
._M_equals(__rhs
); }
981 _M_is_multi() const noexcept
982 { return _M_path
->_M_type() == _Type::_Multi
; }
984 friend difference_type
985 __path_iter_distance(const iterator
& __first
, const iterator
& __last
)
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
._M_cur
, __last
._M_cur
);
992 else if (__first
._M_at_end
== __last
._M_at_end
)
995 return __first
._M_at_end
? -1 : 1;
999 __path_iter_advance(iterator
& __i
, difference_type __n
) noexcept
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);
1014 iterator(const path
* __path
, path::_List::const_iterator __iter
) noexcept
1015 : _M_path(__path
), _M_cur(__iter
), _M_at_end()
1018 iterator(const path
* __path
, bool __at_end
) noexcept
1019 : _M_path(__path
), _M_cur(), _M_at_end(__at_end
)
1022 bool _M_equals(iterator
) const noexcept
;
1024 const path
* _M_path
;
1025 path::_List::const_iterator _M_cur
;
1026 bool _M_at_end
; // only used when type != _Multi
1031 path::operator=(path
&& __p
) noexcept
1033 if (&__p
== this) [[__unlikely__
]]
1036 _M_pathname
= std::move(__p
._M_pathname
);
1037 _M_cmpts
= std::move(__p
._M_cmpts
);
1043 path::operator=(string_type
&& __source
)
1044 { return *this = path(std::move(__source
)); }
1047 path::assign(string_type
&& __source
)
1048 { return *this = path(std::move(__source
)); }
1051 path::operator+=(const string_type
& __x
)
1058 path::operator+=(const value_type
* __x
)
1065 path::operator+=(value_type __x
)
1067 _M_concat(basic_string_view
<value_type
>(&__x
, 1));
1072 path::operator+=(basic_string_view
<value_type
> __x
)
1078 template<typename _CharT
>
1079 inline __detail::_Path2
<_CharT
*>&
1080 path::operator+=(const _CharT __x
)
1082 _M_concat(_S_convert(&__x
, &__x
+ 1));
1087 path::make_preferred()
1089 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1090 auto __pos
= _M_pathname
.find(L
'/');
1091 while (__pos
!= _M_pathname
.npos
)
1093 _M_pathname
[__pos
] = preferred_separator
;
1094 __pos
= _M_pathname
.find(L
'/', __pos
);
1100 inline void path::swap(path
& __rhs
) noexcept
1102 _M_pathname
.swap(__rhs
._M_pathname
);
1103 _M_cmpts
.swap(__rhs
._M_cmpts
);
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
)
1112 static_assert(!is_same_v
<_CharT
, value_type
>);
1114 using _WString
= basic_string
<_CharT
, _Traits
, _Allocator
>;
1116 if (__str
.size() == 0)
1117 return _WString(__a
);
1119 #ifndef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1120 string_view __u8str
= __str
;
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
;
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.
1138 const char* __first
= __u8str
.data();
1139 const char* __last
= __first
+ __u8str
.size();
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
);
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
))
1155 __detail::__throw_conversion_error();
1159 template<typename _CharT
, typename _Traits
, typename _Allocator
>
1160 inline basic_string
<_CharT
, _Traits
, _Allocator
>
1161 path::string(const _Allocator
& __a
) const
1163 if constexpr (is_same_v
<_CharT
, value_type
>)
1164 return { _M_pathname
.c_str(), _M_pathname
.length(), __a
};
1166 return _S_str_convert
<_CharT
, _Traits
>(_M_pathname
, __a
);
1170 path::string() const { return string
<char>(); }
1172 #if _GLIBCXX_USE_WCHAR_T
1174 path::wstring() const { return string
<wchar_t>(); }
1177 #ifdef _GLIBCXX_USE_CHAR8_T
1178 inline std::u8string
1179 path::u8string() const { return string
<char8_t
>(); }
1182 path::u8string() const
1184 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
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
))
1192 __detail::__throw_conversion_error();
1197 #endif // _GLIBCXX_USE_CHAR8_T
1199 inline std::u16string
1200 path::u16string() const { return string
<char16_t
>(); }
1202 inline std::u32string
1203 path::u32string() const { return string
<char32_t
>(); }
1205 template<typename _CharT
, typename _Traits
, typename _Allocator
>
1206 inline std::basic_string
<_CharT
, _Traits
, _Allocator
>
1207 path::generic_string(const _Allocator
& __a
) const
1209 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1210 const value_type __slash
= L
'/';
1212 const value_type __slash
= '/';
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
);
1218 if (_M_type() == _Type::_Root_dir
)
1219 __str
.assign(1, __slash
);
1222 __str
.reserve(_M_pathname
.size());
1223 bool __add_slash
= false;
1224 for (auto& __elem
: *this)
1226 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1227 if (__elem
._M_type() == _Type::_Root_dir
)
1235 __str
+= basic_string_view
<value_type
>(__elem
._M_pathname
);
1236 __add_slash
= __elem
._M_type() == _Type::_Filename
;
1240 if constexpr (is_same_v
<_CharT
, value_type
>)
1243 return _S_str_convert
<_CharT
, _Traits
>(__str
, __a
);
1247 path::generic_string() const
1248 { return generic_string
<char>(); }
1250 #if _GLIBCXX_USE_WCHAR_T
1252 path::generic_wstring() const
1253 { return generic_string
<wchar_t>(); }
1256 #ifdef _GLIBCXX_USE_CHAR8_T
1257 inline std::u8string
1258 path::generic_u8string() const
1259 { return generic_string
<char8_t
>(); }
1262 path::generic_u8string() const
1263 { return generic_string(); }
1266 inline std::u16string
1267 path::generic_u16string() const
1268 { return generic_string
<char16_t
>(); }
1270 inline std::u32string
1271 path::generic_u32string() const
1272 { return generic_string
<char32_t
>(); }
1275 path::compare(const string_type
& __s
) const noexcept
1276 { return compare(basic_string_view
<value_type
>(__s
)); }
1279 path::compare(const value_type
* __s
) const noexcept
1280 { return compare(basic_string_view
<value_type
>(__s
)); }
1283 path::filename() const
1287 else if (_M_type() == _Type::_Filename
)
1289 else if (_M_type() == _Type::_Multi
)
1291 if (_M_pathname
.back() == preferred_separator
)
1293 auto __last
= --end();
1294 if (__last
->_M_type() == _Type::_Filename
)
1303 auto ext
= _M_find_extension();
1304 if (ext
.first
&& ext
.second
!= 0)
1305 return path
{ext
.first
->substr(0, ext
.second
)};
1310 path::extension() const
1312 auto ext
= _M_find_extension();
1313 if (ext
.first
&& ext
.second
!= string_type::npos
)
1314 return path
{ext
.first
->substr(ext
.second
)};
1319 path::has_stem() const noexcept
1321 auto ext
= _M_find_extension();
1322 return ext
.first
&& ext
.second
!= 0;
1326 path::has_extension() const noexcept
1328 auto ext
= _M_find_extension();
1329 return ext
.first
&& ext
.second
!= string_type::npos
;
1333 path::is_absolute() const noexcept
1335 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1336 return has_root_name() && has_root_directory();
1338 return has_root_directory();
1342 inline path::iterator
1343 path::begin() const noexcept
1345 if (_M_type() == _Type::_Multi
)
1346 return iterator(this, _M_cmpts
.begin());
1347 return iterator(this, empty());
1350 inline path::iterator
1351 path::end() const noexcept
1353 if (_M_type() == _Type::_Multi
)
1354 return iterator(this, _M_cmpts
.end());
1355 return iterator(this, true);
1358 inline path::iterator
&
1359 path::iterator::operator++() noexcept
1361 __glibcxx_assert(_M_path
!= nullptr);
1364 __glibcxx_assert(_M_cur
!= _M_path
->_M_cmpts
.end());
1369 __glibcxx_assert(!_M_at_end
);
1375 inline path::iterator
&
1376 path::iterator::operator--() noexcept
1378 __glibcxx_assert(_M_path
!= nullptr);
1381 __glibcxx_assert(_M_cur
!= _M_path
->_M_cmpts
.begin());
1386 __glibcxx_assert(_M_at_end
);
1392 inline path::iterator::reference
1393 path::iterator::operator*() const noexcept
1395 __glibcxx_assert(_M_path
!= nullptr);
1398 __glibcxx_assert(_M_cur
!= _M_path
->_M_cmpts
.end());
1405 path::iterator::_M_equals(iterator __rhs
) const noexcept
1407 if (_M_path
!= __rhs
._M_path
)
1409 if (_M_path
== nullptr)
1412 return _M_cur
== __rhs
._M_cur
;
1413 return _M_at_end
== __rhs
._M_at_end
;
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.
1421 path::_S_compare(const path
& __lhs
, const path
& __rhs
) noexcept
1422 { return __lhs
.compare(__rhs
); }
1424 /// @} group filesystem
1425 _GLIBCXX_END_NAMESPACE_CXX11
1426 } // namespace filesystem
1428 /// @cond undocumented
1431 distance(filesystem::path::iterator __first
, filesystem::path::iterator __last
)
1433 { return __path_iter_distance(__first
, __last
); }
1435 template<typename _Distance
>
1437 advance(filesystem::path::iterator
& __i
, _Distance __n
) noexcept
1438 { __path_iter_advance(__i
, static_cast<ptrdiff_t>(__n
)); }
1440 extern template class __shared_ptr
<const filesystem::filesystem_error::_Impl
>;
1444 // _GLIBCXX_RESOLVE_LIB_DEFECTS
1445 // 3657. std::hash<std::filesystem::path> is not enabled
1447 struct hash
<filesystem::path
>
1450 operator()(const filesystem::path
& __p
) const noexcept
1451 { return filesystem::hash_value(__p
); }
1454 _GLIBCXX_END_NAMESPACE_VERSION
1459 #endif // _GLIBCXX_FS_PATH_H