From Jason Turner

[func.bind.isplace]

C++14 → C++17 1.5 KB 18 lines
Current Draft | LaTeX Source
Archived: C++14 | C++17
Markdown: C++14 | C++17
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmppu2wyqwn/{from.md → to.md} +8 -7
tmp/tmppu2wyqwn/{from.md → to.md} RENAMED
@@ -4,18 +4,19 @@
4
  namespace std {
5
  template<class T> struct is_placeholder; // see below
6
  }
7
  ```
8
 
9
- `is_placeholder` can be used to detect the standard placeholders `_1`,
10
- `_2`, and so on. `bind` uses `is_placeholder` to detect placeholders.
 
11
 
12
  Instantiations of the `is_placeholder` template shall meet the
13
- UnaryTypeTrait requirements ([[meta.rqmts]]). The implementation shall
14
- provide a definition that has the BaseCharacteristic of
15
  `integral_constant<int, J>` if `T` is the type of
16
- `std::placeholders::_J`, otherwise it shall have a BaseCharacteristic of
17
- `integral_constant<int, 0>`. A program may specialize this template for
18
- a user-defined type `T` to have a BaseCharacteristic of
19
  `integral_constant<int, N>` with `N > 0` to indicate that `T` should be
20
  treated as a placeholder type.
21
 
 
4
  namespace std {
5
  template<class T> struct is_placeholder; // see below
6
  }
7
  ```
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
  Instantiations of the `is_placeholder` template shall meet the
14
+ `UnaryTypeTrait` requirements ([[meta.rqmts]]). The implementation
15
+ shall provide 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 shall have a base characteristic
18
+ of `integral_constant<int, 0>`. A program may specialize this template
19
+ for a user-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