The standard, however, specifies that capacity may shrink only because of a call of reserve() or
shrink_to_fit(). Thus, it is guaranteed that references, pointers, and iterators remain valid even
when characters are deleted or modified, provided that they refer to characters having a position that
is before the manipulated characters.