Punteros a elementos de std :: vector y std :: list

Question

Tengo un std::vector con elementos de alguna clase ClassA. Además, quiero crear un índice usando un std::map<key,ClassA*> que mapea algunos valores clave para los punteros a los elementos contenidos en el vector.

¿Hay alguna garantía de que estos punteros siguen siendo válidos (y apuntan al mismo objeto) cuando los elementos se añaden al final del vector (no insertada). Es decir, sería el siguiente código sea correcto:

std::vector<ClassA> storage; 
std::map<int, ClassA*> map; 

for (int i=0; i<10000; ++i) { 
    storage.push_back(ClassA()); 
    map.insert(std::make_pair(storage.back().getKey(), &(storage.back())); 
} 
// map contains only valid pointers to the 'correct' elements of storage 

¿Cómo es la situación, si uso std::list en lugar de std::vector?

Answer 1

Vectores - No. Debido a que la capacidad de los vectores nunca se reduce, se garantiza que las referencias, punteros e iteradores permanezcan válidos incluso cuando los elementos se eliminan o cambian, siempre que se refieran a una posición anterior a los elementos manipulados. Sin embargo, las inserciones pueden invalidar referencias, punteros e iteradores.

Listas - Sí, insertar y eliminar elementos no invalidan los punteros, las referencias y los iteradores a otros elementos

Answer 2

Por lo que tengo entendido, no hay tal garantía. Agregar elementos al vector causará la reasignación de elementos, lo que invalidará todos los punteros en el mapa.

Answer 3

Sólo asegúrese de que ambos punteros de almacén de una manera explícita eliminar los objetos cuando no los necesita.

std::vector<ClassA*> storage; 
std::map<int, ClassA*> map; 

for (int i=0; i<10000; ++i) { 
    ClassA* a = new ClassA() 
  storage.push_back(a) 
  map.insert(std::make_pair(a->getKey(), a)) 
} 
// map contains only valid pointers to the 'correct' elements of storage 

Answer 4

no estoy seguro de si está garantizado, pero en la práctica storage.reserve(needed_size) debe asegurarse de no se producen reasignaciones.

¿Pero por qué no almacena los índices?
Es fácil de convertir los índices a los iteradores mediante su inclusión en el iterador comenzar (storage.begin()+idx) y es fácil de convertir cualquier iterador en un puntero por primera eliminación de referencias y, a continuación, tomar su dirección (&*(storage.begin()+idx)).

Answer 5

Use std::deque! Los punteros a los elementos son estables cuando solo se usa push_back().

Nota: ¡Los iteradores de elementos pueden ser invalidados! Los punteros a los elementos no.

Editar: esta respuesta se explican los detalles de por qué: C++ deque's iterator invalidated after push_front()

Answer 6

Desde uno de los comentarios a otra respuesta, parece como si todo lo que desea es centralizar la gestión de memoria (facilidad). Si ese es realmente el caso, debería considerar el uso de soluciones preempaquetadas como la biblioteca boost pointer container y mantener su propio código lo más simple posible.

En particular, echar un vistazo a ptr_map

Answer 7

1. para los vectores no.

2. para las listas sí. cómo? iterador funciona como un puntero a un nodo particular en la lista. para que pueda asignar valores a cualquier estructura como:

   list mylist;

   par < lista :: iterator, int> temp;

   temp = make_pair (mylist.begin(), x);