From Jason Turner

[allocator.traits.types]

C++17 → C++20 4.1 KB 37 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpjthukubr/{from.md → to.md} +16 -18
tmp/tmpjthukubr/{from.md → to.md} RENAMED
@@ -1,93 +1,91 @@
1
- #### Allocator traits member types <a id="allocator.traits.types">[[allocator.traits.types]]</a>
2
 
3
  ``` cpp
4
  using pointer = see below;
5
  ```
6
 
7
  *Type:* `Alloc::pointer` if the *qualified-id* `Alloc::pointer` is valid
8
- and denotes a type ([[temp.deduct]]); otherwise, `value_type*`.
9
 
10
  ``` cpp
11
  using const_pointer = see below;
12
  ```
13
 
14
  *Type:* `Alloc::const_pointer` if the *qualified-id*
15
- `Alloc::const_pointer` is valid and denotes a type ([[temp.deduct]]);
16
  otherwise, `pointer_traits<pointer>::rebind<const value_type>`.
17
 
18
  ``` cpp
19
  using void_pointer = see below;
20
  ```
21
 
22
  *Type:* `Alloc::void_pointer` if the *qualified-id*
23
- `Alloc::void_pointer` is valid and denotes a type ([[temp.deduct]]);
24
  otherwise, `pointer_traits<pointer>::rebind<void>`.
25
 
26
  ``` cpp
27
  using const_void_pointer = see below;
28
  ```
29
 
30
  *Type:* `Alloc::const_void_pointer` if the *qualified-id*
31
- `Alloc::const_void_pointer` is valid and denotes a
32
- type ([[temp.deduct]]); otherwise,
33
- `pointer_traits<pointer>::rebind<const void>`.
34
 
35
  ``` cpp
36
  using difference_type = see below;
37
  ```
38
 
39
  *Type:* `Alloc::difference_type` if the *qualified-id*
40
- `Alloc::difference_type` is valid and denotes a type ([[temp.deduct]]);
41
  otherwise, `pointer_traits<pointer>::difference_type`.
42
 
43
  ``` cpp
44
  using size_type = see below;
45
  ```
46
 
47
  *Type:* `Alloc::size_type` if the *qualified-id* `Alloc::size_type` is
48
- valid and denotes a type ([[temp.deduct]]); otherwise,
49
  `make_unsigned_t<difference_type>`.
50
 
51
  ``` cpp
52
  using propagate_on_container_copy_assignment = see below;
53
  ```
54
 
55
  *Type:* `Alloc::propagate_on_container_copy_assignment` if the
56
  *qualified-id* `Alloc::propagate_on_container_copy_assignment` is valid
57
- and denotes a type ([[temp.deduct]]); otherwise `false_type`.
58
 
59
  ``` cpp
60
  using propagate_on_container_move_assignment = see below;
61
  ```
62
 
63
  *Type:* `Alloc::propagate_on_container_move_assignment` if the
64
  *qualified-id* `Alloc::propagate_on_container_move_assignment` is valid
65
- and denotes a type ([[temp.deduct]]); otherwise `false_type`.
66
 
67
  ``` cpp
68
  using propagate_on_container_swap = see below;
69
  ```
70
 
71
  *Type:* `Alloc::propagate_on_container_swap` if the *qualified-id*
72
  `Alloc::propagate_on_container_swap` is valid and denotes a
73
- type ([[temp.deduct]]); otherwise `false_type`.
74
 
75
  ``` cpp
76
  using is_always_equal = see below;
77
  ```
78
 
79
  *Type:* `Alloc::is_always_equal` if the *qualified-id*
80
- `Alloc::is_always_equal` is valid and denotes a type ([[temp.deduct]]);
81
  otherwise `is_empty<Alloc>::type`.
82
 
83
  ``` cpp
84
  template<class T> using rebind_alloc = see below;
85
  ```
86
 
87
  *Alias template:* `Alloc::rebind<T>::other` if the *qualified-id*
