P3923R0: Re NB US 140-233 (C++26 CD)

Fixes NB US 140-233 (C++26 CD).

Author: eisenwave

source/containers.tex

@@ -7930,8 +7930,11 @@
 that provides constant-time insertion and erasure operations.
 Storage is automatically managed in multiple memory blocks,
 referred to as \defnx{element blocks}{element block}.
-Insertion position is determined by the container, and insertion
+Insertion\iref{hive.modifiers} position is determined by the container, and insertion
 may re-use the memory locations of erased elements.
+\begin{note}
+Construction and assignment are not considered to involve insertion operations.
+\end{note}
 
 \pnum
 Element blocks which contain elements are referred to
@@ -8253,7 +8256,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Constructs a \tcode{hive} object with the elements of the range \tcode{rg},
+Constructs a \tcode{hive} object equal to the range \tcode{rg},
 using the specified allocator.
 If the second overload is called,
 also initializes \exposid{current-limits} with \tcode{block_limits}.
@@ -8276,7 +8279,7 @@
 
 \pnum
 \effects
-Constructs a \tcode{hive} object with the elements of \tcode{x}.
+Constructs a \tcode{hive} object equal to \tcode{x}.
 If the second overload is called, uses \tcode{alloc}.
 Initializes \exposid{current-limits} with \tcode{x.\exposid{current-limits}}.
 
@@ -8319,6 +8322,8 @@
 \pnum
 \ensures
 \tcode{x.empty()} is \tcode{true}.
+The relative order of the elements of \tcode{*this}
+is the same as that of the elements of \tcode{x} prior to the call.
 
 \pnum
 \complexity
@@ -8340,7 +8345,7 @@
 
 \pnum
 \effects
-Constructs a \tcode{hive} object with the elements of \tcode{il},
+Constructs a \tcode{hive} object equal to \tcode{il},
 using the specified allocator.
 If the second overload is called,
 also initializes \exposid{current-limits} with \tcode{block_limits}.
@@ -8364,7 +8369,8 @@
 \pnum
 \effects
 All elements in \tcode{*this} are either copy-assigned to, or destroyed.
-All elements in \tcode{x} are copied into \tcode{*this}.
+All elements in \tcode{x} are copied into \tcode{*this},
+maintaining their relative order.
 \begin{note}
 \exposid{current-limits} is unchanged.
 \end{note}
@@ -8423,6 +8429,8 @@
 \pnum
 \ensures
 \tcode{x.empty()} is \tcode{true}.
+The relative order of the elements of \tcode{*this}
+is the same as that of the elements of \tcode{x} prior to this call.
 
 \pnum
 \complexity