tmp/tmpciwrisd2/{from.md → to.md}
RENAMED
|
@@ -12,19 +12,18 @@ namespace std {
|
|
| 12 |
|
| 13 |
``` cpp
|
| 14 |
template<class U> default_delete(const default_delete<U>& other) noexcept;
|
| 15 |
```
|
| 16 |
|
|
|
|
|
|
|
| 17 |
*Effects:* Constructs a `default_delete` object from another
|
| 18 |
`default_delete<U>` object.
|
| 19 |
|
| 20 |
-
*Remarks:* This constructor shall not participate in overload resolution
|
| 21 |
-
unless `U*` is implicitly convertible to `T*`.
|
| 22 |
-
|
| 23 |
``` cpp
|
| 24 |
void operator()(T* ptr) const;
|
| 25 |
```
|
| 26 |
|
|
|
|
|
|
|
| 27 |
*Effects:* Calls `delete` on `ptr`.
|
| 28 |
|
| 29 |
-
*Remarks:* If `T` is an incomplete type, the program is ill-formed.
|
| 30 |
-
|
|
|
|
| 12 |
|
| 13 |
``` cpp
|
| 14 |
template<class U> default_delete(const default_delete<U>& other) noexcept;
|
| 15 |
```
|
| 16 |
|
| 17 |
+
*Constraints:* `U*` is implicitly convertible to `T*`.
|
| 18 |
+
|
| 19 |
*Effects:* Constructs a `default_delete` object from another
|
| 20 |
`default_delete<U>` object.
|
| 21 |
|
|
|
|
|
|
|
|
|
|
| 22 |
``` cpp
|
| 23 |
void operator()(T* ptr) const;
|
| 24 |
```
|
| 25 |
|
| 26 |
+
*Mandates:* `T` is a complete type.
|
| 27 |
+
|
| 28 |
*Effects:* Calls `delete` on `ptr`.
|
| 29 |
|
|
|
|
|
|