Discussion :

[n0-sheep]

Bonjour a tous,
J'ai fait quelques tests en mettant des cout dans les constructeurs de copy et constructeurs move d'une classe Obj
J'ai ensuite fait plusieurs push back sur un vector<Obj>...
Et il semble que lors de la réallocation c'est a dire quand le vector "s'agrandit", le vector recopie les données plutôt que de les déplacer... Est-ce normal ?

Voici l'output de mon code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
first push back 
constructing num1{} rvalue
constructing num1 from '' using move constructor
 
second push back 
constructing num2{} rvalue
constructing num2 from '' using move constructor
constructing num1 from 'num1' using copy constructor
 
third push back 
constructing num3{} rvalue
constructing num3 from '' using move constructor
constructing num2 from 'num2' using copy constructor
constructing num1 from 'num1' using copy constructor

Voici le code du main :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
int main(int argc, const char * argv[])
{
    vector<Obj> vect;
 
    cout << endl << "first push back " << endl;
    vect.push_back(Obj("num1"));
 
    cout << endl << "second push back " << endl;
    vect.push_back(Obj("num2"));
 
 
    cout << endl << "third push back " << endl;
    vect.push_back(Obj("num3"));
 
    return 0;
}

Enfin voici la classe Obj :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
class Obj{
 
    string name;
 
public:
    Obj(const string & nom) : name{nom} {
        cout << "constructing " << name << "{" << nom << "} lvalue" << endl;
    }
    Obj(string&& nom) : name{move(nom)} {
        cout << "constructing " << name << "{" << nom << "} rvalue" << endl;
    }
 
    Obj(const Obj& source) : name{source.name} {
        cout << "constructing " << name << " from '" << source.name << "' using copy constructor" << endl;
    }
    Obj(Obj&& source) : name{move(source.name)}{
        cout << "constructing " << name << " from '" << source.name << "' using move constructor" << endl;
     }
};

[PilloBuenaGente]

Bonjour,

C++11 permet le déplacement en utilisant la fonction emplace_back à la place de push_back.

[n0-sheep]

Bonjour,
Merci pour votre réponse. Je pense que je n'ai pas été assez clair car ce n'était pas ma question :

Dans l'output, on voit (lors du troisième push-back ou du troisième emplace-back) que le vector ré-alloue son contenu pour s'agrandir, lorsqu'il le fait, on voit que ce sont les constructeurs de copie et non de déplacement qui sont appelés. Je ne comprend pas pourquoi.

cette partie :
constructing num3 from '' using move constructor
constructing num2 from 'num2' using copy constructor
constructing num1 from 'num1' using copy constructor

Note : J'ai modifié mon main pour utilise emplace_back (c'est plus propre), mais l'output ne change pas.
Voir :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
int main(int argc, const char * argv[])
{
    vector<Obj> vect;
 
    cout << endl << "first emplace back " << endl;
    vect.emplace_back(Obj("num1"));
 
    cout << endl << "second emplace back " << endl;
    vect.emplace_back(Obj("num2"));
 
 
    cout << endl << "third emplace back " << endl;
    vect.emplace_back(Obj("num3"));
 
    return 0;
}

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
first emplace back 
constructing num1{} rvalue
constructing num1 from '' using move constructor
 
second emplace back 
constructing num2{} rvalue
constructing num2 from '' using move constructor
constructing num1 from 'num1' using copy constructor
 
third emplace back 
constructing num3{} rvalue
constructing num3 from '' using move constructor
constructing num2 from 'num2' using copy constructor
constructing num1 from 'num1' using copy constructor

[Flob90]

Lorque move-ctor et copy-ctor existent, std::vector utilise le move-ctor uniquement ci celui-ci est noexcept, sinon il retombe sur le copy-ctor. Et la raison est d'assurer la résistance forte aux exceptions le plus souvent possible.

[n0-sheep]

Merci !

[Arzar]

Note : J'ai modifié mon main pour utilise emplace_back (c'est plus propre), mais l'output ne change pas.

C++11 permet le déplacement en utilisant la fonction emplace_back à la place de push_back.

Je ne comprends pas bien ce genre d'affirmation que j'ai vu flotter déjà plusieurs fois.

emplace_back n'a pas été ajouté en C++11 pour permettre le déplacement , il permet la constuction d'objet sur place, directement en fin du vector, à partir d'argument utilisé par le constructeur :

Le but premier d'emplace_back est de pouvoir faire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
struct A
{
   A(int i, std::string s){}
}
 
vector<A> v;
v.emplace_back(5, "toto");

C'est vrai que le code suivant fonctionne aussi :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

v.emplace_back(A(5, "toto")

mais c'est un effet de bord du à la signature d'emplace_back. En l'utilisant de cette manière on obscurcit l'intention vu qu'il n'y a justement pas de construction sur place mais un simple déplacement.

Si l'on veut déplacer un objet dans un vector alors il vaut mieux utiliser push_back, qui est fait pour ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

v.push_back(A(5, "toto"));

[PilloBuenaGente]

Ok, je ne peut pas m'auto-downer, quelqu'un peut, pour éviter d'induire en erreur ?!

Le problème est sans doute tout autre, mais pourquoi puis-je remplir un vecteur avec des membres constant seulement avec emplace_back ?

Merci !

[n0-sheep]

emplace_back n'a pas été ajouté en C++11 pour permettre le déplacement , il permet la constuction d'objet sur place, directement en fin du vector, à partir d'argument utilisé par le constructeur [...]

Merci pour la précision ! Je ne m'étais pas plongé dans les détails entre emplace et push, mais ca m'étonnait qu'il y ait une fonction spéciale déplacement alors qu'on peut le faire avec push.

Le problème est sans doute tout autre, mais pourquoi puis-je remplir un vecteur avec des membres constant seulement avec emplace_back ?

Merci !

A mon avis :
Comme tu ne peux pas faire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
const int a;
a = 3;

Mais qu'il faut utiliser le constructeur pour initialiser un const :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

const int a(3);

Eh bien ca marche pareil pour les éléments du vecteur, il faut utiliser directement le constructeur (appelé par emplace_back).