¿Cómo encoger y ajustar un std :: vector de una manera eficiente con la memoria?

Question

Me gustaría 'encoger para ajustar' un std::vector, para reducir su capacidad a su tamaño exacto, de modo que se libere memoria adicional. El truco estándar parece ser el que se describe here:

template< typename T, class Allocator > 
void shrink_capacity(std::vector<T,Allocator>& v) 
{ 
    std::vector<T,Allocator>(v.begin(),v.end()).swap(v); 
} 

El punto entero de contracción para el montaje es para ahorrar memoria, pero no este método primero crear una copia profunda y luego intercambia los casos? Entonces, en algún momento, cuando se construye la copia, ¿el uso de la memoria se duplica?

Si ese es el caso, ¿hay un método más fácil de ajustar la memoria para reducir el tamaño? (En mi caso, el vector es muy grande y no puedo permitirme tener tanto el original como una copia en memoria en cualquier momento.)

Answer 1

Bueno, si quisieras cambiar el tamaño de una matriz, ¿qué harías? Tienes que crear uno nuevo y copiar todos los valores, ya sea individualmente o con memcpy o lo que sea. Realmente no se puede cambiar el tamaño de una matriz en C o C++.

std::vector está prácticamente garantizado que se implementará utilizando una matriz para su almacenamiento (IIRC, el estándar no garantiza que sea una matriz, pero una matriz es la única que puede cumplir los diversos requisitos de la API, como por ejemplo cada operación debe ser eficiente, por lo que, en efecto, está garantizada incluso si esa garantía no es explícita). Como se implementó utilizando una matriz, y no puede redimensionar las matrices sin copiar, no puede cambiar el tamaño de los vectores sin copiar.

Se podría, en teoría, tener una función shrink_capacity() que ocultaba el hecho de que tenía más o menos el doble de sus requisitos de tamaño, pero desde std::vector no tiene actualmente temporalmente una función de este tipo, lo que tiene que hacer realmente una copia explícita . El truco de intercambio es solo una buena forma de hacerlo.

Si realmente le importa la memoria en ese caso, lo que puede hacer es usar punteros (o punteros inteligentes) en lugar de hacer que el vector mantenga los objetos directamente. Eso puede no ser del todo deseable, pero reduciría sus requisitos de memoria.

Answer 2

Si su nuevo tamaño es la mitad del original, puede escaparse colocando su nuevo vector (o una matriz Dynaimc recta si el vector no puede hacer esto) en la parte final no utilizada de la anterior . No estoy seguro de si el vector almacena información en esa área de la memoria, por lo que sería muy raro y aterrador. Pero es una idea.

Ahora que lo pienso, una operación de tipo memMove() donde copie la información en reversa desde el último índice usado en el original hasta la parte posterior del área no utilizada en el original preservaría los datos. Si ha hecho esto una ubicación nueva de una matriz, podría apuntarla a donde hubiera existido la nueva información en el medio en el área de memoria original. Un movimiento in situ per se.