sémantique de mouvement et équivalence..

Bonjour !

je dispose d'un objet 'Object' étant 'movable' mais non 'copiable', je crois comprendre que :

Code:

---

1 2 3 4 5 6 7

void fn(Object& obj) { auto tmp = std::move(obj); }   Object o; fn(o);

---

est équivalent à :

Code:

---

1 2 3 4 5 6 7

void fn(Object&& obj) { auto tmp = std::move(obj); }   Object o; fn(std::move(o));

---

ce code n'a que peux d’intérêt bien sur... mais je crois ne pas avoir encore bien saisi quelque chose...

Même si techniquement équivalent (osef quand tu fais le move, tant qu'il y en a un ce sera équivalent), ton 1er code est un nid à erreur et un mensonge pour l'utilisateur de la fonction.
Ta fonction prend une référence, si maintenant elle se retrouve à utiliser l'objet passé pour le déplacer ailleurs, l'appelant se retrouve comme un con avec un objet inutilisable après l'appel.

Citation:

---

Envoyé par Bousk

si maintenant elle se retrouve à utiliser l'objet passé pour le déplacer ailleurs, l'appelant se retrouve comme un con avec un objet inutilisable après l'appel.

---

super merci, ce '&&' un moyen de signifier à l'utilisateur de la fonction que l'objet risque de se faire 'aspirer' ^^

C'est pas qu'un risque, si la fonction prend un &&, elle prend possession de l'objet puisqu'il faut l'y déplacer pour l'appel.