LLFIO  v2.00
llfio_v2_xxx::path_view Class Reference

A borrowed view of a path. A lightweight trivial-type alternative to std::filesystem::path. More...

#include "path_view.hpp"

Inheritance diagram for llfio_v2_xxx::path_view:
llfio_v2_xxx::path_view_component

Public Types

using const_iterator = detail::path_view_iterator
 Const iterator type.
 
using iterator = const_iterator
 iterator type
 
using reverse_iterator = std::reverse_iterator< iterator >
 Reverse iterator.
 
using const_reverse_iterator = std::reverse_iterator< const_iterator >
 Const reverse iterator.
 
using size_type = path_view_component::size_type
 Size type.
 
using difference_type = std::ptrdiff_t
 Difference type.
 
enum  format : uint8_t {
  unknown , native_format , generic_format , auto_format ,
  binary_format
}
 How to interpret separators. More...
 
enum  termination { zero_terminated , not_zero_terminated }
 The zero termination to use. More...
 
using byte = llfio_v2_xxx::byte
 Character type for passthrough input.
 
using char16_t = detail::char16_t
 
template<class T >
using default_rendered_path_deleter = std::default_delete< T >
 The default deleter to use.
 
template<class T = typename filesystem::path::value_type, class AllocatorOrDeleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size>
using zero_terminated_rendered_path = rendered_path< termination::zero_terminated, T, AllocatorOrDeleter, _internal_buffer_size >
 Convenience type alias.
 
template<class T = typename filesystem::path::value_type, class AllocatorOrDeleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size>
using not_zero_terminated_rendered_path = rendered_path< termination::not_zero_terminated, T, AllocatorOrDeleter, _internal_buffer_size >
 Convenience type alias.
 

Public Member Functions

constexpr path_view ()
 Constructs an empty path view.
 
constexpr path_view (path_view_component p, format fmt=auto_format) noexcept
 Constructs a path view component identical to the input, except with different format interpretation.
 
 path_view (const filesystem::path &v, format fmt=auto_format) noexcept
 
template<class Char , typename std::enable_if<(is_source_chartype_acceptable< Char >), bool >::type = true>
constexpr path_view (const std::basic_string< Char > &v, format fmt=auto_format) noexcept
 
constexpr path_view (const char *b, size_t l, enum termination zt, format fmt=auto_format) noexcept
 
constexpr path_view (const wchar_t *b, size_t l, enum termination zt, format fmt=auto_format) noexcept
 
constexpr path_view (const char8_t *b, size_t l, enum termination zt, format fmt=auto_format) noexcept
 
constexpr path_view (const char16_t *b, size_t l, enum termination zt, format fmt=auto_format) noexcept
 
constexpr path_view (const byte *b, size_t l, enum termination zt) noexcept
 
template<class Char , typename std::enable_if<(is_source_chartype_acceptable< Char >), bool >::type = true>
constexpr path_view (const Char *s, format fmt=auto_format) noexcept
 
constexpr path_view (const byte *s) noexcept
 
template<class Char , typename std::enable_if<(is_source_chartype_acceptable< Char >), bool >::type = true>
constexpr path_view (basic_string_view< Char > v, enum termination zt, format fmt=auto_format) noexcept
 
constexpr path_view (span< const byte > v, enum termination zt) noexcept
 
template<class It , class End , typename std::enable_if<(is_source_chartype_acceptable< typename It::value_type >), bool >::type = true, typename std::enable_if<(is_source_chartype_acceptable< typename End::value_type >), bool >::type = true>
constexpr path_view (It b, End e, enum termination zt, format fmt=auto_format) noexcept
 
template<class It , class End , typename std::enable_if<(is_source_chartype_acceptable< std::decay_t< It >>), bool >::type = true, typename std::enable_if<(is_source_chartype_acceptable< std::decay_t< End >>), bool >::type = true>
constexpr path_view (It *b, End *e, enum termination zt, format fmt=auto_format) noexcept
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 
template<class It , class End , typename std::enable_if<(std::is_same< typename It::value_type, byte >::value), bool >::type = true, typename std::enable_if<(std::is_same< typename End::value_type, byte >::value), bool >::type = true>
constexpr path_view (It b, End e, enum termination zt) noexcept
 
