From Jason Turner

[pointer.traits.types]

C++17 → C++20 1.8 KB 20 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/tmp_m3u7o02/{from.md → to.md} +8 -9
tmp/tmp_m3u7o02/{from.md → to.md} RENAMED
@@ -1,31 +1,30 @@
1
- #### Pointer traits member types <a id="pointer.traits.types">[[pointer.traits.types]]</a>
2
 
3
  ``` cpp
4
  using element_type = see below;
5
  ```
6
 
7
  *Type:* `Ptr::element_type` if the *qualified-id* `Ptr::element_type` is
8
- valid and denotes a type ([[temp.deduct]]); otherwise, `T` if `Ptr` is
9
- a class template instantiation of the form `SomePointer<T, Args>`, where
10
  `Args` is zero or more type arguments; otherwise, the specialization is
11
  ill-formed.
12
 
13
  ``` cpp
14
  using difference_type = see below;
15
  ```
16
 
17
  *Type:* `Ptr::difference_type` if the *qualified-id*
18
- `Ptr::difference_type` is valid and denotes a type ([[temp.deduct]]);
19
  otherwise, `ptrdiff_t`.
20
 
21
  ``` cpp
22
  template<class U> using rebind = see below;
23
  ```
24
 
25
  *Alias template:* `Ptr::rebind<U>` if the *qualified-id*
26
- `Ptr::rebind<U>` is valid and denotes a type ([[temp.deduct]]);
27
- otherwise, `SomePointer<U, Args>` if `Ptr` is a class template
28
- instantiation of the form `SomePointer<T, Args>`, where `Args` is zero
29
- or more type arguments; otherwise, the instantiation of `rebind` is
30
- ill-formed.
31
 
 
1
+ #### Member types <a id="pointer.traits.types">[[pointer.traits.types]]</a>
2
 
3
  ``` cpp
4
  using element_type = see below;
5
  ```
6
 
7
  *Type:* `Ptr::element_type` if the *qualified-id* `Ptr::element_type` is
8
+ valid and denotes a type [[temp.deduct]]; otherwise, `T` if `Ptr` is a
9
+ class template instantiation of the form `SomePointer<T, Args>`, where
10
  `Args` is zero or more type arguments; otherwise, the specialization is
11
  ill-formed.
12
 
13
  ``` cpp
14
  using difference_type = see below;
15
  ```
16
 
17
  *Type:* `Ptr::difference_type` if the *qualified-id*
18
+ `Ptr::difference_type` is valid and denotes a type [[temp.deduct]];
19
  otherwise, `ptrdiff_t`.
20
 
21
  ``` cpp
22
  template<class U> using rebind = see below;
23
  ```
24
 
25
  *Alias template:* `Ptr::rebind<U>` if the *qualified-id*
26
+ `Ptr::rebind<U>` is valid and denotes a type [[temp.deduct]]; otherwise,
27
+ `SomePointer<U, Args>` if `Ptr` is a class template instantiation of the
28
+ form `SomePointer<T, Args>`, where `Args` is zero or more type
29
+ arguments; otherwise, the instantiation of `rebind` is ill-formed.
 
30