From Jason Turner

[allocator.traits.general]

Diff to HTML by rtfpessoa

tmp/tmpill86ofx/{from.md → to.md} RENAMED
@@ -13,11 +13,11 @@ If a program declares an explicit or partial specialization of
13
  ``` cpp
14
  namespace std {
15
  template<class Alloc> struct allocator_traits {
16
  using allocator_type = Alloc;
17
 
18
- using value_type = typename Alloc::value_type;
19
 
20
  using pointer = see below;
21
  using const_pointer = see below;
22
  using void_pointer = see below;
23
  using const_void_pointer = see below;
@@ -31,14 +31,13 @@ namespace std {
31
  using is_always_equal = see below;
32
 
33
  template<class T> using rebind_alloc = see below;
34
  template<class T> using rebind_traits = allocator_traits<rebind_alloc<T>>;
35
 
36
- [[nodiscard]] static constexpr pointer allocate(Alloc& a, size_type n);
37
- [[nodiscard]] static constexpr pointer allocate(Alloc& a, size_type n,
38
- const_void_pointer hint);
39
- [[nodiscard]] static constexpr allocation_result<pointer, size_type>
40
  allocate_at_least(Alloc& a, size_type n);
41
 
42
  static constexpr void deallocate(Alloc& a, pointer p, size_type n);
43
 
44
  template<class T, class... Args>
 
13
  ``` cpp
14
  namespace std {
15
  template<class Alloc> struct allocator_traits {
16
  using allocator_type = Alloc;
17
 
18
+ using value_type = Alloc::value_type;
19
 
20
  using pointer = see below;
21
  using const_pointer = see below;
22
  using void_pointer = see below;
23
  using const_void_pointer = see below;
 
31
  using is_always_equal = see below;
32
 
33
  template<class T> using rebind_alloc = see below;
34
  template<class T> using rebind_traits = allocator_traits<rebind_alloc<T>>;
35
 
36
+ static constexpr pointer allocate(Alloc& a, size_type n);
37
+ static constexpr pointer allocate(Alloc& a, size_type n, const_void_pointer hint);
38
+ static constexpr allocation_result<pointer, size_type>
 
39
  allocate_at_least(Alloc& a, size_type n);
40
 
41
  static constexpr void deallocate(Alloc& a, pointer p, size_type n);
42
 
43
  template<class T, class... Args>