From Jason Turner

[allocator.uses.trait]

C++14 → C++17 1.3 KB 16 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/tmpmzwpli3w/{from.md → to.md} +7 -6
tmp/tmpmzwpli3w/{from.md → to.md} RENAMED
@@ -2,16 +2,17 @@
2
 
3
  ``` cpp
4
  template <class T, class Alloc> struct uses_allocator;
5
  ```
6
 
7
- automatically detects whether `T` has a nested `allocator_type` that is
8
- convertible from `Alloc`. Meets the BinaryTypeTrait
9
- requirements ([[meta.rqmts]]). The implementation shall provide a
10
- definition that is derived from `true_type` if a type
11
- `T::allocator_type` exists and
12
- `is_convertible<Alloc, T::allocator_type>::value != false`, otherwise it
 
13
  shall be derived from `false_type`. A program may specialize this
14
  template to derive from `true_type` for a user-defined type `T` that
15
  does not have a nested `allocator_type` but nonetheless can be
16
  constructed with an allocator where either:
17
 
 
2
 
3
  ``` cpp
4
  template <class T, class Alloc> struct uses_allocator;
5
  ```
6
 
7
+ *Remarks:* Automatically detects whether `T` has a nested
8
+ `allocator_type` that is convertible from `Alloc`. Meets the
9
+ `BinaryTypeTrait` requirements ([[meta.rqmts]]). The implementation
10
+ shall provide a definition that is derived from `true_type` if the
11
+ *qualified-id* `T::allocator_type` is valid and denotes a
12
+ type ([[temp.deduct]]) and
13
+ `is_convertible_v<Alloc, T::allocator_type> != false`, otherwise it
14
  shall be derived from `false_type`. A program may specialize this
15
  template to derive from `true_type` for a user-defined type `T` that
16
  does not have a nested `allocator_type` but nonetheless can be
17
  constructed with an allocator where either:
18