libstdc++: Refactor filesystem::path encoding conversions
authorJonathan Wakely <jwakely@redhat.com>
Wed, 13 Oct 2021 16:19:57 +0000 (17:19 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Wed, 13 Oct 2021 19:36:51 +0000 (20:36 +0100)
commitb83b810ac440f72e7551b6496539e60ac30c0d8a
tree2fdc3a35cdac161449a892500a4ada7a73c10927
parent85b24e32dc27ec2e70b853713e0713cbc1ff08c3
libstdc++: Refactor filesystem::path encoding conversions

Adjust the __detail::__effective_range overloads so they always return a
string or string view using std::char_traits, because we don't care
about the traits of an incoming string.

Use std::contiguous_iterator in the __effective_range(const Source&)
overload, to allow returning a basic_string_view in more cases. For the
non-contiguous casecl in both __effective_range and __string_from_range,
return a std::string instead of std::u8string when the value type of the
range is char8_t.  These changes avoid unnecessary basic_string
temporaries.

Also simplify __string_from_range(Iter, Iter) to not need
std::__to_address for the contiguous case.

Combine the _S_convert(string_type) and _S_convert(const T&) overloads
into a single _S_convert(T) function which also avoids the dangling
view problem of PR 102592 (should that recur somehow).

libstdc++-v3/ChangeLog:

* include/bits/fs_path.h (__detail::__is_contiguous): New
variable template to identify contiguous iterators.
(__detail::__unified_char8_t): New alias template to decide when
to treat char8_t as char without encoding conversion.
(__detail::__effective_range(const basic_string<C,T>&)): Use
std::char_traits<C> for returned string view.
(__detail::__effective_range(const basic_string_view<C,T>&)):
Likewise.
(__detail::__effective_range(const Source&)): Use
__is_contiguous to detect mode cases of contiguous iterators.
Use __unified_char8_t to return a std::string instead of
std::u8string.
libstdc++-v3/include/bits/fs_path.h