c++ - vector::erase 会减少 vector::capacity 吗？

Question

Cppreference 只说:

Removes specified elements from the container. 1) Removes the element at pos. 2) Removes the elements in the range [first; last).

Invalidates iterators and references at or after the point of the erase, including the end() iterator.

The iterator pos must be valid and dereferenceable. Thus the end() iterator (which is valid, but is not dereferencable) cannot be used as a value for pos.

The iterator first does not need to be dereferenceable if first==last: erasing an empty range is a no-op.

Answer 1

不一定。在阅读 C++ 标准(并且 cppreference 非常好地代理标准)时，如果没有明确提及某些内容，则假设不需要这样的内容。

这样做对于 C++ 标准库实现来说可能不是最优的。