Comment les conteneurs STL copient-ils des objets?

Question

Je connais des conteneurs STL comme vector qui copie l'objet quand il est ajouté. méthode push_back ressemble à:

void push_back (const T& x); 

Je suis surpris de voir qu'il prend l'élément comme référence . J'ai écrit un exemple de programme pour voir comment cela fonctionne.

struct Foo 
{ 
    Foo() 
    { 
     std::cout << "Inside Foo constructor" << std::endl; 
    } 

    Foo(const Foo& f) 
    { 
     std::cout << "inside copy constructor" << std::endl; 
    } 
}; 

Foo f; 
std::vector<Foo> foos; 
foos.push_back(f); 

Cette copie l'objet et je peux le voir appelle copie constructeur.

Ma question est, quand le push_back prend l'article comme référence, comment il appelle copy-constructor? Ou est-ce que je manque quelque chose ici?

Des pensées ..?

Answer 1

Il utilise probablement "placement new" pour construire l'objet en place dans son réseau interne. Le placement new n'alloue aucune mémoire; il place juste l'objet où vous spécifiez, et appelle le constructeur. La syntaxe est new (address) Class(constructor_arguments).

Le constructeur de copie T::T(T const &) est appelé pour créer la copie sur place. Quelque chose comme ça (simplifié):

template<T> 
void vector<T>::push_back(T const &item) { 
    // resize if necessary 
    new (&d_array[d_size++]) T(item); 
} 

Notez que T doit avoir un constructeur de copie pour que cela fonctionne. Par défaut (si vous ne faites rien), il en obtient un gratuitement. Si vous le définissez explicitement, il doit être public pour que vector<T> fonctionne.

Here's how GNU's libstdc++ does it, mais je doute que ce sera très éclairant. Il y a un allocateur (le deuxième argument de modèle à vector) qui le rend moins simple.

Answer 2

Il utilise le nouvel opérateur placement et le copie-le construit en mémoire unitialisée;

Le placement new crée un nouvel élément à une adresse spécifiée en mémoire, dans le cas du vecteur, l'extrémité actuelle();

void push_back(const T& val){ 
::new (&*end()) T(val); 
[increase end] 
} 

regard sur http://spotep.com/dev/devector.h qui a un code tout à fait clair (par opposition à la plupart des implémentations STL).

Answer 3

Le SDK C++ prend toujours const T & comme paramètre de fonction pour l'efficacité.

Dans le cas où le paramètre prend T, l'action de copie sera effectuée deux fois, une pour la passer à la fonction push_back(f), une pour l'ajouter au conteneur. Et en prenant const T& comme paramètre, une seule copie est nécessaire!