Discussion :

[rdtech]

bonjour,
je travaille sur une application qui manipule des données de température, humidité, etc... qui arrive dans un flux au format XML. J'ai écris une classe Extracteur qui parcourt ce flux pour en extraire ce qui m'intéresse sous forme de string et me retourne un objet Releve qui contient les valeurs numériques correspondantes.

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
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 
//classe Extracteur
Extracteur::Extracteur(string& trame)
{
    this->trame = trame;
}
 
Releve Extracteur::extract()
{
    //.... code qui extrait les valeurs de la trame
 
    //instancier un relevé avec deux valeurs
    Releve releve(extracted_te, extracted_rh);
    return releve;
}
 
//classe Releve
Releve::Releve(string& t, string& rh)
{
    stringstream ss(t);
    ss >> temperature;    //t est converti en float dans l'attribut temperature de Releve
 
    stringstream sss(rh);    //idem
    sss >> humidite;
}
 
Releve::Releve(const Releve& m)
{
    cout << "Constructeur recopie" << endl;
}
 
//Main
Extracteur extracteur(trame);
Releve releve(extracteur.extract());  //ICI je pensais voir passer le message du constructeur de recopie
//exploitation de l'objet releve
....

Je ne vois jamais passer ce message alors que tous les tutos disent que ce devrait être le cas.
Merci.

[Bousk]

Salut,

en théorie oui, mais c'est une bonne chose que tu ne le voies pas : ça a été optimisé par le compilateur.
Copy ellision https://en.wikipedia.org/wiki/Copy_elision
RVO https://en.wikipedia.org/wiki/Return_value_optimization
Ton compilo a été assez intelligent pour ne pas réaliser une copie, si tu ajoutes le constructeur par déplacement, tu devrais peut-être le voir être utilisé.

[JolyLoic]

Pour un retour de fonction, le compilateur doit fait les choses suivantes (du moins, depuis C++11) :
- Soit il appelle le constructeur par déplacement (s'il existe et est accessible)
- Soit il appelle le constructeur de copie (uniquement si la condition précédente n'est pas possible)
- Soit il élude complètement la copie, en se débrouillant pour écrire directement la mémoire au bon endroit. Il a le droit de le faire ou pas, c'est son choix. À noter que même s'il ne copie pas ni ne déplace, il a quand même besoin que le constructeur de copie ou de déplacement soit accessible pour faire ça.

Depuis C++17, il y a des situations où ce dernier point est désormais obligatoire (et marche même s'il n'y a ni constructeur de copie ni constructeur de déplacement accessible). C'est quand l'objet est créé directement dans l’instruction de retour :

Code :

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

1
2
3
4
5
6
7
Releve Extracteur::extract()
{
    //.... code qui extrait les valeurs de la trame
 
    //instancier un relevé avec deux valeurs
    return Releve (extracted_te, extracted_rh);
}

[ternel]

Tu peux regarder ce qu'en dis cppreference.com: copy elision

[rdtech]

Merci pour vos réponses,
qui soulèvent d'autres questions.
J'ai lu quelques tutos consacrés au constructeur par déplacement notamment de M. Krzemieński sur ce site. Et donc:
1- pourquoi la ligne

Code :

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

1
2
 
Mesures mesures1(mesure);

appelle bien mon constructeur par recopie ? Pour moi, c'est bien le même mécanisme de recopie qui est mis en oeuvre que pour le retour d'objet depuis une fonction.

2- si je reprend le prototype de constructeur par déplacement proposé dans les tutos, mon compilateur répond : identifier 'noexcept' is a keyword in C++-11
J'utilise gcc 5.4.0-6 et je pensais parler d'office le C++11. Il y a une option à préciser ?

Merci.

[dalfab]

Bonjour,

1. Dans le cas Mesures mesures1(mesure);, il y a deux instances bien distinctes, donc il n'y a aucune autre possibilité que de recopier mesure dans le mesure1 qui est créé. Alors que dans une fonction, l'objet initial va disparaître, on peut optimiser en le créant directement dans le résultat.

2.Pour activer le C++11 sous gcc, il faut utiliser -std=c++11, on aussi demander -std=c++14, et depuis la version 5.1 on devrait pouvoir passer en C++17 avec -std=c++17.

[rdtech]

Merci pour vos réponses. J'ai pas mal lu depuis et je pense que cette nouvelle notion est acquise.