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