From Jason Turner

[func.bind.isbind]

C++14 → C++17 1.6 KB 22 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/tmp20nn7fo2/{from.md → to.md} +10 -9
tmp/tmp20nn7fo2/{from.md → to.md} RENAMED
@@ -4,17 +4,18 @@
4
  namespace std {
5
  template<class T> struct is_bind_expression; // see below
6
  }
7
  ```
8
 
9
- `is_bind_expression` can be used to detect function objects generated by
10
- `bind`. `bind` uses `is_bind_expression` to detect subexpressions.
 
11
 
12
  Instantiations of the `is_bind_expression` template shall meet the
13
- UnaryTypeTrait requirements ([[meta.rqmts]]). The implementation shall
14
- provide a definition that has a BaseCharacteristic of `true_type` if `T`
15
- is a type returned from `bind`, otherwise it shall have a
16
- BaseCharacteristic of `false_type`. A program may specialize this
17
- template for a user-defined type `T` to have a BaseCharacteristic of
18
- `true_type` to indicate that `T` should be treated as a subexpression in
19
- a `bind` call.
20
 
 
4
  namespace std {
5
  template<class T> struct is_bind_expression; // see below
6
  }
7
  ```
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
  Instantiations of the `is_bind_expression` template shall meet the
14
+ `UnaryTypeTrait` requirements ([[meta.rqmts]]). The implementation
15
+ shall provide a definition that has a base characteristic of `true_type`
16
+ if `T` is a type returned from `bind`, otherwise it shall have a base
17
+ characteristic of `false_type`. A program may specialize this template
18
+ for a user-defined type `T` to have a base characteristic of `true_type`
19
+ to indicate that `T` should be treated as a subexpression in a `bind`
20
+ call.
21