From Jason Turner

[allocator.traits.types]

C++14 → C++17 4.5 KB 80 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/tmpygtvimcz/{from.md → to.md} +48 -29
tmp/tmpygtvimcz/{from.md → to.md} RENAMED
@@ -1,74 +1,93 @@
1
  #### Allocator traits member types <a id="allocator.traits.types">[[allocator.traits.types]]</a>
2
 
3
  ``` cpp
4
- typedef see below pointer;
5
  ```
6
 
7
- *Type:* `Alloc::pointer` if such a type exists; otherwise,
8
- `value_type*`.
9
 
10
  ``` cpp
11
- typedef see below const_pointer;
12
  ```
13
 
14
- *Type:* `Alloc::const_pointer` if such a type exists; otherwise,
15
- `pointer_traits<pointer>::rebind<const value_type>`.
 
16
 
17
  ``` cpp
18
- typedef see below void_pointer;
19
  ```
20
 
21
- *Type:* `Alloc::void_pointer` if such a type exists; otherwise,
22
- `pointer_traits<pointer>::rebind<void>`.
 
23
 
24
  ``` cpp
25
- typedef see below const_void_pointer;
26
  ```
27
 
28
- *Type:* `Alloc::const_void_pointer` if such a type exists; otherwise,
 
 
29
  `pointer_traits<pointer>::rebind<const void>`.
30
 
31
  ``` cpp
32
- typedef see below difference_type;
33
  ```
34
 
35
- *Type:* `Alloc::difference_type` if such a type exists; otherwise,
36
- `pointer_traits<pointer>::difference_type`.
 
37
 
38
  ``` cpp
39
- typedef see below size_type;
40
  ```
41
 
42
- *Type:* `Alloc::size_type` if such a type exists; otherwise,
 
43
  `make_unsigned_t<difference_type>`.
44
 
45
  ``` cpp
46
- typedef see below propagate_on_container_copy_assignment;
47
  ```
48
 
49
- *Type:* `Alloc::propagate_on_container_copy_assignment` if such a type
50
- exists, otherwise `false_type`.
 
51
 
52
  ``` cpp
53
- typedef see below propagate_on_container_move_assignment;
54
  ```
55
 
56
- *Type:* `Alloc::propagate_on_container_move_assignment` if such a type
57
- exists, otherwise `false_type`.
 
58
 
59
  ``` cpp
60
- typedef see below propagate_on_container_swap;
61
  ```
62
 
63
- *Type:* `Alloc::propagate_on_container_swap` if such a type exists,
64
- otherwise `false_type`.
 
 
 
 
 
 
 
 
 
65
 
66
  ``` cpp
67
  template <class T> using rebind_alloc = see below;
68
  ```
69
 
70
- *Alias template:* `Alloc::rebind<T>::other` if such a type exists;
71
- otherwise, `Alloc<T, Args>` if `Alloc` is a class template instantiation
72
- of the form `Alloc<U, Args>`, where `Args` is zero or more type
73
- arguments; otherwise, the instantiation of `rebind_alloc` is ill-formed.
 
 
74
 
 
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