Est-il sûr de supposer que le stockage du vecteur STL est toujours contigu ?

Question

Si vous avez un vecteur STL qui a été redimensionné, est-il sûr de prendre l'adresse de l'élément 0 et d'assumer que le reste du vecteur suivra en mémoire?

par exemple

vector vc(100);
// faites des choses avec vc
vc.resize(200);
char* p = &vc[0];
// faites des choses avec *p

Answer 1

Oui, c'est une hypothèse valide (*).

À partir de la norme C++03 (23.2.4.1) :

Les éléments d'un vecteur sont stockés contiguëment, ce qui signifie que si v est un vecteur où T est un type autre que bool, alors il respecte l'identité &v[n] == &v[0] + n pour tout 0 <= n < v.size().

(*) ... mais attention à la réallocation du tableau (invalidant ainsi tout pointeur et itérateur) après l'ajout d'éléments.

Answer 2

La norme C++03 a ajouté des termes pour clarifier que les éléments de vector doivent être contigus.

Le paragraphe 1 de C++03 23.2.4 contient le langage suivant qui ne se trouve pas dans le document de la norme C++98 :

Les éléments d'un vector sont stockés de manière contiguë, ce qui signifie que si v est un vector où T est un type autre que bool, alors il satisfait l'identité &v[n] == &v[0] + n pour tous les 0 <= n < v.size().

Herb Sutter parle de ce changement dans l'une de ses entrées de blog, Ne crains rien : Les vecteurs sont garantis d'être contigus：

... la contiguïté fait en fait partie de l'abstraction du vector. C'est tellement important, en fait, que lorsqu'il a été découvert que la norme C++98 ne garantissait pas complètement la contiguïté, la norme C++03 a été modifiée pour ajouter explicitement la garantie.

Answer 3

Le stockage est toujours contigu, mais il peut se déplacer lorsque la capacité du vecteur est modifiée.

Si vous aviez un pointeur, une référence ou un itérateur sur l'élément zéro (ou sur n'importe quel élément) avant une opération de modification de capacité, il est invalidé et doit être réassigné.

Answer 4

Oui, c'est contigu

Answer 5

std::vector garantit que les éléments sont stockés dans un tableau contigu, et est donc le remplacement préféré des tableaux et peut également être utilisé pour interfacer avec du code bas niveau dépendant de la plateforme (comme les appels API Win32). Pour obtenir un pointeur vers le tableau, utilisez :

&myVector.front();