From Jason Turner

[allocator.traits]

Diff to HTML by rtfpessoa

tmp/tmp51dtuazq/{from.md → to.md} RENAMED
@@ -36,11 +36,11 @@ namespace std {
36
  static void construct(Alloc& a, T* p, Args&&... args);
37
 
38
  template <class T>
39
  static void destroy(Alloc& a, T* p);
40
 
41
- static size_type max_size(const Alloc& a);
42
 
43
  static Alloc select_on_container_copy_construction(const Alloc& rhs);
44
  };
45
  }
46
  ```
@@ -85,11 +85,11 @@ typedef see below difference_type;
85
  ``` cpp
86
  typedef see below size_type;
87
  ```
88
 
89
  *Type:* `Alloc::size_type` if such a type exists; otherwise,
90
- `make_unsigned<difference_type>::type`.
91
 
92
  ``` cpp
93
  typedef see below propagate_on_container_copy_assignment;
94
  ```
95
 
@@ -158,11 +158,11 @@ template <class T>
158
 
159
  *Effects:* calls `a.destroy(p)` if that call is well-formed; otherwise,
160
  invokes `p->~T()`.
161
 
162
  ``` cpp
163
- static size_type max_size(Alloc& a);
164
  ```
165
 
166
  *Returns:* `a.max_size()` if that expression is well-formed; otherwise,
167
  `numeric_limits<size_type>::max()`.
168
 
 
36
  static void construct(Alloc& a, T* p, Args&&... args);
37
 
38
  template <class T>
39
  static void destroy(Alloc& a, T* p);
40
 
41
+ static size_type max_size(const Alloc& a) noexcept;
42
 
43
  static Alloc select_on_container_copy_construction(const Alloc& rhs);
44
  };
45
  }
46
  ```
 
85
  ``` cpp
86
  typedef see below size_type;
87
  ```
88
 
89
  *Type:* `Alloc::size_type` if such a type exists; otherwise,
90
+ `make_unsigned_t<difference_type>`.
91
 
92
  ``` cpp
93
  typedef see below propagate_on_container_copy_assignment;
94
  ```
95
 
 
158
 
159
  *Effects:* calls `a.destroy(p)` if that call is well-formed; otherwise,
160
  invokes `p->~T()`.
161
 
162
  ``` cpp
163
+ static size_type max_size(const Alloc& a) noexcept;
164
  ```
165
 
166
  *Returns:* `a.max_size()` if that expression is well-formed; otherwise,
167
  `numeric_limits<size_type>::max()`.
168