tmp/tmpiv4qa_eo/{from.md → to.md}
RENAMED
|
@@ -1,38 +1,39 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
-
In addition to the requirements
|
| 4 |
-
|
| 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
|
| 13 |
-
NTCTS. The value type shall be an encoded character type. A
|
| 14 |
-
argument `const Source&` `source` shall have an effective
|
| 15 |
-
\[`source`, `end`) where `end` is the first iterator value with
|
| 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
|
|
|
|
| 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
|
| 34 |
-
|
| 35 |
encoding. — *end note*]
|
| 36 |
|
| 37 |
Arguments of type `Source` shall not be null pointers.
|
| 38 |
|
|
|
|
| 1 |
+
#### Requirements <a id="fs.path.req">[[fs.path.req]]</a>
|
| 2 |
|
| 3 |
+
In addition to the requirements [[fs.req]], function template parameters
|
| 4 |
+
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 *Cpp17InputIterator* requirements that iterates
|
| 13 |
+
over a NTCTS. The value type shall be an encoded character type. A
|
| 14 |
+
function argument `const Source&` `source` shall have an effective
|
| 15 |
+
range \[`source`, `end`) where `end` is the first iterator value with
|
| 16 |
+
an 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 `Source` denotes a type other
|
| 26 |
+
than `path`, and either
|
| 27 |
|
| 28 |
- `Source` is a specialization of `basic_string` or `basic_string_view`,
|
| 29 |
or
|
| 30 |
- the *qualified-id* `iterator_traits<decay_t<Source>>::value_type` is
|
| 31 |
+
valid and denotes a possibly `const` encoded character type
|
| 32 |
+
[[temp.deduct]].
|
| 33 |
|
| 34 |
+
[*Note 1*: See path conversions [[fs.path.cvt]] for how the value types
|
| 35 |
+
above and their encodings convert to `path::value_type` and its
|
| 36 |
encoding. — *end note*]
|
| 37 |
|
| 38 |
Arguments of type `Source` shall not be null pointers.
|
| 39 |
|