30 #ifndef _GLIBCXX_EXPERIMENTAL_FS_PATH_H
31 #define _GLIBCXX_EXPERIMENTAL_FS_PATH_H 1
33 #if __cplusplus < 201103L
47 #if __cplusplus == 201402L
51 #if defined(_WIN32) && !defined(__CYGWIN__)
52 # define _GLIBCXX_FILESYSTEM_IS_WINDOWS 1
56 namespace std _GLIBCXX_VISIBILITY(default)
58 namespace experimental
64 _GLIBCXX_BEGIN_NAMESPACE_VERSION
65 _GLIBCXX_BEGIN_NAMESPACE_CXX11
67 #if __cplusplus == 201402L
69 #elif __cplusplus > 201402L
70 using std::basic_string_view;
81 template<
typename _CharT>
84 template<
typename _Iter,
85 typename _Iter_traits = std::iterator_traits<_Iter>>
86 using __is_path_iter_src
87 = __and_<__is_encoded_char<typename _Iter_traits::value_type>,
89 typename _Iter_traits::iterator_category>>;
91 template<
typename _Iter>
92 static __is_path_iter_src<_Iter>
93 __is_path_src(_Iter,
int);
95 template<
typename _CharT,
typename _Traits,
typename _Alloc>
96 static __is_encoded_char<_CharT>
99 #if __cplusplus >= 201402L
100 template<
typename _CharT,
typename _Traits>
101 static __is_encoded_char<_CharT>
105 template<
typename _Unknown>
107 __is_path_src(
const _Unknown&, ...);
109 template<
typename _Tp1,
typename _Tp2>
110 struct __constructible_from;
112 template<
typename _Iter>
113 struct __constructible_from<_Iter, _Iter>
114 : __is_path_iter_src<_Iter>
117 template<
typename _Source>
118 struct __constructible_from<_Source, void>
119 : decltype(__is_path_src(std::declval<_Source>(), 0))
122 template<
typename _Tp1,
typename _Tp2 =
void>
123 using _Path =
typename
124 std::enable_if<__and_<__not_<is_same<_Tp1, path>>,
125 __constructible_from<_Tp1, _Tp2>>::value,
128 template<
typename _Source>
130 _S_range_begin(_Source __begin) {
return __begin; }
132 struct __null_terminated { };
134 template<
typename _Source>
135 static __null_terminated
136 _S_range_end(_Source) {
return {}; }
138 template<
typename _CharT,
typename _Traits,
typename _Alloc>
141 {
return __str.
data(); }
143 template<
typename _CharT,
typename _Traits,
typename _Alloc>
146 {
return __str.
data() + __str.
size(); }
148 #if __cplusplus >= 201402L
149 template<
typename _CharT,
typename _Traits>
152 {
return __str.data(); }
154 template<
typename _CharT,
typename _Traits>
157 {
return __str.data() + __str.size(); }
160 template<
typename _Tp,
161 typename _Iter = decltype(_S_range_begin(std::declval<_Tp>())),
162 typename _Val =
typename std::iterator_traits<_Iter>::value_type>
163 using __value_type_is_char
164 =
typename std::enable_if<std::is_same<_Val, char>::value>::type;
167 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
168 typedef wchar_t value_type;
169 static constexpr value_type preferred_separator = L
'\\';
171 typedef char value_type;
172 static constexpr value_type preferred_separator =
'/';
183 : _M_pathname(std::move(__p._M_pathname)), _M_type(__p._M_type)
185 if (_M_type == _Type::_Multi)
191 : _M_pathname(std::move(__source))
192 { _M_split_cmpts(); }
194 template<
typename _Source,
195 typename _Require = _Path<_Source>>
196 path(_Source
const& __source)
197 : _M_pathname(_S_convert(_S_range_begin(__source),
198 _S_range_end(__source)))
199 { _M_split_cmpts(); }
201 template<
typename _InputIterator,
202 typename _Require = _Path<_InputIterator, _InputIterator>>
203 path(_InputIterator __first, _InputIterator __last)
204 : _M_pathname(_S_convert(__first, __last))
205 { _M_split_cmpts(); }
207 template<
typename _Source,
208 typename _Require = _Path<_Source>,
209 typename _Require2 = __value_type_is_char<_Source>>
210 path(_Source
const& __source,
const locale& __loc)
211 : _M_pathname(_S_convert_loc(_S_range_begin(__source),
212 _S_range_end(__source), __loc))
213 { _M_split_cmpts(); }
215 template<
typename _InputIterator,
216 typename _Require = _Path<_InputIterator, _InputIterator>,
217 typename _Require2 = __value_type_is_char<_InputIterator>>
218 path(_InputIterator __first, _InputIterator __last,
const locale& __loc)
219 : _M_pathname(_S_convert_loc(__first, __last, __loc))
220 { _M_split_cmpts(); }
226 path& operator=(
const path& __p) =
default;
227 path& operator=(
path&& __p) noexcept;
231 template<
typename _Source>
233 operator=(_Source
const& __source)
234 {
return *
this =
path(__source); }
236 template<
typename _Source>
238 assign(_Source
const& __source)
239 {
return *
this =
path(__source); }
241 template<
typename _InputIterator>
242 _Path<_InputIterator, _InputIterator>&
243 assign(_InputIterator __first, _InputIterator __last)
244 {
return *
this =
path(__first, __last); }
248 path& operator/=(
const path& __p) {
return _M_append(__p._M_pathname); }
250 template <
class _Source>
252 operator/=(_Source
const& __source)
253 {
return append(__source); }
255 template<
typename _Source>
257 append(_Source
const& __source)
259 return _M_append(_S_convert(_S_range_begin(__source),
260 _S_range_end(__source)));
263 template<
typename _InputIterator>
264 _Path<_InputIterator, _InputIterator>&
265 append(_InputIterator __first, _InputIterator __last)
266 {
return _M_append(_S_convert(__first, __last)); }
272 path& operator+=(
const value_type* __x);
273 path& operator+=(value_type __x);
274 #if __cplusplus >= 201402L
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)
289 {
return *
this += _S_convert(_S_range_begin(__x), _S_range_end(__x)); }
291 template<
typename _InputIterator>
292 _Path<_InputIterator, _InputIterator>&
293 concat(_InputIterator __first, _InputIterator __last)
294 {
return *
this += _S_convert(__first, __last); }
298 void clear() noexcept { _M_pathname.
clear(); _M_split_cmpts(); }
300 path& make_preferred();
301 path& remove_filename();
302 path& replace_filename(
const path& __replacement);
303 path& replace_extension(
const path& __replacement =
path());
305 void swap(
path& __rhs) noexcept;
309 const string_type& native()
const noexcept {
return _M_pathname; }
310 const value_type* c_str()
const noexcept {
return _M_pathname.
c_str(); }
311 operator string_type()
const {
return _M_pathname; }
313 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>,
314 typename _Allocator = std::allocator<_CharT>>
316 string(
const _Allocator& __a = _Allocator())
const;
319 #if _GLIBCXX_USE_WCHAR_T
327 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>,
328 typename _Allocator = std::allocator<_CharT>>
330 generic_string(
const _Allocator& __a = _Allocator())
const;
333 #if _GLIBCXX_USE_WCHAR_T
342 int compare(
const path& __p)
const noexcept;
344 int compare(
const value_type* __s)
const;
345 #if __cplusplus >= 201402L
351 path root_name()
const;
352 path root_directory()
const;
353 path root_path()
const;
354 path relative_path()
const;
355 path parent_path()
const;
356 path filename()
const;
358 path extension()
const;
362 bool empty()
const noexcept {
return _M_pathname.
empty(); }
363 bool has_root_name()
const;
364 bool has_root_directory()
const;
365 bool has_root_path()
const;
366 bool has_relative_path()
const;
367 bool has_parent_path()
const;
368 bool has_filename()
const;
369 bool has_stem()
const;
370 bool has_extension()
const;
371 bool is_absolute()
const;
372 bool is_relative()
const {
return !is_absolute(); }
382 enum class _Type : unsigned char {
383 _Multi, _Root_name, _Root_dir, _Filename
386 path(
string_type __str, _Type __type) : _M_pathname(__str), _M_type(__type)
388 __glibcxx_assert(!empty());
389 __glibcxx_assert(_M_type != _Type::_Multi);
392 enum class _Split { _Stem, _Extension };
396 if (!_M_pathname.
empty() && !_S_is_dir_sep(_M_pathname.
back())
397 && !__str.
empty() && !_S_is_dir_sep(__str.
front()))
398 _M_pathname += preferred_separator;
399 _M_pathname += __str;
406 template<
typename _CharT>
410 _S_convert(value_type* __src, __null_terminated)
414 _S_convert(
const value_type* __src, __null_terminated)
417 template<
typename _Iter>
419 _S_convert(_Iter __first, _Iter __last)
421 using __value_type =
typename std::iterator_traits<_Iter>::value_type;
422 return _Cvt<typename remove_cv<__value_type>::type>::
423 _S_convert(__first, __last);
426 template<
typename _InputIterator>
428 _S_convert(_InputIterator __src, __null_terminated)
430 using _Tp =
typename std::iterator_traits<_InputIterator>::value_type;
432 for (; *__src != _Tp{}; ++__src)
438 _S_convert_loc(
const char* __first,
const char* __last,
441 template<
typename _Iter>
443 _S_convert_loc(_Iter __first, _Iter __last,
const std::locale& __loc)
446 return _S_convert_loc(__str.
data(), __str.
data()+__str.
size(), __loc);
449 template<
typename _InputIterator>
451 _S_convert_loc(_InputIterator __src, __null_terminated,
455 while (*__src !=
'\0')
457 return _S_convert_loc(__tmp.
data(), __tmp.
data()+__tmp.
size(), __loc);
460 static bool _S_is_dir_sep(value_type __ch)
462 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
463 return __ch == L
'/' || __ch == preferred_separator;
469 void _M_split_cmpts();
471 void _M_add_root_name(
size_t __n);
472 void _M_add_root_dir(
size_t __pos);
473 void _M_add_filename(
size_t __pos,
size_t __n);
478 using _List = _GLIBCXX_STD_C::vector<_Cmpt>;
480 _Type _M_type = _Type::_Multi;
483 inline void swap(
path& __lhs,
path& __rhs) noexcept { __lhs.swap(__rhs); }
488 inline bool operator<(
const path& __lhs,
const path& __rhs) noexcept
489 {
return __lhs.compare(__rhs) < 0; }
492 inline bool operator<=(
const path& __lhs,
const path& __rhs) noexcept
493 {
return !(__rhs < __lhs); }
496 inline bool operator>(
const path& __lhs,
const path& __rhs) noexcept
497 {
return __rhs < __lhs; }
500 inline bool operator>=(
const path& __lhs,
const path& __rhs) noexcept
501 {
return !(__lhs < __rhs); }
504 inline bool operator==(
const path& __lhs,
const path& __rhs) noexcept
505 {
return __lhs.compare(__rhs) == 0; }
508 inline bool operator!=(
const path& __lhs,
const path& __rhs) noexcept
509 {
return !(__lhs == __rhs); }
514 path __result(__lhs);
520 template<
typename _CharT,
typename _Traits>
524 auto __tmp = __p.string<_CharT, _Traits>();
525 using __quoted_string
527 __os << __quoted_string{__tmp,
'"',
'\\'};
532 template<
typename _CharT,
typename _Traits>
537 using __quoted_string
539 if (__is >> __quoted_string{ __tmp,
'"',
'\\' })
540 __p = std::move(__tmp);
545 template<
typename _Source>
549 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
552 return path{ __source };
557 template<
typename _InputIterator>
559 u8path(_InputIterator __first, _InputIterator __last)
561 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
564 return path{ __first, __last };
571 filesystem_error(
const string& __what_arg,
error_code __ec)
574 filesystem_error(
const string& __what_arg,
const path& __p1,
578 filesystem_error(
const string& __what_arg,
const path& __p1,
580 :
system_error(__ec, __what_arg), _M_path1(__p1), _M_path2(__p2)
585 const path& path1() const noexcept {
return _M_path1; }
586 const path& path2() const noexcept {
return _M_path2; }
587 const char* what() const noexcept {
return _M_what.c_str(); }
599 {
using value_type = char; };
603 {
using value_type = wchar_t; };
607 {
using value_type = char16_t; };
611 {
using value_type = char32_t; };
613 template<
typename _Tp>
614 struct path::__is_encoded_char<const _Tp> : __is_encoded_char<_Tp> { };
616 struct path::_Cmpt : path
618 _Cmpt(string_type __s, _Type __t,
size_t __pos)
619 : path(
std::move(__s), __t), _M_pos(__pos) { }
621 _Cmpt() : _M_pos(-1) { }
628 struct path::_Cvt<path::value_type>
630 template<
typename _Iter>
632 _S_convert(_Iter __first, _Iter __last)
633 {
return string_type{__first, __last}; }
636 template<
typename _CharT>
639 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
641 _S_wconvert(
const char* __f,
const char* __l,
true_type)
644 const auto& __cvt = std::use_facet<_Cvt>(
std::locale{});
646 if (__str_codecvt_in(__f, __l, __wstr, __cvt))
648 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
649 "Cannot convert character sequence",
650 std::make_error_code(errc::illegal_byte_sequence)));
654 _S_wconvert(
const _CharT* __f,
const _CharT* __l,
false_type)
656 std::codecvt_utf8<_CharT> __cvt;
658 if (__str_codecvt_out(__f, __l, __str, __cvt))
660 const char* __f2 = __str.
data();
661 const char* __l2 = __f2 + __str.
size();
662 std::codecvt_utf8<wchar_t> __wcvt;
664 if (__str_codecvt_in(__f2, __l2, __wstr, __wcvt))
667 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
668 "Cannot convert character sequence",
669 std::make_error_code(errc::illegal_byte_sequence)));
673 _S_convert(
const _CharT* __f,
const _CharT* __l)
675 return _S_wconvert(__f, __l, is_same<_CharT, char>{});
679 _S_convert(
const _CharT* __f,
const _CharT* __l)
681 std::codecvt_utf8<_CharT> __cvt;
683 if (__str_codecvt_out(__f, __l, __str, __cvt))
685 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
686 "Cannot convert character sequence",
687 std::make_error_code(errc::illegal_byte_sequence)));
692 _S_convert(_CharT* __f, _CharT* __l)
694 return _S_convert(
const_cast<const _CharT*
>(__f),
695 const_cast<const _CharT*
>(__l));
698 template<
typename _Iter>
700 _S_convert(_Iter __first, _Iter __last)
703 return _S_convert(__str.
data(), __str.
data() + __str.
size());
706 template<
typename _Iter,
typename _Cont>
708 _S_convert(__gnu_cxx::__normal_iterator<_Iter, _Cont> __first,
709 __gnu_cxx::__normal_iterator<_Iter, _Cont> __last)
710 {
return _S_convert(__first.base(), __last.base()); }
717 using difference_type = std::ptrdiff_t;
723 iterator() : _M_path(
nullptr), _M_cur(), _M_at_end() { }
732 iterator operator++(
int) {
auto __tmp = *
this; ++*
this;
return __tmp; }
735 iterator operator--(
int) {
auto __tmp = *
this; --*
this;
return __tmp; }
738 {
return __lhs._M_equals(__rhs); }
741 {
return !__lhs._M_equals(__rhs); }
746 iterator(
const path* __path, path::_List::const_iterator __iter)
747 : _M_path(__path), _M_cur(__iter), _M_at_end()
751 : _M_path(__path), _M_cur(), _M_at_end(__at_end)
757 path::_List::const_iterator _M_cur;
763 path::operator=(
path&& __p) noexcept
765 _M_pathname = std::move(__p._M_pathname);
766 _M_cmpts = std::move(__p._M_cmpts);
767 _M_type = __p._M_type;
773 path::operator=(string_type&& __source)
774 {
return *
this =
path(std::move(__source)); }
777 path::assign(string_type&& __source)
778 {
return *
this =
path(std::move(__source)); }
781 path::operator+=(
const path& __p)
783 return operator+=(__p.native());
787 path::operator+=(
const string_type& __x)
795 path::operator+=(
const value_type* __x)
803 path::operator+=(value_type __x)
810 #if __cplusplus >= 201402L
812 path::operator+=(basic_string_view<value_type> __x)
814 _M_pathname.
append(__x.data(), __x.size());
820 template<
typename _CharT>
821 inline path::_Path<_CharT*, _CharT*>&
822 path::operator+=(_CharT __x)
825 return concat(__addr, __addr + 1);
829 path::make_preferred()
831 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
833 preferred_separator);
838 inline void path::swap(path& __rhs) noexcept
840 _M_pathname.swap(__rhs._M_pathname);
841 _M_cmpts.swap(__rhs._M_cmpts);
842 std::swap(_M_type, __rhs._M_type);
845 template<
typename _CharT,
typename _Traits,
typename _Allocator>
849 if (is_same<_CharT, value_type>::value)
850 return { _M_pathname.
begin(), _M_pathname.
end(), __a };
852 const value_type* __first = _M_pathname.
data();
853 const value_type* __last = __first + _M_pathname.
size();
855 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
856 using _CharAlloc = __alloc_rebind<_Allocator, char>;
857 using _String = basic_string<char, char_traits<char>, _CharAlloc>;
858 using _WString = basic_string<_CharT, _Traits, _Allocator>;
861 codecvt_utf8<value_type> __cvt;
862 _String __u8str{_CharAlloc{__a}};
863 if (__str_codecvt_out(__first, __last, __u8str, __cvt))
868 operator()(
const _String& __from, _String&,
true_type)
872 operator()(
const _String& __from, _WString& __to,
false_type)
875 codecvt_utf8<_CharT> __cvt;
876 const char* __f = __from.data();
877 const char* __l = __f + __from.size();
878 if (__str_codecvt_in(__f, __l, __to, __cvt))
884 if (
auto* __p = __dispatch(__u8str, __wstr, is_same<_CharT, char>{}))
888 codecvt_utf8<_CharT> __cvt;
889 basic_string<_CharT, _Traits, _Allocator> __wstr{__a};
890 if (__str_codecvt_in(__first, __last, __wstr, __cvt))
893 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
894 "Cannot convert character sequence",
895 std::make_error_code(errc::illegal_byte_sequence)));
901 #if _GLIBCXX_USE_WCHAR_T
907 path::u8string()
const
909 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
912 codecvt_utf8<value_type> __cvt;
913 const value_type* __first = _M_pathname.
data();
914 const value_type* __last = __first + _M_pathname.
size();
915 if (__str_codecvt_out(__first, __last, __str, __cvt))
917 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
918 "Cannot convert character sequence",
919 std::make_error_code(errc::illegal_byte_sequence)));
931 #ifndef _GLIBCXX_FILESYSTEM_IS_WINDOWS
932 template<
typename _CharT,
typename _Traits,
typename _Allocator>
934 path::generic_string(
const _Allocator& __a)
const
935 {
return string<_CharT, _Traits, _Allocator>(__a); }
938 path::generic_string()
const {
return string(); }
940 #if _GLIBCXX_USE_WCHAR_T
942 path::generic_wstring()
const {
return wstring(); }
946 path::generic_u8string()
const {
return u8string(); }
949 path::generic_u16string()
const {
return u16string(); }
952 path::generic_u32string()
const {
return u32string(); }
956 path::compare(
const string_type& __s)
const {
return compare(path(__s)); }
959 path::compare(
const value_type* __s)
const {
return compare(path(__s)); }
961 #if __cplusplus >= 201402L
963 path::compare(basic_string_view<value_type> __s)
const
964 {
return compare(path(__s)); }
968 path::filename()
const {
return empty() ? path() : *--
end(); }
973 auto ext = _M_find_extension();
974 if (ext.first && ext.second != 0)
975 return path{ext.first->substr(0, ext.second)};
980 path::extension()
const
982 auto ext = _M_find_extension();
984 return path{ext.first->substr(ext.second)};
989 path::has_stem()
const
991 auto ext = _M_find_extension();
992 return ext.first && ext.second != 0;
996 path::has_extension()
const
998 auto ext = _M_find_extension();
1003 path::is_absolute()
const
1005 #ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1006 return has_root_name();
1008 return has_root_directory();
1012 inline path::iterator
1015 if (_M_type == _Type::_Multi)
1016 return iterator(
this, _M_cmpts.
begin());
1017 return iterator(
this,
false);
1020 inline path::iterator
1023 if (_M_type == _Type::_Multi)
1024 return iterator(
this, _M_cmpts.
end());
1025 return iterator(
this,
true);
1028 inline path::iterator&
1029 path::iterator::operator++()
1031 __glibcxx_assert(_M_path !=
nullptr);
1032 if (_M_path->_M_type == _Type::_Multi)
1034 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1039 __glibcxx_assert(!_M_at_end);
1045 inline path::iterator&
1046 path::iterator::operator--()
1048 __glibcxx_assert(_M_path !=
nullptr);
1049 if (_M_path->_M_type == _Type::_Multi)
1051 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.begin());
1056 __glibcxx_assert(_M_at_end);
1062 inline path::iterator::reference
1063 path::iterator::operator*()
const
1065 __glibcxx_assert(_M_path !=
nullptr);
1066 if (_M_path->_M_type == _Type::_Multi)
1068 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1075 path::iterator::_M_equals(iterator __rhs)
const
1077 if (_M_path != __rhs._M_path)
1079 if (_M_path ==
nullptr)
1081 if (_M_path->_M_type == path::_Type::_Multi)
1082 return _M_cur == __rhs._M_cur;
1083 return _M_at_end == __rhs._M_at_end;
1087 _GLIBCXX_END_NAMESPACE_CXX11
1088 _GLIBCXX_END_NAMESPACE_VERSION
1096 #endif // _GLIBCXX_EXPERIMENTAL_FS_PATH_H