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
|
---|