|
815 | 815 | disambiguate constructor and function overloading. Specifically, several types (see
|
816 | 816 | \tcode{tuple}~\ref{tuple}) have constructors with \tcode{allocator_arg_t} as the first
|
817 | 817 | argument, immediately followed by an argument of a type that meets the
|
818 |
| -\oldconcept{Allocator} requirements (\tref{cpp17.allocator}). |
| 818 | +\oldconcept{Allocator} requirements\iref{allocator.requirements.general}. |
819 | 819 |
|
820 | 820 | \rSec2[allocator.uses]{\tcode{uses_allocator}}
|
821 | 821 |
|
|
1913 | 1913 |
|
1914 | 1914 | \pnum
|
1915 | 1915 | \begin{example}
|
1916 |
| -Given an allocator type \tcode{X} (\tref{cpp17.allocator}) and |
| 1916 | +Given an allocator type \tcode{X}\iref{allocator.requirements.general} and |
1917 | 1917 | letting \tcode{A} be a synonym for \tcode{allocator_traits<X>}, the types \tcode{A::pointer},
|
1918 | 1918 | \tcode{A::const_pointer}, \tcode{A::void_pointer}, and \tcode{A::const_void_pointer}
|
1919 | 1919 | may be used as \tcode{unique_ptr<T, D>::pointer}.
|
|
3188 | 3188 | initialized with \tcode{std::move(d)} do not throw exceptions.
|
3189 | 3189 | The expression \tcode{d(p)}
|
3190 | 3190 | has well-defined behavior and does not throw exceptions.
|
3191 |
| -\tcode{A} meets the \oldconcept{Allocator} requirements (\tref{cpp17.allocator}). |
| 3191 | +\tcode{A} meets |
| 3192 | +the \oldconcept{Allocator} requirements\iref{allocator.requirements.general}. |
3192 | 3193 |
|
3193 | 3194 | \pnum
|
3194 | 3195 | \effects
|
|
3673 | 3674 | \begin{itemdescr}
|
3674 | 3675 | \pnum
|
3675 | 3676 | \expects
|
3676 |
| -\tcode{A} meets the \oldconcept{Allocator} requirements (\tref{cpp17.allocator}). |
| 3677 | +\tcode{A} meets |
| 3678 | +the \oldconcept{Allocator} requirements\iref{allocator.requirements.general}. |
3677 | 3679 |
|
3678 | 3680 | \pnum
|
3679 | 3681 | \effects
|
|
5389 | 5391 | \rSec3[mem.poly.allocator.class.general]{General}
|
5390 | 5392 |
|
5391 | 5393 | \pnum
|
5392 |
| -A specialization of class template \tcode{pmr::polymorphic_allocator} |
5393 |
| -meets the \oldconcept{Allocator} requirements (\tref{cpp17.allocator}). |
| 5394 | +A specialization of class template \tcode{pmr::polymorphic_allocator} meets |
| 5395 | +the \oldconcept{Allocator} requirements\iref{allocator.requirements.general}. |
5394 | 5396 | Constructed with different memory resources,
|
5395 | 5397 | different instances of the same specialization of \tcode{pmr::polymorphic_allocator}
|
5396 | 5398 | can exhibit entirely different allocation behavior.
|
|
0 commit comments