¿Es seguro asumir que el almacenamiento de vectores STL es siempre contiguo?

Question

Si tiene un vector STL que ha sido redimensionado, ¿es seguro tomar la dirección del elemento 0 y asumir que el resto del vector seguirá en la memoria?

p. Ej.

vector<char> vc(100); 
// do some stuff with vc 
vc.resize(200); 
char* p = &vc[0]; 
// do stuff with *p 

Answer 1

Sí, esto es una suposición válida (*).

de la norma C++ 03 (23.2.4.1):

Los elementos de un vector se almacenan contigua, lo que significa que si v es un vector donde T es algunos tipo distinto bool, entonces obedece la identidad & v [n] == & v [0] + n para todo 0 < = n < v.size().

(*) ... pero ten cuidado con la matriz reasignada (invalidando cualquier puntero e iterador) después de agregarle elementos.

Answer 2

sí.

todos los días debería ser contiguos

Answer 3

Yes it's contiguous

Answer 4

almacenamiento es siempre contigua, pero puede moverse a medida que cambia la capacidad del vector.

Si tenía un puntero, referencia o iterador en el elemento cero (o cualquier elemento) antes de una operación de cambio de capacidad, se invalida y debe reasignarse.

Answer 5

std::vector garantiza que los elementos se almacenan en una matriz contigua, y es por lo tanto la sustitución preferida de matrices y también se puede utilizar para interactuar con código de bajo nivel dependiente de la plataforma (como llamadas API Win32). Para obtener un puntero a la utilización matriz:

&myVector.front(); 

Answer 6

El estándar C++ 03 agregó una fraseología para aclarar que los elementos vectoriales deben ser contiguos.

C++ 03 23.2.4 Párrafo 1 contiene el siguiente lenguaje que es no en el C++ 98 documento estándar:

Los elementos de un vector se almacenan contigua, lo que significa que si v es una vector<T, Allocator> donde T es algún tipo que no sea bool, entonces obedece la identidad &v[n] == &v[0] + n para todos 0 <= n < v.size().

Herb Sutter habla de este cambio en una de sus entradas de blogs, Cringe not: Vectors are guaranteed to be contiguous:

... contigüidad es de hecho parte de la abstracción vectorial.Es tan importante, de hecho, que cuando se descubrió que el estándar C++ 98 no garantizaba contigüidad , el estándar C++ 03 se modificó a para agregar explícitamente la garantía.