¿Por qué no hay un método pop_front en C++ std :: vector?

Question

¿Por qué no hay un método pop_front en C++ std::vector?

Answer 1

Porque un std::vector no tiene ninguna característica particular con respecto a la inserción de elementos en la parte delantera, a diferencia de algunos otros contenedores. La funcionalidad provista por cada contenedor tiene sentido para ese contenedor.

Probablemente debería utilizar un std::deque, que es explícitamente buena a insertar en la parte delantera y espalda.

Verificar this diagram salir.

Answer 2

Porque push_back y pop_back son operaciones especiales para un vector que solo requiere el cómputo O(1). Cualquier otro push o pop toma O(n).

Esto no es un "error" o un "capricho", esto es solo una propiedad del contenedor de vectores. Si necesita una pop_front rápida, considere cambiar a otro contenedor.

Answer 3

Probablemente porque sería monumentalmente lento para vectores grandes.

pop_front() en un vector que contiene 1000 objetos requeriría 999 operator=() llamadas.

Answer 4

Sin embargo, si necesita un pop_front y no se preocupan por el índice de los elementos en el vector, se puede hacer tipo de un pop_front con algo como

template<typename T> 
void pop_front(std::vector<T>& vec) 
{ 
    vec.front() = vec.back(); 
    vec.pop_back(); 
} 

Dan Higgins habla de esto también: https://youtu.be/oBbGC-sUYVA?t=2m52s

Answer 5

vector se implementa normalmente algo como esto:

struct 
{ 
    T* begin; // points to the first T in the vector 
    T* end; // points just after the last T in the vector 
    int capacity; // how many Ts of memory were allocated 
}; 

"begin" sirve como "puntero a la primera T en el vector" y "apunta a toda la memoria que asignamos". por lo tanto, es imposible "sacar" elementos de la parte frontal del vector simplemente incrementando "comenzar": haga esto y ya no tendrá un puntero a la memoria que necesita desasignar. eso derramaría memoria. por lo que un "frente pop" necesitaría copiar todos los Ts desde la parte posterior del vector al frente del vector, y eso es comparativamente lento. entonces decidieron dejarlo fuera del estándar.

lo que quiere decir algo como esto:

struct 
{ 
    T* allocated; // points to all the memory we allocated 
    T* begin; // points to the first T in the vector 
    T* end; // points just after the last T in the vector 
    int capacity; // how many Ts of memory were allocated 
}; 

con esto, se puede "pop_front" moviendo "comenzar" adelante y hacia atrás sin peligro de olvidar la memoria que quiere desasignar más tarde. ¿Por qué std :: vector no funciona de esta manera? Supongo que fue una cuestión de gusto entre los que escribieron el estándar. su objetivo era probablemente proporcionar el "arreglo dinámicamente redimensionable" más simple posible, y creo que tuvieron éxito.

Answer 6

Simple. Solo intente:

vec.erase(vec.begin());