Pourquoi le constructeur de déplacement C 11 n'est-il pas appelé lors de la création d'un objet à partir d'un objet temporaire ?

Constructeur de déplacement C 11 non appelé, constructeur par défaut préféré

Dans certains scénarios, le constructeur de déplacement C 11 peut ne pas être invoqué, favorisant le constructeur par défaut à la place. Pour comprendre pourquoi, examinons un exemple.

Considérons la classe suivante :

<code class="cpp">class X {
public:
    explicit X (char* c) { cout << "ctor" << endl; init(c); };
    X (X& lv)  { cout << "copy" << endl;  init(lv.c_); };
    X (X&& rv) { cout << "move" << endl;  c_ = rv.c_; rv.c_ = nullptr; };

    const char* c() { return c_; };

private:
    void init(char *c) { c_ = new char[strlen(c)+1]; strcpy(c_, c); };
    char* c_;

};</code>

Avec cette classe, nous pouvons créer des objets comme suit :

<code class="cpp">int main() {
    X x("test");
    cout << x.c() << endl;
    X y(x);
    cout << y.c() << endl;
    X z( X("test") );
    cout << z.c() << endl;

    return 0;
}</code>

Le Le résultat attendu serait :

ctor
test
copy
test
ctor  <-- Why not move?
test

Cependant, nous observons que le constructeur de déplacement n'est pas appelé dans la dernière ligne. Au lieu de cela, le constructeur par défaut est utilisé. Pour expliquer cela, il faut comprendre l'élision de copie.

L'élision de copie est une technique d'optimisation autorisée par la norme C 11 sous certaines conditions. Il permet au compilateur de construire un objet temporaire directement dans l'objet cible, évitant ainsi la surcharge du constructeur et du destructeur de copie/déplacement.

Dans cet exemple, l'objet X créé à partir du "test" temporaire est élidé dans z. Cela signifie qu'aucun constructeur de copie/déplacement n'est appelé et qu'à la place, l'objet est construit directement dans z.

Le compilateur peut effectuer une élision de copie lorsque toutes ces conditions sont remplies :

• L'objet est un objet temporaire qui n'a pas été lié à une référence.
• L'objet est copié/déplacé vers un objet du même type cv-non qualifié.

Dans notre Dans ce cas, ces conditions sont satisfaites et, par conséquent, une élision de copie se produit, entraînant l'utilisation du constructeur par défaut à la place du constructeur de déplacement. Pour appeler explicitement le constructeur de déplacement, vous pouvez utiliser std::move comme indiqué dans :

<code class="cpp">X z( std::move(X("test")) );</code>

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!