From Jason Turner

[unique.ptr.dltr.dflt1]

Diff to HTML by rtfpessoa

tmp/tmpm9glpz4i/{from.md → to.md} RENAMED
@@ -2,30 +2,30 @@
2
 
3
  ``` cpp
4
  namespace std {
5
  template<class T> struct default_delete<T[]> {
6
  constexpr default_delete() noexcept = default;
7
- template<class U> default_delete(const default_delete<U[]>&) noexcept;
8
- template<class U> void operator()(U* ptr) const;
9
  };
10
  }
11
  ```
12
 
13
  ``` cpp
14
- template<class U> default_delete(const default_delete<U[]>& other) noexcept;
15
  ```
16
 
17
  *Constraints:* `U(*)[]` is convertible to `T(*)[]`.
18
 
19
  *Effects:* Constructs a `default_delete` object from another
20
  `default_delete<U[]>` object.
21
 
22
  ``` cpp
23
- template<class U> void operator()(U* ptr) const;
24
  ```
25
 
 
 
26
  *Mandates:* `U` is a complete type.
27
 
28
- *Constraints:* `U(*)[]` is convertible to `T(*)[]`.
29
-
30
  *Effects:* Calls `delete[]` on `ptr`.
31
 
 
2
 
3
  ``` cpp
4
  namespace std {
5
  template<class T> struct default_delete<T[]> {
6
  constexpr default_delete() noexcept = default;
7
+ template<class U> constexpr default_delete(const default_delete<U[]>&) noexcept;
8
+ template<class U> constexpr void operator()(U* ptr) const;
9
  };
10
  }
11
  ```
12
 
13
  ``` cpp
14
+ template<class U> constexpr default_delete(const default_delete<U[]>& other) noexcept;
15
  ```
16
 
17
  *Constraints:* `U(*)[]` is convertible to `T(*)[]`.
18
 
19
  *Effects:* Constructs a `default_delete` object from another
20
  `default_delete<U[]>` object.
21
 
22
  ``` cpp
23
+ template<class U> constexpr void operator()(U* ptr) const;
24
  ```
25
 
26
+ *Constraints:* `U(*)[]` is convertible to `T(*)[]`.
27
+
28
  *Mandates:* `U` is a complete type.
29
 
 
 
30
  *Effects:* Calls `delete[]` on `ptr`.
31