tmp/tmpfyshdxto/{from.md → to.md}
RENAMED
|
@@ -8,14 +8,14 @@ namespace std {
|
|
| 8 |
|
| 9 |
The class template `is_bind_expression` can be used to detect function
|
| 10 |
objects generated by `bind`. The function template `bind` uses
|
| 11 |
`is_bind_expression` to detect subexpressions.
|
| 12 |
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
|
| 16 |
-
|
| 17 |
characteristic of `false_type`. A program may specialize this template
|
| 18 |
-
for a
|
| 19 |
-
to indicate that `T` should be treated as a subexpression in
|
| 20 |
-
call.
|
| 21 |
|
|
|
|
| 8 |
|
| 9 |
The class template `is_bind_expression` can be used to detect function
|
| 10 |
objects generated by `bind`. The function template `bind` uses
|
| 11 |
`is_bind_expression` to detect subexpressions.
|
| 12 |
|
| 13 |
+
Specializations of the `is_bind_expression` template shall meet the
|
| 14 |
+
*Cpp17UnaryTypeTrait* requirements [[meta.rqmts]]. The implementation
|
| 15 |
+
provides a definition that has a base characteristic of `true_type` if
|
| 16 |
+
`T` is a type returned from `bind`, otherwise it has a base
|
| 17 |
characteristic of `false_type`. A program may specialize this template
|
| 18 |
+
for a program-defined type `T` to have a base characteristic of
|
| 19 |
+
`true_type` to indicate that `T` should be treated as a subexpression in
|
| 20 |
+
a `bind` call.
|
| 21 |
|