Date
2020-07-17.22:37:26
Message id
11380

Content

[ This is a minimum version. I also suggest that the wording explaining the allocation strategy of std::vector in [vector.capacity]/3 and /6 is moved into a separate sub paragraph of [vector.capacity] before any of the prototype's are discussed, but I cannot provide reasonable wording changes now. ]

  1. Change [vector.capacity]/6 as follows:

    It is guaranteed that no reallocation takes place during insertions or erasures that happen after a call to reserve() until the time when an insertion would make the size of the vector greater than the value of capacity().

  2. Change [vector.modifiers]/4 as follows:

    Effects: The capacity shall remain unchanged and no reallocation shall happen. Invalidates iterators and references at or after the point of the erase.