Чтобы вектор не удерживал ненужную память, необходимы средства, которые бы позволяли сократить емкость от максимальной до используемой в настоящий момент. Подобное сокращение емкости обычно называется «сжатием по размеру». Сжатие по размеру легко программируется, однако код — как бы выразиться поделикатнее? — выглядит недостаточно интуитивно. Давайте разберемся, как он работает.

Усечение лишней емкости в векторе contestants производится следующим образом:

Выражение

создает временный вектор, содержащий копию ; основная работа выполняется копирующим конструктором . Тем не менее, копирующий конструктор выделяет ровно столько памяти, сколько необходимо для хранения копируемых элементов, поэтому временный вектор не содержит лишней емкости. Затем содержимое вектора меняется местами с временным вектором функцией . После завершения этой операции в оказывается содержимое временного вектора с усеченной емкостью, а временный вектор содержит «раздутые» данные, ранее находившиеся в . В этот момент (то есть в конце команды) временный вектор уничтожается, освобождая память, ранее занимаемую вектором .

Аналогичный прием применяется и по отношению к строкам:

Я не могу предоставить стопроцентной гарантии того, что этом прием действительно удалит из контейнера лишнюю емкость. Авторы реализаций при желании могут намеренно выделить в контейнерах

и лишнюю память, и иногда они так и поступают. Например, контейнер может обладать минимальной емкостью или же значения емкости могут ограничиваться степенями 2 (по собственному опыту могу сказать, что подобные аномалии чаще встречаются в реализациях , нежели в реализациях . За примерами обращайтесь к совету 15). Таким образом, «сжатие по размеру» следует понимать не как «приведение к минимальной емкости», а как «приведение к минимальной емкости, допускаемой реализацией для текущего размера контейнера». Впрочем, это лучшее, что вы можете сделать (не считая перехода на другую реализацию STL), поэтому «сжатие по размеру» для контейнеров и фактически эквивалентно «фокусу с перестановкой».

Кстати говоря, одна из разновидностей «фокуса с перестановкой» может использоваться для очистки контейнера с одновременным сокращением емкости до минимальной величины, поддерживаемой вашей реализацией. Для этого в перестановке используется временный объект

или , содержимое которого создается конструктором по умолчанию:

Остается сделать последнее замечание, относящееся к функции

в целом. Перестановка содержимого двух контейнеров также приводит к перестановке их итераторов, указателей и ссылок. Итераторы, указатели и ссылки, относившиеся к элементам одного контейнера, после вызова остаются действительными и указывают на те же элементы — но в другом контейнере.

Vector<bool> как контейнер STL обладает лишь двумя недостатками. Во-первых, это вообще не контейнер STL. Во-вторых, он не содержит

.

Объект не становится контейнером STL только потому, что кто-то назвал его таковым — он становится контейнером STL лишь при соблюдении всех требований, изложенных в разделе 23.1 Стандарта C++. В частности, в этих требованиях говорится, что если 

— контейнер объектов типа , поддерживающий оператор , то следующая конструкция должна нормально компилироваться:

Иначе говоря, если оператор

используется для получения одного из объектов в , то указатель на этот объект можно получить простым взятием его адреса (предполагается, что оператор типа не был перегружен извращенным способом). Следовательно, чтобы был контейнером, следующий фрагмент должен компилироваться:

Однако приведенный фрагмент компилироваться не будет. Дело в том, что

— псевдоконтейнер, содержащий не настоящие логические величины , а их представления, упакованные для экономии места. В типичной реализации каждая псевдовеличина «», хранящаяся в псевдовекторе, занимает один бит, а восьмибитовый байт представляет восемь «». Во внутреннем представлении булевы значения, которые должны храниться в контейнере, представляются аналогами битовых полей.