tmp/tmpj2ajwqvc/{from.md → to.md}
RENAMED
|
@@ -1,16 +1,19 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
static pointer pointer_traits::pointer_to(see below r);
|
| 5 |
-
static pointer pointer_traits<T*>::pointer_to(see below r) noexcept;
|
| 6 |
```
|
| 7 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 8 |
*Remarks:* If `element_type` is cv `void`, the type of `r` is
|
| 9 |
unspecified; otherwise, it is `element_type&`.
|
| 10 |
|
| 11 |
-
*Returns:* The first member function returns a pointer to `r` obtained
|
| 12 |
-
by calling `Ptr::pointer_to(r)` through which indirection is valid; an
|
| 13 |
-
instantiation of this function is ill-formed if `Ptr` does not have a
|
| 14 |
-
matching `pointer_to` static member function. The second member function
|
| 15 |
-
returns `addressof(r)`.
|
| 16 |
-
|
|
|
|
| 1 |
+
#### Member functions <a id="pointer.traits.functions">[[pointer.traits.functions]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
static pointer pointer_traits::pointer_to(see below r);
|
| 5 |
+
static constexpr pointer pointer_traits<T*>::pointer_to(see below r) noexcept;
|
| 6 |
```
|
| 7 |
|
| 8 |
+
*Mandates:* For the first member function, `Ptr::pointer_to(r)` is
|
| 9 |
+
well-formed.
|
| 10 |
+
|
| 11 |
+
*Preconditions:* For the first member function, `Ptr::pointer_to(r)`
|
| 12 |
+
returns a pointer to `r` through which indirection is valid.
|
| 13 |
+
|
| 14 |
+
*Returns:* The first member function returns `Ptr::pointer_to(r)`. The
|
| 15 |
+
second member function returns `addressof(r)`.
|
| 16 |
+
|
| 17 |
*Remarks:* If `element_type` is cv `void`, the type of `r` is
|
| 18 |
unspecified; otherwise, it is `element_type&`.
|
| 19 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|