tmp/tmp58_fmlrl/{from.md → to.md}
RENAMED
|
@@ -8,15 +8,15 @@ namespace std {
|
|
| 8 |
|
| 9 |
The class template `is_placeholder` can be used to detect the standard
|
| 10 |
placeholders `_1`, `_2`, and so on. The function template `bind` uses
|
| 11 |
`is_placeholder` to detect placeholders.
|
| 12 |
|
| 13 |
-
|
| 14 |
-
|
| 15 |
-
|
| 16 |
`integral_constant<int, J>` if `T` is the type of
|
| 17 |
-
`std::placeholders::_J`, otherwise it
|
| 18 |
-
|
| 19 |
-
|
| 20 |
`integral_constant<int, N>` with `N > 0` to indicate that `T` should be
|
| 21 |
treated as a placeholder type.
|
| 22 |
|
|
|
|
| 8 |
|
| 9 |
The class template `is_placeholder` can be used to detect the standard
|
| 10 |
placeholders `_1`, `_2`, and so on. The function template `bind` uses
|
| 11 |
`is_placeholder` to detect placeholders.
|
| 12 |
|
| 13 |
+
Specializations of the `is_placeholder` template shall meet the
|
| 14 |
+
*Cpp17UnaryTypeTrait* requirements [[meta.rqmts]]. The implementation
|
| 15 |
+
provides a definition that has the base characteristic of
|
| 16 |
`integral_constant<int, J>` if `T` is the type of
|
| 17 |
+
`std::placeholders::_J`, otherwise it has a base characteristic of
|
| 18 |
+
`integral_constant<int, 0>`. A program may specialize this template for
|
| 19 |
+
a program-defined type `T` to have a base characteristic of
|
| 20 |
`integral_constant<int, N>` with `N > 0` to indicate that `T` should be
|
| 21 |
treated as a placeholder type.
|
| 22 |
|