45aa7a4476
The constraint check for filesystem::path construction uses decltype(__is_path_src(declval<Source>())) which mean it considers conversion from an rvalue. When Source is a volatile-qualified type it cannot use is_path_src(const Unknown&) because a const lvalue reference can only bind to a non-volatile rvalue. Since the relevant path members all have a const Source& parameter, the constraint should be defined in terms of declval<const Source&>(), not declval<Source>(). This avoids the problem of volatile-qualified rvalues, because we no longer use an rvalue at all. libstdc++-v3/ChangeLog: PR libstdc++/100630 * include/experimental/bits/fs_path.h (__is_constructible_from): Test construction from a const lvalue, not an rvalue. * testsuite/27_io/filesystem/path/construct/100630.cc: New test. * testsuite/experimental/filesystem/path/construct/100630.cc: New test. |
||
|---|---|---|
| .. | ||
| bits | ||
| algorithm | ||
| any | ||
| array | ||
| buffer | ||
| chrono | ||
| deque | ||
| executor | ||
| filesystem | ||
| forward_list | ||
| functional | ||
| internet | ||
| io_context | ||
| iterator | ||
| list | ||
| map | ||
| memory | ||
| memory_resource | ||
| net | ||
| netfwd | ||
| numeric | ||
| optional | ||
| propagate_const | ||
| random | ||
| ratio | ||
| regex | ||
| set | ||
| simd | ||
| socket | ||
| source_location | ||
| string | ||
| string_view | ||
| system_error | ||
| timer | ||
| tuple | ||
| type_traits | ||
| unordered_map | ||
| unordered_set | ||
| utility | ||
| vector | ||