From Jason Turner

[pointer.traits.types]

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