template<class It , class End , typename std::enable_if<(std::is_same< std::decay_t< It >, byte >::value), bool >::type = true, typename std::enable_if<(std::is_same< std::decay_t< End >, byte >::value), bool >::type = true>
constexpr path_view (It *b, End *e, enum termination zt) noexcept
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 
 path_view (const path_view &)=default
 Default copy constructor.
 
 path_view (path_view &&o) noexcept=default
 Default move constructor.
 
path_viewoperator= (const path_view &p)=default
 Default copy assignment.
 
path_viewoperator= (path_view &&p) noexcept=default
 Default move assignment.
 
constexpr bool has_root_path () const noexcept
 True if has root path.
 
constexpr bool has_root_name () const noexcept
 True if has root name.
 
constexpr bool has_root_directory () const noexcept
 True if has root directory.
 
constexpr bool has_relative_path () const noexcept
 True if has relative path.
 
constexpr bool has_parent_path () const noexcept
 True if has parent path.
 
constexpr bool has_filename () const noexcept
 True if has filename.
 
constexpr bool is_absolute () const noexcept
 True if absolute.
 
constexpr bool is_relative () const noexcept
 True if relative.
 
constexpr const_iterator cbegin () const noexcept
 Returns an iterator to the first path component.
 
constexpr const_iterator begin () const noexcept
 Returns an iterator to the first path component.
 
constexpr iterator begin () noexcept
 Returns an iterator to the first path component.
 
constexpr const_iterator cend () const noexcept
 Returns an iterator to after the last path component.
 
constexpr const_iterator end () const noexcept
 Returns an iterator to after the last path component.
 
constexpr iterator end () noexcept
 Returns an iterator to after the last path component.
 
constexpr path_view remove_filename () const noexcept
 Returns a copy of this view with the end adjusted to match the final separator.
 
constexpr path_view root_name () const noexcept
 Returns a view of the root name part of this view e.g. C:
 
constexpr path_view root_directory () const noexcept
 Returns a view of the root directory, if there is one e.g. /.
 
constexpr path_view root_path () const noexcept
 Returns, if any, a view of the root path part of this view e.g. C:/.
 
constexpr path_view relative_path () const noexcept
 Returns a view of everything after the root path.
 
constexpr path_view parent_path () const noexcept
 Returns a view of the everything apart from the filename part of this view.
 
constexpr path_view filename () const noexcept
 Returns a view of the filename part of this view.
 
constexpr path_view without_trailing_separator () const noexcept
 Returns a view of this view without a trailing separator, if there is one, unless the input is '/'.
 
template<class T = typename filesystem::path::value_type, class Deleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, typename std::enable_if<(path_view::is_source_acceptable< T >), bool >::type = true>
constexpr int compare (path_view p, const std::locale &loc) const
 
template<class T = typename filesystem::path::value_type, class Deleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, typename std::enable_if<(path_view::is_source_acceptable< T >), bool >::type = true>
constexpr int compare (path_view p) const
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 
constexpr enum termination termination () const noexcept
 The zero termination during construction.
 
const byte_raw_data () const noexcept
 
constexpr void swap (path_view_component &o) noexcept
 Swap the view with another.
 
constexpr QUICKCPPLIB_NODISCARD bool empty () const noexcept
 True if empty.
 
constexpr size_t native_size () const noexcept
 Returns the size of the view in characters.
 
constexpr format formatting () const noexcept
 How path separators shall be interpreted.
 
constexpr bool has_null_termination () const noexcept
 True if input is declared to be null terminated.
 
constexpr bool has_stem () const noexcept
 True if stem() returns a non-empty path.
 
constexpr bool has_extension () const noexcept
 True if extension() returns a non-empty path.
 
constexpr bool contains_glob () const noexcept
 True if the view contains any of the characters *, ?, (POSIX only: [ or ]).
 
constexpr path_view_component stem () const noexcept
 Returns a view of the filename without any file extension.
 
constexpr path_view_component extension () const noexcept
 Returns a view of the file extension part of this view.
 
filesystem::path path () const
 Return the path view as a path. Allocates and copies memory!
 
template<class T = typename filesystem::path::value_type, class Deleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, typename std::enable_if<(is_source_acceptable< T >), bool >::type = true>
constexpr int compare (path_view_component p, const std::locale &loc) const
 