88
- `Alloc::rebind<T>::other` is valid and denotes a
89
- type ([[temp.deduct]]); otherwise, `Alloc<T, Args>` if `Alloc` is a
90
- class template instantiation of the form `Alloc<U, Args>`, where `Args`
91
- is zero or more type arguments; otherwise, the instantiation of
92
- `rebind_alloc` is ill-formed.
93
 
 
1
+ #### Member types <a id="allocator.traits.types">[[allocator.traits.types]]</a>
2
 
3
  ``` cpp
4
  using pointer = see below;
5
  ```
6
 
7
  *Type:* `Alloc::pointer` if the *qualified-id* `Alloc::pointer` is valid
8
+ and denotes a type [[temp.deduct]]; otherwise, `value_type*`.
9
 
10
  ``` cpp
11
  using const_pointer = see below;
12
  ```
13
 
14
  *Type:* `Alloc::const_pointer` if the *qualified-id*
15
+ `Alloc::const_pointer` is valid and denotes a type [[temp.deduct]];
16
  otherwise, `pointer_traits<pointer>::rebind<const value_type>`.
17
 
18
  ``` cpp
19
  using void_pointer = see below;
20
  ```
21
 
22
  *Type:* `Alloc::void_pointer` if the *qualified-id*
23
+ `Alloc::void_pointer` is valid and denotes a type [[temp.deduct]];
24
  otherwise, `pointer_traits<pointer>::rebind<void>`.
25
 
26
  ``` cpp
27
  using const_void_pointer = see below;
28
  ```
29
 
30
  *Type:* `Alloc::const_void_pointer` if the *qualified-id*
31
+ `Alloc::const_void_pointer` is valid and denotes a type [[temp.deduct]];
32
+ otherwise, `pointer_traits<pointer>::rebind<const void>`.
 
33
 
34
  ``` cpp
35
  using difference_type = see below;
36
  ```
37
 
38
  *Type:* `Alloc::difference_type` if the *qualified-id*
39
+ `Alloc::difference_type` is valid and denotes a type [[temp.deduct]];
40
  otherwise, `pointer_traits<pointer>::difference_type`.
41
 
42
  ``` cpp
43
  using size_type = see below;
44
  ```
45
 
46
  *Type:* `Alloc::size_type` if the *qualified-id* `Alloc::size_type` is
47
+ valid and denotes a type [[temp.deduct]]; otherwise,
48
  `make_unsigned_t<difference_type>`.
49
 
50
  ``` cpp
51
  using propagate_on_container_copy_assignment = see below;
52
  ```
53
 
54
  *Type:* `Alloc::propagate_on_container_copy_assignment` if the
55
  *qualified-id* `Alloc::propagate_on_container_copy_assignment` is valid
56
+ and denotes a type [[temp.deduct]]; otherwise `false_type`.
57
 
58
  ``` cpp
59
  using propagate_on_container_move_assignment = see below;
60
  ```
61
 
62
  *Type:* `Alloc::propagate_on_container_move_assignment` if the
63
  *qualified-id* `Alloc::propagate_on_container_move_assignment` is valid
64
+ and denotes a type [[temp.deduct]]; otherwise `false_type`.
65
 
66
  ``` cpp
67
  using propagate_on_container_swap = see below;
68
  ```
69
 
70
  *Type:* `Alloc::propagate_on_container_swap` if the *qualified-id*
71
  `Alloc::propagate_on_container_swap` is valid and denotes a
72
+ type [[temp.deduct]]; otherwise `false_type`.
73
 
74
  ``` cpp
75
  using is_always_equal = see below;
76
  ```
77
 
78
  *Type:* `Alloc::is_always_equal` if the *qualified-id*
79
+ `Alloc::is_always_equal` is valid and denotes a type [[temp.deduct]];
80
  otherwise `is_empty<Alloc>::type`.
81
 
82
  ``` cpp
83
  template<class T> using rebind_alloc = see below;
84
  ```
85
 
86
  *Alias template:* `Alloc::rebind<T>::other` if the *qualified-id*
87
+ `Alloc::rebind<T>::other` is valid and denotes a type [[temp.deduct]];
88
+ otherwise, `Alloc<T, Args>` if `Alloc` is a class template instantiation
89
+ of the form `Alloc<U, Args>`, where `Args` is zero or more type
90
+ arguments; otherwise, the instantiation of `rebind_alloc` is ill-formed.
 
91