30 #ifndef _GLIBCXX_FS_PATH_H
31 #define _GLIBCXX_FS_PATH_H 1
33 #if __cplusplus >= 201703L
36 #include <type_traits>
42 #include <system_error>
46 #include <bits/shared_ptr.h>
49 #if defined(_WIN32) && !defined(__CYGWIN__)
50 # define _GLIBCXX_FILESYSTEM_IS_WINDOWS 1
54 namespace std _GLIBCXX_VISIBILITY(default)
56 _GLIBCXX_BEGIN_NAMESPACE_VERSION
60 _GLIBCXX_BEGIN_NAMESPACE_CXX11
70 template<
typename _CharT,
typename _Ch = remove_const_t<_CharT>>
71 using __is_encoded_char
72 = __or_<is_same<_Ch, char>,
73 #ifdef _GLIBCXX_USE_CHAR8_T
74 is_same<_Ch, char8_t>,
76 is_same<_Ch, wchar_t>,
77 is_same<_Ch, char16_t>,
78 is_same<_Ch, char32_t>>;
80 template<
typename _Iter,
81 typename _Iter_traits = std::iterator_traits<_Iter>>
82 using __is_path_iter_src
83 = __and_<__is_encoded_char<typename _Iter_traits::value_type>,
85 typename _Iter_traits::iterator_category>>;
87 template<
typename _Iter>
88 static __is_path_iter_src<_Iter>
89 __is_path_src(_Iter,
int);
91 template<
typename _CharT,
typename _Traits,
typename _Alloc>
92 static __is_encoded_char<_CharT>
93 __is_path_src(
const basic_string<_CharT, _Traits, _Alloc>&,
int);
95 template<
typename _CharT,
typename _Traits>
96 static __is_encoded_char<_CharT>
97 __is_path_src(
const basic_string_view<_CharT, _Traits>&,
int);
99 template<
typename _Unknown>
101 __is_path_src(
const _Unknown&, ...);
103 template<
typename _Tp1,
typename _Tp2>
104 struct __constructible_from;
106 template<
typename _Iter>
107 struct __constructible_from<_Iter, _Iter>
108 : __is_path_iter_src<_Iter>
111 template<
typename _Source>
112 struct __constructible_from<_Source, void>
113 : decltype(__is_path_src(std::declval<_Source>(), 0))
116 template<
typename _Tp1,
typename _Tp2 =
void>
117 using _Path =
typename
119 __not_<is_void<remove_pointer_t<_Tp1>>>,
120 __constructible_from<_Tp1, _Tp2>>::value,
123 template<
typename _Source>
125 _S_range_begin(_Source __begin) {
return __begin; }
127 struct __null_terminated { };
129 template<
typename _Source>
130 static __null_terminated
131 _S_range_end(_Source) {
return {}; }
133 template<
typename _CharT,
typename _Traits,
typename _Alloc>
135 _S_range_begin(
const basic_string<_CharT, _Traits, _Alloc>& __str)
136 {
return __str.data(); }
138 template<
typename _CharT,
typename _Traits,
typename _Alloc>
140 _S_range_end(
const basic_string<_CharT, _Traits, _Alloc>& __str)
141 {
return __str.data() + __str.size(); }
143 template<
typename _CharT,
typename _Traits>
145 _S_range_begin(
const basic_string_view<_CharT, _Traits>& __str)
146 {
return __str.data(); }
148 template<
typename _CharT,
typename _Traits>
150 _S_range_end(
const basic_string_view<_CharT, _Traits>& __str)
151 {
return __str.data() + __str.size(); }
153 template<
typename _Tp,
154 typename _Iter = decltype(_S_range_begin(std::declval<_Tp>())),
155 typename _Val =
typename std::iterator_traits<_Iter>::value_type>
156 using __value_type_is_char
160 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
161 typedef wchar_t value_type;
162 static constexpr value_type preferred_separator = L
'\\';
164 typedef char value_type;
165 static constexpr value_type preferred_separator =
'/';
169 enum format :
unsigned char { native_format, generic_format, auto_format };
175 path(
const path& __p) =
default;
178 #if _GLIBCXX_USE_CXX11_ABI || _GLIBCXX_FULLY_DYNAMIC_STRING == 0
181 : _M_pathname(std::move(__p._M_pathname)),
182 _M_cmpts(std::move(__p._M_cmpts))
185 path(string_type&& __source, format = auto_format)
186 : _M_pathname(std::move(__source))
187 { _M_split_cmpts(); }
189 template<
typename _Source,
190 typename _Require = _Path<_Source>>
191 path(_Source
const& __source, format = auto_format)
192 : _M_pathname(_S_convert(_S_range_begin(__source),
193 _S_range_end(__source)))
194 { _M_split_cmpts(); }
196 template<
typename _InputIterator,
197 typename _Require = _Path<_InputIterator, _InputIterator>>
198 path(_InputIterator __first, _InputIterator __last, format = auto_format)
199 : _M_pathname(_S_convert(__first, __last))
200 { _M_split_cmpts(); }
202 template<
typename _Source,
203 typename _Require = _Path<_Source>,
204 typename _Require2 = __value_type_is_char<_Source>>
205 path(_Source
const& __source,
const locale& __loc, format = auto_format)
206 : _M_pathname(_S_convert_loc(_S_range_begin(__source),
207 _S_range_end(__source), __loc))
208 { _M_split_cmpts(); }
210 template<
typename _InputIterator,
211 typename _Require = _Path<_InputIterator, _InputIterator>,
212 typename _Require2 = __value_type_is_char<_InputIterator>>
213 path(_InputIterator __first, _InputIterator __last,
const locale& __loc,
214 format = auto_format)
215 : _M_pathname(_S_convert_loc(__first, __last, __loc))
216 { _M_split_cmpts(); }
222 path& operator=(
const path&);
224 path& operator=(string_type&& __source);
225 path& assign(string_type&& __source);
227 template<typename _Source>
229 operator=(_Source const& __source)
230 {
return *
this = path(__source); }
232 template<
typename _Source>
234 assign(_Source
const& __source)
235 {
return *
this = path(__source); }
237 template<
typename _InputIterator>
238 _Path<_InputIterator, _InputIterator>&
239 assign(_InputIterator __first, _InputIterator __last)
240 {
return *
this = path(__first, __last); }
244 path& operator/=(
const path& __p);
246 template <
class _Source>
248 operator/=(_Source
const& __source)
250 _M_append(_S_convert(_S_range_begin(__source), _S_range_end(__source)));
254 template<
typename _Source>
256 append(_Source
const& __source)
258 _M_append(_S_convert(_S_range_begin(__source), _S_range_end(__source)));
262 template<
typename _InputIterator>
263 _Path<_InputIterator, _InputIterator>&
264 append(_InputIterator __first, _InputIterator __last)
266 _M_append(_S_convert(__first, __last));
272 path& operator+=(
const path& __x);
273 path& operator+=(
const string_type& __x);
274 path& operator+=(
const value_type* __x);
275 path& operator+=(value_type __x);
276 path& operator+=(basic_string_view<value_type> __x);
278 template<
typename _Source>
280 operator+=(_Source
const& __x) {
return concat(__x); }
282 template<
typename _CharT>
283 _Path<_CharT*, _CharT*>&
284 operator+=(_CharT __x);
286 template<
typename _Source>
288 concat(_Source
const& __x)
290 _M_concat(_S_convert(_S_range_begin(__x), _S_range_end(__x)));
294 template<
typename _InputIterator>
295 _Path<_InputIterator, _InputIterator>&
296 concat(_InputIterator __first, _InputIterator __last)
298 _M_concat(_S_convert(__first, __last));
304 void clear()
noexcept { _M_pathname.clear(); _M_split_cmpts(); }
306 path& make_preferred();
307 path& remove_filename();
308 path& replace_filename(
const path& __replacement);
309 path& replace_extension(
const path& __replacement = path());
315 const string_type& native() const
noexcept {
return _M_pathname; }
316 const value_type* c_str() const
noexcept {
return _M_pathname.c_str(); }
317 operator string_type()
const {
return _M_pathname; }
319 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>,
320 typename _Allocator = std::allocator<_CharT>>
322 string(
const _Allocator& __a = _Allocator())
const;
325 #if _GLIBCXX_USE_WCHAR_T
328 #ifdef _GLIBCXX_USE_CHAR8_T
329 __attribute__((__abi_tag__(
"__u8")))
330 std::u8string u8string() const;
333 #endif // _GLIBCXX_USE_CHAR8_T
338 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>,
339 typename _Allocator = std::allocator<_CharT>>
341 generic_string(
const _Allocator& __a = _Allocator())
const;
344 #if _GLIBCXX_USE_WCHAR_T
347 #ifdef _GLIBCXX_USE_CHAR8_T
348 __attribute__((__abi_tag__(
"__u8")))
349 std::u8string generic_u8string() const;
352 #endif // _GLIBCXX_USE_CHAR8_T
358 int compare(
const path& __p)
const noexcept;
359 int compare(
const string_type& __s)
const noexcept;
360 int compare(
const value_type* __s)
const noexcept;
361 int compare(basic_string_view<value_type> __s)
const noexcept;
365 path root_name()
const;
366 path root_directory()
const;
367 path root_path()
const;
368 path relative_path()
const;
369 path parent_path()
const;
370 path filename()
const;
372 path extension()
const;
376 [[nodiscard]]
bool empty() const
noexcept {
return _M_pathname.empty(); }
377 bool has_root_name() const
noexcept;
378 bool has_root_directory() const
noexcept;
379 bool has_root_path() const noexcept;
380 bool has_relative_path() const noexcept;
381 bool has_parent_path() const noexcept;
382 bool has_filename() const noexcept;
383 bool has_stem() const noexcept;
384 bool has_extension() const noexcept;
385 bool is_absolute() const noexcept;
386 bool is_relative() const noexcept {
return !is_absolute(); }
389 path lexically_normal()
const;
390 path lexically_relative(
const path& base)
const;
391 path lexically_proximate(
const path& base)
const;
395 typedef iterator const_iterator;
397 iterator
begin()
const;
398 iterator
end()
const;
401 template<
typename _CharT,
typename _Traits>
403 operator<<(std::basic_ostream<_CharT, _Traits>& __os,
const path& __p)
405 __os <<
std::quoted(__p.string<_CharT, _Traits>());
410 template<
typename _CharT,
typename _Traits>
416 __p = std::move(__tmp);
423 friend bool operator<(
const path& __lhs,
const path& __rhs)
noexcept
424 {
return __lhs.compare(__rhs) < 0; }
427 friend bool operator<=(
const path& __lhs,
const path& __rhs)
noexcept
428 {
return !(__rhs < __lhs); }
431 friend bool operator>(
const path& __lhs,
const path& __rhs)
noexcept
432 {
return __rhs < __lhs; }
435 friend bool operator>=(
const path& __lhs,
const path& __rhs)
noexcept
436 {
return !(__lhs < __rhs); }
439 friend bool operator==(
const path& __lhs,
const path& __rhs)
noexcept
440 {
return __lhs.compare(__rhs) == 0; }
443 friend bool operator!=(
const path& __lhs,
const path& __rhs)
noexcept
444 {
return !(__lhs == __rhs); }
447 friend path
operator/(
const path& __lhs,
const path& __rhs)
449 path __result(__lhs);
455 template<
typename _InputIterator,
456 typename _Traits = std::iterator_traits<_InputIterator>,
460 _S_string_from_iter(_InputIterator __source)
463 for (_CharT __ch = *__source; __ch != _CharT(); __ch = *++__source)
469 enum class _Type : unsigned char {
470 _Multi = 0, _Root_name, _Root_dir, _Filename
473 path(basic_string_view<value_type> __str, _Type __type)
476 __glibcxx_assert(__type != _Type::_Multi);
477 _M_cmpts.type(__type);
480 enum class _Split { _Stem, _Extension };
482 void _M_append(basic_string_view<value_type>);
483 void _M_concat(basic_string_view<value_type>);
485 pair<const string_type*, size_t> _M_find_extension() const
noexcept;
487 template<typename _CharT>
490 static basic_string_view<value_type>
491 _S_convert(value_type* __src, __null_terminated)
494 static basic_string_view<value_type>
495 _S_convert(
const value_type* __src, __null_terminated)
498 static basic_string_view<value_type>
499 _S_convert(value_type* __first, value_type* __last)
500 {
return {__first, __last - __first}; }
502 static basic_string_view<value_type>
503 _S_convert(
const value_type* __first,
const value_type* __last)
504 {
return {__first, __last - __first}; }
506 template<
typename _Iter>
508 _S_convert(_Iter __first, _Iter __last)
510 using __value_type =
typename std::iterator_traits<_Iter>::value_type;
511 return _Cvt<typename remove_cv<__value_type>::type>::
512 _S_convert(__first, __last);
515 template<
typename _InputIterator>
517 _S_convert(_InputIterator __src, __null_terminated)
520 auto __s = _S_string_from_iter(__src);
522 return string_type(_S_convert(__s.data(), __s.data() + __s.size()));
526 _S_convert_loc(
const char* __first,
const char* __last,
529 template<
typename _Iter>
531 _S_convert_loc(_Iter __first, _Iter __last,
const std::locale& __loc)
534 return _S_convert_loc(__str.data(), __str.data()+__str.size(), __loc);
537 template<
typename _InputIterator>
539 _S_convert_loc(_InputIterator __src, __null_terminated,
543 return _S_convert_loc(__s.data(), __s.data() + __s.size(), __loc);
546 template<
typename _CharT,
typename _Traits,
typename _Allocator>
547 static basic_string<_CharT, _Traits, _Allocator>
548 _S_str_convert(
const string_type&,
const _Allocator& __a);
550 void _M_split_cmpts();
552 _Type _M_type() const
noexcept {
return _M_cmpts.type(); }
554 string_type _M_pathname;
560 using value_type = _Cmpt;
561 using iterator = value_type*;
562 using const_iterator =
const value_type*;
566 _List(_List&&) =
default;
567 _List& operator=(
const _List&);
568 _List& operator=(_List&&) =
default;
572 {
return _Type{
reinterpret_cast<uintptr_t
>(_M_impl.get()) & 0x3}; }
576 int size() const noexcept;
577 bool empty() const noexcept;
579 void swap(_List& __l) noexcept { _M_impl.swap(__l._M_impl); }
580 int capacity() const noexcept;
581 void reserve(
int,
bool);
588 const_iterator begin() const;
589 const_iterator end() const;
591 value_type& front() noexcept;
592 value_type& back() noexcept;
593 const value_type& front() const noexcept;
594 const value_type& back() const noexcept;
597 void _M_erase_from(const_iterator __pos);
602 void operator()(_Impl*) const noexcept;
604 unique_ptr<_Impl, _Impl_deleter> _M_impl;
611 inline
void swap(path& __lhs, path& __rhs) noexcept { __lhs.swap(__rhs); }
613 size_t hash_value(
const path& __p)
noexcept;
615 template<
typename _InputIterator>
617 u8path(_InputIterator __first, _InputIterator __last)
620 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
621 codecvt_utf8<path::value_type> __cvt;
622 path::string_type __tmp;
623 if constexpr (is_pointer_v<_InputIterator>)
625 if (__str_codecvt_in(__first, __last, __tmp, __cvt))
626 return path{ __tmp };
631 const char*
const __ptr = __u8str.
data();
632 if (__str_codecvt_in(__ptr, __ptr + __u8str.size(), __tmp, __cvt))
633 return path{ __tmp };
637 return path{ __first, __last };
641 template<
typename _Source>
643 u8path(
const _Source& __source)
646 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
647 if constexpr (is_convertible_v<const _Source&, std::string_view>)
649 const std::string_view __s = __source;
650 return filesystem::u8path(__s.data(), __s.data() + __s.size());
654 std::string __s = path::_S_string_from_iter(__source);
655 return filesystem::u8path(__s.data(), __s.data() + __s.size());
658 return path{ __source };
665 filesystem_error(
const string& __what_arg, error_code __ec);
667 filesystem_error(
const string& __what_arg,
const path& __p1,
670 filesystem_error(
const string& __what_arg,
const path& __p1,
671 const path& __p2, error_code __ec);
673 filesystem_error(
const filesystem_error&) =
default;
674 filesystem_error& operator=(
const filesystem_error&) =
default;
681 const path& path1() const noexcept;
682 const path& path2() const noexcept;
683 const
char* what() const noexcept;
687 std::__shared_ptr<const _Impl> _M_impl;
690 struct path::_Cmpt : path
692 _Cmpt(basic_string_view<value_type> __s, _Type __t,
size_t __pos)
693 : path(__s, __t), _M_pos(__pos) { }
695 _Cmpt() : _M_pos(-1) { }
702 struct path::_Cvt<path::value_type>
704 template<
typename _Iter>
706 _S_convert(_Iter __first, _Iter __last)
707 {
return string_type{__first, __last}; }
710 template<
typename _CharT>
713 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
715 _S_wconvert(
const char* __f,
const char* __l,
true_type)
718 const auto& __cvt = std::use_facet<_Cvt>(
std::locale{});
720 if (__str_codecvt_in(__f, __l, __wstr, __cvt))
722 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
723 "Cannot convert character sequence",
724 std::make_error_code(errc::illegal_byte_sequence)));
728 _S_wconvert(
const _CharT* __f,
const _CharT* __l,
false_type)
730 std::codecvt_utf8<_CharT> __cvt;
732 if (__str_codecvt_out(__f, __l, __str, __cvt))
734 const char* __f2 = __str.
data();
735 const char* __l2 = __f2 + __str.size();
736 std::codecvt_utf8<wchar_t> __wcvt;
738 if (__str_codecvt_in(__f2, __l2, __wstr, __wcvt))
741 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
742 "Cannot convert character sequence",
743 std::make_error_code(errc::illegal_byte_sequence)));
747 _S_convert(
const _CharT* __f,
const _CharT* __l)
749 return _S_wconvert(__f, __l, is_same<_CharT, char>{});
753 _S_convert(
const _CharT* __f,
const _CharT* __l)
755 #ifdef _GLIBCXX_USE_CHAR8_T
756 if constexpr (is_same_v<_CharT, char8_t>)
758 string_type __str(__f, __l);
764 std::codecvt_utf8<_CharT> __cvt;
766 if (__str_codecvt_out(__f, __l, __str, __cvt))
768 #ifdef _GLIBCXX_USE_CHAR8_T
771 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
772 "Cannot convert character sequence",
773 std::make_error_code(errc::illegal_byte_sequence)));
778 _S_convert(_CharT* __f, _CharT* __l)
780 return _S_convert(const_cast<const _CharT*>(__f),
781 const_cast<const _CharT*>(__l));
784 template<
typename _Iter>
786 _S_convert(_Iter __first, _Iter __last)
789 return _S_convert(__str.data(), __str.data() + __str.size());
792 template<
typename _Iter,
typename _Cont>
794 _S_convert(__gnu_cxx::__normal_iterator<_Iter, _Cont> __first,
795 __gnu_cxx::__normal_iterator<_Iter, _Cont> __last)
796 {
return _S_convert(__first.base(), __last.base()); }
803 using difference_type = std::ptrdiff_t;
804 using value_type = path;
805 using reference =
const path&;
806 using pointer =
const path*;
809 iterator() : _M_path(nullptr), _M_cur(), _M_at_end() { }
811 iterator(
const iterator&) =
default;
812 iterator& operator=(
const iterator&) =
default;
817 iterator& operator++();
818 iterator operator++(
int) {
auto __tmp = *
this; ++*
this;
return __tmp; }
820 iterator& operator--();
821 iterator operator--(
int) {
auto __tmp = *
this; --*
this;
return __tmp; }
823 friend bool operator==(
const iterator& __lhs,
const iterator& __rhs)
824 {
return __lhs._M_equals(__rhs); }
826 friend bool operator!=(
const iterator& __lhs,
const iterator& __rhs)
827 {
return !__lhs._M_equals(__rhs); }
832 bool _M_is_multi()
const {
return _M_path->_M_type() == _Type::_Multi; }
834 friend difference_type
835 __path_iter_distance(
const iterator& __first,
const iterator& __last)
837 __glibcxx_assert(__first._M_path !=
nullptr);
838 __glibcxx_assert(__first._M_path == __last._M_path);
839 if (__first._M_is_multi())
841 else if (__first._M_at_end == __last._M_at_end)
844 return __first._M_at_end ? -1 : 1;
848 __path_iter_advance(iterator& __i, difference_type __n)
856 __glibcxx_assert(__i._M_path !=
nullptr);
857 __glibcxx_assert(__i._M_is_multi());
863 iterator(
const path* __path, path::_List::const_iterator __iter)
864 : _M_path(__path), _M_cur(__iter), _M_at_end()
867 iterator(
const path* __path,
bool __at_end)
868 : _M_path(__path), _M_cur(), _M_at_end(__at_end)
871 bool _M_equals(iterator)
const;
874 path::_List::const_iterator _M_cur;
880 path::operator=(path&& __p) noexcept
882 if (&__p ==
this) [[__unlikely__]]
885 _M_pathname = std::move(__p._M_pathname);
886 _M_cmpts = std::move(__p._M_cmpts);
892 path::operator=(string_type&& __source)
893 {
return *
this = path(std::move(__source)); }
896 path::assign(string_type&& __source)
897 {
return *
this = path(std::move(__source)); }
900 path::operator+=(
const string_type& __x)
907 path::operator+=(
const value_type* __x)
914 path::operator+=(value_type __x)
916 _M_concat(basic_string_view<value_type>(&__x, 1));
921 path::operator+=(basic_string_view<value_type> __x)
927 template<
typename _CharT>
928 inline path::_Path<_CharT*, _CharT*>&
929 path::operator+=(_CharT __x)
932 return concat(__addr, __addr + 1);
936 path::make_preferred()
938 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
939 std::replace(_M_pathname.begin(), _M_pathname.end(), L
'/',
940 preferred_separator);
945 inline void path::swap(path& __rhs) noexcept
947 _M_pathname.swap(__rhs._M_pathname);
948 _M_cmpts.swap(__rhs._M_cmpts);
951 template<
typename _CharT,
typename _Traits,
typename _Allocator>
953 path::_S_str_convert(
const string_type& __str,
const _Allocator& __a)
955 if (__str.size() == 0)
958 const value_type* __first = __str.
data();
959 const value_type* __last = __first + __str.size();
961 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
962 using _CharAlloc = __alloc_rebind<_Allocator, char>;
963 using _String = basic_string<char, char_traits<char>, _CharAlloc>;
964 using _WString = basic_string<_CharT, _Traits, _Allocator>;
967 codecvt_utf8<value_type> __cvt;
968 _String __u8str{_CharAlloc{__a}};
969 if (__str_codecvt_out(__first, __last, __u8str, __cvt))
971 if constexpr (is_same_v<_CharT, char>)
973 #ifdef _GLIBCXX_USE_CHAR8_T
974 else if constexpr (is_same_v<_CharT, char8_t>)
976 const char* __f = __u8str.data();
977 const char* __l = __f + __u8str.size();
978 _WString __wstr(__f, __l);
986 codecvt_utf8<_CharT> __cvt;
987 const char* __f = __u8str.
data();
988 const char* __l = __f + __u8str.size();
989 if (__str_codecvt_in(__f, __l, __wstr, __cvt))
994 #ifdef _GLIBCXX_USE_CHAR8_T
995 if constexpr (is_same_v<_CharT, char8_t>)
997 basic_string<_CharT, _Traits, _Allocator> __wstr{__first, __last, __a};
1003 codecvt_utf8<_CharT> __cvt;
1004 basic_string<_CharT, _Traits, _Allocator> __wstr{__a};
1005 if (__str_codecvt_in(__first, __last, __wstr, __cvt))
1007 #ifdef _GLIBCXX_USE_CHAR8_T
1011 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
1012 "Cannot convert character sequence",
1013 std::make_error_code(errc::illegal_byte_sequence)));
1016 template<
typename _CharT,
typename _Traits,
typename _Allocator>
1017 inline basic_string<_CharT, _Traits, _Allocator>
1020 if constexpr (is_same_v<_CharT, value_type>)
1021 return { _M_pathname, __a };
1023 return _S_str_convert<_CharT, _Traits>(_M_pathname, __a);
1029 #if _GLIBCXX_USE_WCHAR_T
1034 #ifdef _GLIBCXX_USE_CHAR8_T
1035 inline std::u8string
1036 path::u8string()
const {
return string<char8_t>(); }
1039 path::u8string()
const
1041 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1044 codecvt_utf8<value_type> __cvt;
1045 const value_type* __first = _M_pathname.
data();
1046 const value_type* __last = __first + _M_pathname.size();
1047 if (__str_codecvt_out(__first, __last, __str, __cvt))
1049 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
1050 "Cannot convert character sequence",
1051 std::make_error_code(errc::illegal_byte_sequence)));
1056 #endif // _GLIBCXX_USE_CHAR8_T
1064 template<
typename _CharT,
typename _Traits,
typename _Allocator>
1066 path::generic_string(
const _Allocator& __a)
const
1068 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1069 const value_type __slash = L
'/';
1071 const value_type __slash =
'/';
1073 string_type __str(__a);
1075 if (_M_type() == _Type::_Root_dir)
1076 __str.assign(1, __slash);
1079 __str.reserve(_M_pathname.size());
1080 bool __add_slash =
false;
1081 for (
auto& __elem : *
this)
1085 __str += __elem._M_pathname;
1086 __add_slash = __elem._M_type() == _Type::_Filename;
1090 if constexpr (is_same_v<_CharT, value_type>)
1093 return _S_str_convert<_CharT, _Traits>(__str, __a);
1097 path::generic_string()
const
1098 {
return generic_string<char>(); }
1100 #if _GLIBCXX_USE_WCHAR_T
1102 path::generic_wstring()
const
1103 {
return generic_string<wchar_t>(); }
1106 #ifdef _GLIBCXX_USE_CHAR8_T
1107 inline std::u8string
1108 path::generic_u8string()
const
1109 {
return generic_string<char8_t>(); }
1112 path::generic_u8string()
const
1113 {
return generic_string(); }
1117 path::generic_u16string()
const
1118 {
return generic_string<char16_t>(); }
1121 path::generic_u32string()
const
1122 {
return generic_string<char32_t>(); }
1125 path::compare(
const string_type& __s)
const noexcept
1126 {
return compare(basic_string_view<value_type>(__s)); }
1129 path::compare(
const value_type* __s)
const noexcept
1130 {
return compare(basic_string_view<value_type>(__s)); }
1133 path::filename()
const
1137 else if (_M_type() == _Type::_Filename)
1139 else if (_M_type() == _Type::_Multi)
1141 if (_M_pathname.back() == preferred_separator)
1143 auto& __last = *--
end();
1144 if (__last._M_type() == _Type::_Filename)
1153 auto ext = _M_find_extension();
1154 if (ext.first && ext.second != 0)
1155 return path{ext.first->substr(0, ext.second)};
1160 path::extension()
const
1162 auto ext = _M_find_extension();
1163 if (ext.first && ext.second != string_type::npos)
1164 return path{ext.first->substr(ext.second)};
1169 path::has_stem() const noexcept
1171 auto ext = _M_find_extension();
1172 return ext.first && ext.second != 0;
1176 path::has_extension() const noexcept
1178 auto ext = _M_find_extension();
1179 return ext.first && ext.second != string_type::npos;
1183 path::is_absolute() const noexcept
1185 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1186 return has_root_name() && has_root_directory();
1188 return has_root_directory();
1192 inline path::iterator
1195 if (_M_type() == _Type::_Multi)
1196 return iterator(
this, _M_cmpts.begin());
1197 return iterator(
this, empty());
1200 inline path::iterator
1203 if (_M_type() == _Type::_Multi)
1204 return iterator(
this, _M_cmpts.end());
1205 return iterator(
this,
true);
1208 inline path::iterator&
1209 path::iterator::operator++()
1211 __glibcxx_assert(_M_path !=
nullptr);
1212 if (_M_path->_M_type() == _Type::_Multi)
1214 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1219 __glibcxx_assert(!_M_at_end);
1225 inline path::iterator&
1226 path::iterator::operator--()
1228 __glibcxx_assert(_M_path !=
nullptr);
1229 if (_M_path->_M_type() == _Type::_Multi)
1231 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.begin());
1236 __glibcxx_assert(_M_at_end);
1242 inline path::iterator::reference
1243 path::iterator::operator*()
const
1245 __glibcxx_assert(_M_path !=
nullptr);
1246 if (_M_path->_M_type() == _Type::_Multi)
1248 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1255 path::iterator::_M_equals(iterator __rhs)
const
1257 if (_M_path != __rhs._M_path)
1259 if (_M_path ==
nullptr)
1261 if (_M_path->_M_type() == path::_Type::_Multi)
1262 return _M_cur == __rhs._M_cur;
1263 return _M_at_end == __rhs._M_at_end;
1267 _GLIBCXX_END_NAMESPACE_CXX11
1271 distance(filesystem::path::iterator __first, filesystem::path::iterator __last)
1272 {
return __path_iter_distance(__first, __last); }
1274 template<
typename _InputIterator,
typename _Distance>
1276 advance(filesystem::path::iterator& __i, _Distance __n)
1277 { __path_iter_advance(__i, static_cast<ptrdiff_t>(__n)); }
1279 extern template class __shared_ptr<const filesystem::filesystem_error::_Impl>;
1281 _GLIBCXX_END_NAMESPACE_VERSION
1286 #endif // _GLIBCXX_FS_PATH_H
basic_string< char32_t > u32string
A string of char32_t.
_GLIBCXX17_CONSTEXPR void advance(_InputIterator &__i, _Distance __n)
A generalization of pointer arithmetic.
Class codecvt<wchar_t, char, mbstate_t> specialization.
_GLIBCXX17_CONSTEXPR iterator_traits< _InputIterator >::difference_type distance(_InputIterator __first, _InputIterator __last)
A generalization of pointer arithmetic.
Container class for localization functionality.The locale class is first a class wrapper for C librar...
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
constexpr const _Tp * end(initializer_list< _Tp > __ils) noexcept
Return an iterator pointing to one past the last element of the initializer_list. ...
std::basic_istream< _CharT, _Traits > & operator>>(std::basic_istream< _CharT, _Traits > &__is, bitset< _Nb > &__x)
Global I/O operators for bitsets.
Template class basic_ostream.
static const locale & classic()
Return reference to the C locale.
Bidirectional iterators support a superset of forward iterator operations.
typename enable_if< _Cond, _Tp >::type enable_if_t
Alias template for enable_if.
basic_string< wchar_t > wstring
A string of wchar_t.
const _CharT * data() const noexcept
Return const pointer to contents.
enable_if< ::__array_traits< _Tp, _Nm >::_Is_swappable::value >::type noexcept(noexcept(__one.swap(__two)))
swap
void replace(_ForwardIterator __first, _ForwardIterator __last, const _Tp &__old_value, const _Tp &__new_value)
Replace each occurrence of one value in a sequence with another value.
Define a member typedef type only if a boolean constant is true.
_GLIBCXX_END_NAMESPACE_CXX11 typedef basic_string< char > string
A string of char.
Thrown to indicate error code of underlying system.
Template class basic_istream.
basic_string< char16_t > u16string
A string of char16_t.
auto quoted(const _CharT *__string, _CharT __delim=_CharT('"'), _CharT __escape = _CharT('\\'))
Manipulator for quoted strings.
constexpr const _Tp * begin(initializer_list< _Tp > __ils) noexcept
Return an iterator pointing to the first element of the initializer_list.
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.
_GLIBCXX20_CONSTEXPR complex< _Tp > operator/(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x divided by y.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
_GLIBCXX20_CONSTEXPR complex< _Tp > operator*(const complex< _Tp > &__x, const complex< _Tp > &__y)
Return new complex value x times y.
typename remove_cv< _Tp >::type remove_cv_t
Alias template for remove_cv.
void push_back(_CharT __c)
Append a single character.