All you're guaranteed is that:
- The vector has enough capacity to store its elements. (Obviously.)
- The vector won't get a new capacity until it's current capacity is full.*
So how much extra or little an implementation wants to put is up to the implementation. I think most will make capacity match size, when copying, but it cannot lower capacity. (Because of number 2 above; reallocating while there's enough room is not allowed.)
* Mostly. See Charles' comments below.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…