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
56namespace std _GLIBCXX_VISIBILITY(default)
64_GLIBCXX_BEGIN_NAMESPACE_VERSION
65_GLIBCXX_BEGIN_NAMESPACE_CXX11
67#if __cplusplus >= 201402L
68 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>>
69 using __basic_string_view
81 template<
typename _CharT>
84 template<
typename _Iter,
86 using __is_path_iter_src
89 typename _Iter_traits::iterator_category>>;
91 template<
typename _Iter>
93 __is_path_src(_Iter,
int);
95 template<
typename _CharT,
typename _Traits,
typename _Alloc>
99#if __cplusplus >= 201402L
100 template<
typename _CharT,
typename _Traits>
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>
119 :
decltype(__is_path_src(std::declval<_Source>(), 0))
122 template<
typename _Tp1,
typename _Tp2 =
void>
123 using _Path =
typename
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>
148#if __cplusplus >= 201402L
149 template<
typename _CharT,
typename _Traits>
152 {
return __str.data(); }
154 template<
typename _CharT,
typename _Traits>
160 template<
typename _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)
191 { _M_split_cmpts(); }
196 : _M_pathname(_S_convert(_S_range_begin(
__source),
198 { _M_split_cmpts(); }
203 : _M_pathname(_S_convert(__first, __last))
204 { _M_split_cmpts(); }
210 : _M_pathname(_S_convert_loc(_S_range_begin(
__source),
212 { _M_split_cmpts(); }
218 : _M_pathname(_S_convert_loc(__first, __last,
__loc))
219 { _M_split_cmpts(); }
225 path& operator=(
const path& __p) =
default;
226 path& operator=(
path&& __p)
noexcept;
230 template<
typename _Source>
235 template<
typename _Source>
240 template<
typename _InputIterator>
243 {
return *
this =
path(__first, __last); }
247 path& operator/=(
const path& __p) {
return _M_append(__p._M_pathname); }
249 template <
class _Source>
254 template<
typename _Source>
258 return _M_append(_S_convert(_S_range_begin(
__source),
262 template<
typename _InputIterator>
265 {
return _M_append(_S_convert(__first, __last)); }
270 path& operator+=(
const string_type& __x);
271 path& operator+=(
const value_type* __x);
272 path& operator+=(value_type __x);
273#if __cplusplus >= 201402L
277 template<
typename _Source>
279 operator+=(
_Source const& __x) {
return concat(__x); }
281 template<
typename _CharT>
283 operator+=(_CharT __x);
285 template<
typename _Source>
288 {
return *
this += _S_convert(_S_range_begin(__x), _S_range_end(__x)); }
290 template<
typename _InputIterator>
293 {
return *
this += _S_convert(__first, __last); }
297 void clear()
noexcept { _M_pathname.
clear(); _M_split_cmpts(); }
299 path& make_preferred();
300 path& remove_filename();
308 const string_type& native()
const noexcept {
return _M_pathname; }
309 const value_type* c_str()
const noexcept {
return _M_pathname.
c_str(); }
310 operator string_type()
const {
return _M_pathname; }
312 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>,
313 typename _Allocator = std::allocator<_CharT>>
318#if _GLIBCXX_USE_WCHAR_T
326 template<
typename _CharT,
typename _Traits = std::
char_traits<_CharT>,
327 typename _Allocator = std::allocator<_CharT>>
332#if _GLIBCXX_USE_WCHAR_T
341 int compare(
const path& __p)
const noexcept;
342 int compare(
const string_type&
__s)
const;
343 int compare(
const value_type*
__s)
const;
344#if __cplusplus >= 201402L
350 path root_name()
const;
351 path root_directory()
const;
352 path root_path()
const;
353 path relative_path()
const;
354 path parent_path()
const;
355 path filename()
const;
357 path extension()
const;
361 bool empty()
const noexcept {
return _M_pathname.
empty(); }
362 bool has_root_name()
const;
363 bool has_root_directory()
const;
364 bool has_root_path()
const;
365 bool has_relative_path()
const;
366 bool has_parent_path()
const;
367 bool has_filename()
const;
368 bool has_stem()
const;
369 bool has_extension()
const;
370 bool is_absolute()
const;
371 bool is_relative()
const {
return !is_absolute(); }
381 enum class _Type :
unsigned char {
382 _Multi, _Root_name, _Root_dir, _Filename
385 path(string_type
__str, _Type __type) : _M_pathname(
__str), _M_type(__type)
387 __glibcxx_assert(!empty());
388 __glibcxx_assert(_M_type != _Type::_Multi);
391 enum class _Split { _Stem, _Extension };
393 path& _M_append(
const string_type&
__str)
395 if (!_M_pathname.
empty() && !_S_is_dir_sep(_M_pathname.
back())
396 && !
__str.empty() && !_S_is_dir_sep(
__str.front()))
397 _M_pathname += preferred_separator;
398 _M_pathname +=
__str;
405 template<
typename _CharT>
409 _S_convert(value_type*
__src, __null_terminated)
410 {
return string_type(
__src); }
413 _S_convert(
const value_type*
__src, __null_terminated)
414 {
return string_type(
__src); }
416 template<
typename _Iter>
418 _S_convert(_Iter __first, _Iter __last)
420 using __value_type =
typename std::iterator_traits<_Iter>::value_type;
422 _S_convert(__first, __last);
425 template<
typename _InputIterator>
429 using _Tp =
typename std::iterator_traits<_InputIterator>::value_type;
437 _S_convert_loc(
const char* __first,
const char* __last,
440 template<
typename _Iter>
448 template<
typename _InputIterator>
454 while (*
__src !=
'\0')
459 bool _S_is_dir_sep(value_type
__ch)
461#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
462 return __ch ==
L'/' ||
__ch == preferred_separator;
468 void _M_split_cmpts();
470 void _M_add_root_name(
size_t __n);
471 void _M_add_root_dir(
size_t __pos);
472 void _M_add_filename(
size_t __pos,
size_t __n);
474 string_type _M_pathname;
477 using _List = _GLIBCXX_STD_C::vector<_Cmpt>;
479 _Type _M_type = _Type::_Multi;
515 template<
typename _CharT,
typename _Traits>
519 auto __tmp = __p.string<_CharT, _Traits>();
527 template<
typename _CharT,
typename _Traits>
535 __p = std::move(
__tmp);
540 template<
typename _Source>
544#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
552 template<
typename _InputIterator>
556#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
559 return path{ __first, __last };
580 const path& path1() const noexcept {
return _M_path1; }
581 const path& path2() const noexcept {
return _M_path2; }
582 const char* what() const noexcept {
return _M_what.c_str(); }
594 {
using value_type = char; };
598 {
using value_type = wchar_t; };
602 {
using value_type = char16_t; };
606 {
using value_type = char32_t; };
608 template<
typename _Tp>
609 struct path::__is_encoded_char<const _Tp> : __is_encoded_char<_Tp> { };
611 struct path::_Cmpt : path
613 _Cmpt(string_type __s, _Type __t,
size_t __pos)
614 : path(
std::move(__s), __t), _M_pos(__pos) { }
616 _Cmpt() : _M_pos(-1) { }
623 struct path::_Cvt<path::value_type>
625 template<
typename _Iter>
627 _S_convert(_Iter __first, _Iter __last)
628 {
return string_type{__first, __last}; }
631 template<
typename _CharT>
634#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
636 _S_wconvert(
const char* __f,
const char* __l,
true_type)
641 if (__str_codecvt_in(__f, __l, __wstr, __cvt))
643 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
644 "Cannot convert character sequence",
645 std::make_error_code(errc::illegal_byte_sequence)));
649 _S_wconvert(
const _CharT* __f,
const _CharT* __l,
false_type)
653 if (__str_codecvt_out(__f, __l, __str, __cvt))
655 const char* __f2 = __str.
data();
656 const char* __l2 = __f2 + __str.
size();
659 if (__str_codecvt_in(__f2, __l2, __wstr, __wcvt))
662 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
663 "Cannot convert character sequence",
664 std::make_error_code(errc::illegal_byte_sequence)));
668 _S_convert(
const _CharT* __f,
const _CharT* __l)
670 return _S_wconvert(__f, __l, is_same<_CharT, char>{});
674 _S_convert(
const _CharT* __f,
const _CharT* __l)
678 if (__str_codecvt_out(__f, __l, __str, __cvt))
680 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
681 "Cannot convert character sequence",
682 std::make_error_code(errc::illegal_byte_sequence)));
687 _S_convert(_CharT* __f, _CharT* __l)
689 return _S_convert(
const_cast<const _CharT*
>(__f),
690 const_cast<const _CharT*
>(__l));
693 template<
typename _Iter>
695 _S_convert(_Iter __first, _Iter __last)
698 return _S_convert(__str.
data(), __str.
data() + __str.
size());
701 template<
typename _Iter,
typename _Cont>
703 _S_convert(__gnu_cxx::__normal_iterator<_Iter, _Cont> __first,
704 __gnu_cxx::__normal_iterator<_Iter, _Cont> __last)
705 {
return _S_convert(__first.base(), __last.base()); }
718 iterator() : _M_path(
nullptr), _M_cur(), _M_at_end() { }
742 : _M_path(
__path), _M_cur(__iter), _M_at_end()
752 path::_List::const_iterator _M_cur;
758 path::operator=(
path&& __p)
noexcept
760 _M_pathname = std::move(__p._M_pathname);
761 _M_cmpts = std::move(__p._M_cmpts);
762 _M_type = __p._M_type;
768 path::operator=(string_type&&
__source)
772 path::assign(string_type&&
__source)
776 path::operator+=(
const path& __p)
778 return operator+=(__p.native());
782 path::operator+=(
const string_type& __x)
790 path::operator+=(
const value_type* __x)
798 path::operator+=(value_type __x)
805#if __cplusplus >= 201402L
807 path::operator+=(__basic_string_view<value_type> __x)
809 _M_pathname.
append(__x.data(), __x.size());
815 template<
typename _CharT>
816 inline path::_Path<_CharT*, _CharT*>&
817 path::operator+=(_CharT __x)
820 return concat(__addr, __addr + 1);
824 path::make_preferred()
826#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
827 std::replace(_M_pathname.
begin(), _M_pathname.
end(), L
'/',
828 preferred_separator);
833 inline void path::swap(path& __rhs)
noexcept
835 _M_pathname.swap(__rhs._M_pathname);
836 _M_cmpts.swap(__rhs._M_cmpts);
837 std::swap(_M_type, __rhs._M_type);
840 template<
typename _CharT,
typename _Traits,
typename _Allocator>
842 path::string(
const _Allocator& __a)
const
844 if (is_same<_CharT, value_type>::value)
845 return { _M_pathname.
begin(), _M_pathname.
end(), __a };
847 const value_type* __first = _M_pathname.
data();
848 const value_type* __last = __first + _M_pathname.
size();
850#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
851 using _CharAlloc = __alloc_rebind<_Allocator, char>;
852 using _String = basic_string<char, char_traits<char>, _CharAlloc>;
853 using _WString = basic_string<_CharT, _Traits, _Allocator>;
856 codecvt_utf8<value_type> __cvt;
857 _String __u8str{_CharAlloc{__a}};
858 if (__str_codecvt_out(__first, __last, __u8str, __cvt))
863 operator()(
const _String& __from, _String&,
true_type)
867 operator()(
const _String& __from, _WString& __to,
false_type)
870 codecvt_utf8<_CharT> __cvt;
871 const char* __f = __from.data();
872 const char* __l = __f + __from.size();
873 if (__str_codecvt_in(__f, __l, __to, __cvt))
879 if (
auto* __p = __dispatch(__u8str, __wstr, is_same<_CharT, char>{}))
883 codecvt_utf8<_CharT> __cvt;
884 basic_string<_CharT, _Traits, _Allocator> __wstr{__a};
885 if (__str_codecvt_in(__first, __last, __wstr, __cvt))
888 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
889 "Cannot convert character sequence",
890 std::make_error_code(errc::illegal_byte_sequence)));
894 path::string()
const {
return string<char>(); }
896#if _GLIBCXX_USE_WCHAR_T
898 path::wstring()
const {
return string<wchar_t>(); }
902 path::u8string()
const
904#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
907 codecvt_utf8<value_type> __cvt;
908 const value_type* __first = _M_pathname.
data();
909 const value_type* __last = __first + _M_pathname.
size();
910 if (__str_codecvt_out(__first, __last, __str, __cvt))
912 _GLIBCXX_THROW_OR_ABORT(filesystem_error(
913 "Cannot convert character sequence",
914 std::make_error_code(errc::illegal_byte_sequence)));
921 path::u16string()
const {
return string<char16_t>(); }
924 path::u32string()
const {
return string<char32_t>(); }
926#ifndef _GLIBCXX_FILESYSTEM_IS_WINDOWS
927 template<
typename _CharT,
typename _Traits,
typename _Allocator>
929 path::generic_string(
const _Allocator& __a)
const
930 {
return string<_CharT, _Traits, _Allocator>(__a); }
933 path::generic_string()
const {
return string(); }
935#if _GLIBCXX_USE_WCHAR_T
937 path::generic_wstring()
const {
return wstring(); }
941 path::generic_u8string()
const {
return u8string(); }
944 path::generic_u16string()
const {
return u16string(); }
947 path::generic_u32string()
const {
return u32string(); }
951 path::compare(
const string_type& __s)
const {
return compare(path(__s)); }
954 path::compare(
const value_type* __s)
const {
return compare(path(__s)); }
956#if __cplusplus >= 201402L
958 path::compare(__basic_string_view<value_type> __s)
const
959 {
return compare(path(__s)); }
963 path::filename()
const {
return empty() ? path() : *--end(); }
968 auto ext = _M_find_extension();
969 if (ext.first && ext.second != 0)
970 return path{ext.first->substr(0, ext.second)};
975 path::extension()
const
977 auto ext = _M_find_extension();
979 return path{ext.first->substr(ext.second)};
984 path::has_stem()
const
986 auto ext = _M_find_extension();
987 return ext.first && ext.second != 0;
991 path::has_extension()
const
993 auto ext = _M_find_extension();
998 path::is_absolute()
const
1000#ifdef _GLIBCXX_FILESYSTEM_IS_WINDOWS
1001 return has_root_name();
1003 return has_root_directory();
1007 inline path::iterator
1010 if (_M_type == _Type::_Multi)
1011 return iterator(
this, _M_cmpts.
begin());
1012 return iterator(
this,
false);
1015 inline path::iterator
1018 if (_M_type == _Type::_Multi)
1019 return iterator(
this, _M_cmpts.
end());
1020 return iterator(
this,
true);
1023 inline path::iterator&
1024 path::iterator::operator++()
1026 __glibcxx_assert(_M_path !=
nullptr);
1027 if (_M_path->_M_type == _Type::_Multi)
1029 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1034 __glibcxx_assert(!_M_at_end);
1040 inline path::iterator&
1041 path::iterator::operator--()
1043 __glibcxx_assert(_M_path !=
nullptr);
1044 if (_M_path->_M_type == _Type::_Multi)
1046 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.begin());
1051 __glibcxx_assert(_M_at_end);
1057 inline path::iterator::reference
1058 path::iterator::operator*()
const
1060 __glibcxx_assert(_M_path !=
nullptr);
1061 if (_M_path->_M_type == _Type::_Multi)
1063 __glibcxx_assert(_M_cur != _M_path->_M_cmpts.end());
1070 path::iterator::_M_equals(iterator __rhs)
const
1072 if (_M_path != __rhs._M_path)
1074 if (_M_path ==
nullptr)
1076 if (_M_path->_M_type == path::_Type::_Multi)
1077 return _M_cur == __rhs._M_cur;
1078 return _M_at_end == __rhs._M_at_end;
1082_GLIBCXX_END_NAMESPACE_CXX11
1083_GLIBCXX_END_NAMESPACE_VERSION
size_t hash_value(const path &__p) noexcept
Compare paths.
path u8path(const _Source &__source)
Compare paths.
integral_constant< bool, true > true_type
The type used as a compile-time boolean with true value.
integral_constant< bool, false > false_type
The type used as a compile-time boolean with false value.
_Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
ISO C++ entities toplevel namespace is std.
std::basic_istream< _CharT, _Traits > & operator>>(std::basic_istream< _CharT, _Traits > &__is, bitset< _Nb > &__x)
Global I/O operators for bitsets.
Thrown to indicate error code of underlying system.
const _CharT * data() const noexcept
Return const pointer to contents.
size_type size() const noexcept
Returns the number of characters in the string, not including any null-termination.
basic_string & append(const basic_string &__str)
Append a string to this string.
bool empty() const noexcept
const _CharT * c_str() const noexcept
Return const pointer to null-terminated contents.
static const size_type npos
Value returned by various member functions when they fail.
Container class for localization functionality.
Struct for delimited strings.
Bidirectional iterators support a superset of forward iterator operations.
iterator begin() noexcept
An iterator for the components of a path.
A non-owning reference to a string.