From Jason Turner

[default.allocator]

Diff to HTML by rtfpessoa

tmp/tmpj5597hl5/{from.md → to.md} RENAMED
@@ -22,10 +22,11 @@ namespace std {
22
  typedef const T* const_pointer;
23
  typedef T& reference;
24
  typedef const T& const_reference;
25
  typedef T value_type;
26
  template <class U> struct rebind { typedef allocator<U> other; };
 
27
 
28
  allocator() noexcept;
29
  allocator(const allocator&) noexcept;
30
  template <class U> allocator(const allocator<U>&) noexcept;
31
  ~allocator();
@@ -97,11 +98,12 @@ void deallocate(pointer p, size_type n);
97
  shall equal the value passed as the first argument to the invocation of
98
  allocate which returned `p`.
99
 
100
  *Effects:* Deallocates the storage referenced by `p` .
101
 
102
- *Remarks:* Uses `::operator delete(void*)` ([[new.delete]]), but it is
 
103
  unspecified when this function is called.
104
 
105
  ``` cpp
106
  size_type max_size() const noexcept;
107
  ```
 
22
  typedef const T* const_pointer;
23
  typedef T& reference;
24
  typedef const T& const_reference;
25
  typedef T value_type;
26
  template <class U> struct rebind { typedef allocator<U> other; };
27
+ typedef true_type propagate_on_container_move_assignment;
28
 
29
  allocator() noexcept;
30
  allocator(const allocator&) noexcept;
31
  template <class U> allocator(const allocator<U>&) noexcept;
32
  ~allocator();
 
98
  shall equal the value passed as the first argument to the invocation of
99
  allocate which returned `p`.
100
 
101
  *Effects:* Deallocates the storage referenced by `p` .
102
 
103
+ *Remarks:* Uses
104
+ `::operator delete(void*, std::size_t)` ([[new.delete]]), but it is
105
  unspecified when this function is called.
106
 
107
  ``` cpp
108
  size_type max_size() const noexcept;
109
  ```