tmp/tmpyp3ir7yv/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,38 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### `path` requirements <a id="fs.path.req">[[fs.path.req]]</a>
|
| 2 |
+
|
| 3 |
+
In addition to the requirements ([[fs.req]]), function template
|
| 4 |
+
parameters named `Source` shall be one of:
|
| 5 |
+
|
| 6 |
+
- `basic_string<EcharT, traits, Allocator>`. A function argument
|
| 7 |
+
`const Source&` `source` shall have an effective range
|
| 8 |
+
\[`source.begin()`, `source.end()`).
|
| 9 |
+
- `basic_string_view<EcharT, traits>`. A function argument
|
| 10 |
+
`const Source&` `source` shall have an effective range
|
| 11 |
+
\[`source.begin()`, `source.end()`).
|
| 12 |
+
- A type meeting the input iterator requirements that iterates over a
|
| 13 |
+
NTCTS. The value type shall be an encoded character type. A function
|
| 14 |
+
argument `const Source&` `source` shall have an effective range
|
| 15 |
+
\[`source`, `end`) where `end` is the first iterator value with an
|
| 16 |
+
element value equal to `iterator_traits<Source>::value_type()`.
|
| 17 |
+
- A character array that after array-to-pointer decay results in a
|
| 18 |
+
pointer to the start of a NTCTS. The value type shall be an encoded
|
| 19 |
+
character type. A function argument `const Source&` `source` shall
|
| 20 |
+
have an effective range \[`source`, `end`) where `end` is the first
|
| 21 |
+
iterator value with an element value equal to
|
| 22 |
+
`iterator_traits<decay_t<Source>>::value_type()`.
|
| 23 |
+
|
| 24 |
+
Functions taking template parameters named `Source` shall not
|
| 25 |
+
participate in overload resolution unless either
|
| 26 |
+
|
| 27 |
+
- `Source` is a specialization of `basic_string` or `basic_string_view`,
|
| 28 |
+
or
|
| 29 |
+
- the *qualified-id* `iterator_traits<decay_t<Source>>::value_type` is
|
| 30 |
+
valid and denotes a possibly `const` encoded character type (
|
| 31 |
+
[[temp.deduct]]).
|
| 32 |
+
|
| 33 |
+
[*Note 1*: See path conversions ([[fs.path.cvt]]) for how the value
|
| 34 |
+
types above and their encodings convert to `path::value_type` and its
|
| 35 |
+
encoding. — *end note*]
|
| 36 |
+
|
| 37 |
+
Arguments of type `Source` shall not be null pointers.
|
| 38 |
+
|