template<class T = typename filesystem::path::value_type, class Deleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, typename std::enable_if<(is_source_acceptable< T >), bool >::type = true>
constexpr int compare (path_view_component p) const
 This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
 
template<enum path_view_component::termination ZeroTermination, class T = typename filesystem::path::value_type, class AllocatorOrDeleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, class... Args, typename std::enable_if<(is_source_acceptable< T >), bool >::type = true, typename = decltype( std::is_constructible<rendered_path<ZeroTermination, T, AllocatorOrDeleter, _internal_buffer_size>, path_view_component, Args...>::value )>
rendered_path< ZeroTermination, T, AllocatorOrDeleter, _internal_buffer_size > render (path_view_component view, Args &&...args) const
 Convenience function.
 
template<class T = typename filesystem::path::value_type, class AllocatorOrDeleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, class... Args, typename std::enable_if<(is_source_acceptable< T >), bool >::type = true, typename = decltype( std::is_constructible<rendered_path<termination::zero_terminated, T, AllocatorOrDeleter, _internal_buffer_size>, path_view_component, Args...>::value )>
rendered_path< termination::zero_terminated, T, AllocatorOrDeleter, _internal_buffer_size > render_null_terminated (Args &&...args) const
 Convenience function.
 
template<class T = typename filesystem::path::value_type, class AllocatorOrDeleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, class... Args, typename std::enable_if<(is_source_acceptable< T >), bool >::type = true, typename = decltype( std::is_constructible<rendered_path<termination::zero_terminated, T, AllocatorOrDeleter, _internal_buffer_size>, path_view_component, Args...>::value )>
rendered_path< termination::not_zero_terminated, T, AllocatorOrDeleter, _internal_buffer_size > render_unterminated (Args &&...args) const
 Convenience function.
 

Static Public Attributes

static constexpr auto preferred_separator = filesystem::path::preferred_separator
 The preferred separator type.
 
template<class Char >
static constexpr bool is_source_chartype_acceptable = detail::is_source_chartype_acceptable<Char>::value
 
template<class Char >
static constexpr bool is_source_acceptable = detail::is_source_acceptable<Char>::value
 
static constexpr size_t default_internal_buffer_size = 1024
 The default internal buffer size used by rendered_path.
 

Friends

constexpr friend bool llfio_v2_xxx::operator== (path_view x, path_view y) noexcept
 
constexpr friend bool llfio_v2_xxx::operator!= (path_view x, path_view y) noexcept
 
constexpr friend bool llfio_v2_xxx::operator< (path_view x, path_view y) noexcept
 
constexpr friend size_t hash_value (path_view x) noexcept
 Return the combined hash of individual path components.
 

Detailed Description

A borrowed view of a path. A lightweight trivial-type alternative to std::filesystem::path.

LLFIO is sufficiently fast that std::filesystem::path as a wrapper of an underlying std::basic_string<> can be problematically expensive for some filing system operations due to the potential memory allocation. LLFIO therefore works exclusively with borrowed views of other path storage.

Some of the API for std::filesystem::path is replicated here, however any APIs which modify the path other than taking subsets are obviously not possible with borrowed views.

Each consumer of path_view defines what the "native platform transport" and "native platform encoding" is. For LLFIO, the native platform transport is defined to be std::filesystem::path::value_type, which is as follows:

  • POSIX: The native platform transport is char.
  • Microsoft Windows: The native platform transport is wchar_t.

    If** the input to path_view equals the native platform transport, the bits supplied will be passed through to the operating system without translation (see below). If* the consuming API expects null termination, and the input to path_view is null terminated, then you are guaranteed that the originally supplied buffer is passed through. If the input is not null terminated, a bitwise identical copy is made into temporary storage (which will be the stack for smaller strings), which is then null terminated before passing to the consuming API.

If the input to path_view does NOT equal the native platform transport, then a translation of the input bits will be performed into temporary storage just before calling the consuming API. The rules are as follows:

  • POSIX: The native platform encoding is assumed to be UTF-8. If the input is char8_t or char, it is not translated. If the input is char16_t, a UTF-16 to UTF-8 translation is performed.
  • Microsoft Windows: The native platform encoding is assumed to be UTF-16. If the input is char16_t or wchar_t, it is not translated. If the input is char8_t, a UTF-8 to UTF-16 translation is performed. If the input is char, the Microsoft Windows API for ANSI to UTF-16 translation is invoked in order to match how Windows ANSI APIs are mapped onto the Windows Unicode APIs (be aware this is very slow).

