Все, что вам гарантировано, это:
- Вектор обладает достаточной емкостью для хранения своих элементов. (Очевидно.)
- Вектор не получит новую емкость, пока его текущая емкость не заполнится. *
Итак, насколько много или мало хочет реализовать реализация, зависит от реализации. Я думаю, что большинство будет делать размер соответствия емкости при копировании, но это не может снизить емкость. (Из-за номера 2 выше; перераспределение, когда места достаточно, не разрешено.)
* В основном. См. Комментарии Чарльза ниже.