Windows specific notes:

On Microsoft Windows, filesystem paths may require to be zero terminated, or they may not. Which is the case depends on whether LLFIO calls the NT kernel API directly rather than the Win32 API. As a general rule as to when which is used, the NT kernel API is called instead of the Win32 API when:

  • For any paths relative to a path_handle (the Win32 API does not provide a race free file system API).
  • For any paths beginning with \!!\, we pass the path + 3 characters directly through. This prefix is a pure LLFIO extension, and will not be recognised by other code.
  • For any paths beginning with \??\, we pass the path + 0 characters directly through. Note the NT kernel keeps a symlink at \??\ which refers to the DosDevices namespace for the current login, so as an incorrect relation which you should not rely on, the Win32 path C:\foo probably will appear at \??\C:\foo.

These prefixes are still passed to the Win32 API:

  • \\?\ which is used to tell a Win32 API that the remaining path is longer than a DOS path.
  • \\.\ which since Windows 7 is treated exactly like \\?\.

If the NT kernel API is used directly then:

  • If the calling thread has the ThreadExplicitCaseSensitivity privilege, or the system registry has enabled case sensitive lookup for NTFS, paths are matched case sensitively as raw bytes via memcmp(), not case insensitively (requires slow locale conversion).
  • If the NTFS directory has its case sensitive lookup bit set (see handle::flag
  • The path limit is 32,767 characters.

If you really care about performance, you are very strongly recommended to use the NT kernel API wherever possible. Where paths are involved, it is often three to five times faster due to the multiple memory allocations and string translations that the Win32 functions perform before calling the NT kernel routine.

If however you are taking input from some external piece of code, then for maximum compatibility you should still use the Win32 API.

Member Enumeration Documentation

◆ format

How to interpret separators.

Enumerator
native_format 

Separate at the native path separator only.

generic_format 

Separate at the generic path separator only.

auto_format 

Separate at both the native and generic path separators.

binary_format 

Do not separate at any path separator.

290  {
291  unknown,
292  native_format, //!< Separate at the native path separator only.
293  generic_format, //!< Separate at the generic path separator only.
294  auto_format, //!< Separate at both the native and generic path separators.
295  binary_format //!< Do not separate at any path separator.
296  };
@ generic_format
Separate at the generic path separator only.
Definition: path_view.hpp:293
@ binary_format
Do not separate at any path separator.
Definition: path_view.hpp:295
@ auto_format
Separate at both the native and generic path separators.
Definition: path_view.hpp:294
@ native_format
Separate at the native path separator only.
Definition: path_view.hpp:292

◆ termination

The zero termination to use.

Enumerator
zero_terminated 

The input is zero terminated, or requested output ought to be zero terminated.

not_zero_terminated 

The input is not zero terminated, or requested output ought to not be zero terminated.

300  {
301  zero_terminated, //!< The input is zero terminated, or requested output ought to be zero terminated.
302  not_zero_terminated, //!< The input is not zero terminated, or requested output ought to not be zero terminated.
303  };
@ not_zero_terminated
The input is not zero terminated, or requested output ought to not be zero terminated.
Definition: path_view.hpp:302
@ zero_terminated
The input is zero terminated, or requested output ought to be zero terminated.
Definition: path_view.hpp:301

Constructor & Destructor Documentation

◆ path_view() [1/13]

llfio_v2_xxx::path_view::path_view ( const filesystem::path &  v,
format  fmt = auto_format 
)
inlinenoexcept

Implicitly constructs a path view from a path. The input path MUST continue to exist for this view to be valid (DEVIATES from P1030 due to filesystem::path not exposing its path formatting).

2049  : path_view_component(v, fmt)
2050  {
2051  }
constexpr path_view_component() noexcept
Constructs an empty path view component (DEVIATES from P1030, is not trivial due to C++ 14 compatibil...
Definition: path_view.hpp:331

◆ path_view() [2/13]

template<class Char , typename std::enable_if<(is_source_chartype_acceptable< Char >), bool >::type = true>
constexpr llfio_v2_xxx::path_view::path_view ( const std::basic_string< Char > &  v,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from a basic string if the character type is one of char, wchar_t, char8_t or char16_t.

2059  : path_view_component(v.data(), v.size(), zero_terminated, fmt)
2060  {
2061  }

◆ path_view() [3/13]

constexpr llfio_v2_xxx::path_view::path_view ( const char *  b,
size_t  l,
enum termination  zt,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from a lengthed array of one of char, wchar_t, char8_t or char16_t. The input string MUST continue to exist for this view to be valid.

2066  : path_view_component(b, l, zt, fmt)
2067  {
2068  }

◆ path_view() [4/13]

constexpr llfio_v2_xxx::path_view::path_view ( const wchar_t *  b,
size_t  l,
enum termination  zt,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from a lengthed array of one of char, wchar_t, char8_t or char16_t. The input string MUST continue to exist for this view to be valid.

2073  : path_view_component(b, l, zt, fmt)
2074  {
2075  }

◆ path_view() [5/13]

constexpr llfio_v2_xxx::path_view::path_view ( const char8_t *  b,
size_t  l,
enum termination  zt,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from a lengthed array of one of char, wchar_t, char8_t or char16_t. The input string MUST continue to exist for this view to be valid.

2080  : path_view_component(b, l, zt, fmt)
2081  {
2082  }

◆ path_view() [6/13]

constexpr llfio_v2_xxx::path_view::path_view ( const char16_t *  b,
size_t  l,
enum termination  zt,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from a lengthed array of one of char, wchar_t, char8_t or char16_t. The input string MUST continue to exist for this view to be valid.

2087  : path_view_component(b, l, zt, fmt)
2088  {
2089  }

◆ path_view() [7/13]

constexpr llfio_v2_xxx::path_view::path_view ( const byte b,
size_t  l,
enum termination  zt 
)
inlineconstexprnoexcept

Constructs from a lengthed array of byte. The input array MUST continue to exist for this view to be valid.

2094  : path_view_component(b, l, zt)
2095  {
2096  }

◆ path_view() [8/13]

template<class Char , typename std::enable_if<(is_source_chartype_acceptable< Char >), bool >::type = true>
constexpr llfio_v2_xxx::path_view::path_view ( const Char *  s,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Implicitly constructs a path view from a zero terminated pointer to a character array, which must be one of char, wchar_t, char8_t or char16_t. The input string MUST continue to exist for this view to be valid.

2105  : path_view_component(s, detail::constexpr_strlen(s), zero_terminated, fmt)
2106  {
2107  }

◆ path_view() [9/13]

constexpr llfio_v2_xxx::path_view::path_view ( const byte s)
inlineconstexprnoexcept

Implicitly constructs a path view from a zero terminated pointer to byte array. The input array MUST continue to exist for this view to be valid.

2112  : path_view_component(s)
2113  {
2114  }

◆ path_view() [10/13]

template<class Char , typename std::enable_if<(is_source_chartype_acceptable< Char >), bool >::type = true>
constexpr llfio_v2_xxx::path_view::path_view ( basic_string_view< Char >  v,
enum termination  zt,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from a basic string view if the character type is one of char, wchar_t, char8_t or char16_t.

2122  : path_view_component(v.data(), v.size(), zt, fmt)
2123  {
2124  }

◆ path_view() [11/13]

constexpr llfio_v2_xxx::path_view::path_view ( span< const byte v,
enum termination  zt 
)
inlineconstexprnoexcept

Constructs from a span<const byte>.

2128  : path_view_component(v, zt)
2129  {
2130  }

◆ path_view() [12/13]

template<class It , class End , typename std::enable_if<(is_source_chartype_acceptable< typename It::value_type >), bool >::type = true, typename std::enable_if<(is_source_chartype_acceptable< typename End::value_type >), bool >::type = true>
constexpr llfio_v2_xxx::path_view::path_view ( It  b,
End  e,
enum termination  zt,
format  fmt = auto_format 
)
inlineconstexprnoexcept

Constructs from an iterator sequence if the iterator is contiguous, if its value type is one of char, wchar_t, char8_t or char16_t.

(DEVIATES from P1030, cannot detect contiguous iterator in SFINAE in C++ 14)

2140  : path_view_component(addressof(*b), e - b, zt, fmt)
2141  {
2142  }

◆ path_view() [13/13]

template<class It , class End , typename std::enable_if<(std::is_same< typename It::value_type, byte >::value), bool >::type = true, typename std::enable_if<(std::is_same< typename End::value_type, byte >::value), bool >::type = true>
constexpr llfio_v2_xxx::path_view::path_view ( It  b,
End  e,
enum termination  zt 
)
inlineconstexprnoexcept

Constructs from an iterator sequence if the iterator is contiguous, if its value type is byte.

(DEVIATES from P1030, cannot detect contiguous iterator in SFINAE in C++ 14)

2158  : path_view_component(addressof(*b), e - b, zt, binary_format)
2159  {
2160  }

Member Function Documentation

◆ compare() [1/2]

template<class T , class Deleter , size_t _internal_buffer_size, typename std::enable_if<(path_view::is_source_acceptable< T >), bool >::type >
constexpr int llfio_v2_xxx::path_view::compare ( path_view  p,
const std::locale &  loc 
) const
inlineconstexpr

Compares the two path views for equivalence or ordering using T as the destination encoding, if necessary.

If the source encodings of the two path views are compatible, a lexicographical comparison is performed. If they are incompatible, either or both views are converted to the destination encoding using rendered_path<T, Delete, _internal_buffer_size>, and then a lexicographical comparison is performed.

This can, for obvious reasons, be expensive. It can also throw exceptions, as rendered_path does.

If the destination encoding is byte, memcmp() is used, and rendered_path is never invoked as the two sources are byte compared directly.

3089 {
3090  auto it1 = begin(), it2 = o.begin();
3091  for(; it1 != end() && it2 != o.end(); ++it1, ++it2)
3092  {
3093  int res = it1->compare<T, Deleter, _internal_buffer_size>(*it2, loc);
3094  if(res != 0)
3095  {
3096  return res;
3097  }
3098  }
3099  if(it1 == end() && it2 != o.end())
3100  {
3101  return -1;
3102  }
3103  if(it1 != end() && it2 == o.end())
3104  {
3105  return 1;
3106  }
3107  return 0; // identical
3108 }
constexpr const_iterator end() const noexcept
Returns an iterator to after the last path component.
Definition: path_view.hpp:2929
constexpr const_iterator begin() const noexcept
Returns an iterator to the first path component.
Definition: path_view.hpp:2921

◆ compare() [2/2]

template<class T = typename filesystem::path::value_type, class Deleter = default_rendered_path_deleter<T[]>, size_t _internal_buffer_size = default_internal_buffer_size, typename std::enable_if<(is_source_acceptable< T >), bool >::type = true>
constexpr int llfio_v2_xxx::path_view_component::compare ( path_view_component  p,
const std::locale &  loc 
) const
inlineconstexprinherited

Compares the two path views for equivalence or ordering using T as the destination encoding, if necessary.

If the source encodings of the two path views are compatible, a lexicographical comparison is performed. If they are incompatible, either or both views are converted to the destination encoding using rendered_path<T, Delete, _internal_buffer_size>, and then a lexicographical comparison is performed.

This can, for obvious reasons, be expensive. It can also throw exceptions, as rendered_path does.

If the destination encoding is byte, memcmp() is used, and rendered_path is never invoked as the two sources are byte compared directly.

867  {
868  return _invoke(
869  [&](const auto &self)
870  { return p._invoke([&](const auto &other) { return _compare<T, Deleter, _internal_buffer_size>(self, termination(), other, p.termination(), &loc); }); });
871  }
termination
The zero termination to use.
Definition: path_view.hpp:300

Member Data Documentation

◆ is_source_acceptable

template<class Char >
constexpr bool llfio_v2_xxx::path_view_component::is_source_acceptable = detail::is_source_acceptable<Char>::value
staticconstexprinherited

True if path views can be constructed from this source. i.e. is_source_chartype_acceptable, or is byte

◆ is_source_chartype_acceptable

template<class Char >
constexpr bool llfio_v2_xxx::path_view_component::is_source_chartype_acceptable = detail::is_source_chartype_acceptable<Char>::value
staticconstexprinherited

True if path views can be constructed from this character type. i.e. is one of char, wchar_t, char8_t, char16_t


The documentation for this class was generated from the following file: