Que puis-je faire avec un déplacé-de l'objet?

La norme de définir précisément ce que je peux faire avec un objet une fois qu'il a été déplacé à partir? J'ai l'habitude de penser que tout ce que vous pouvez faire avec un déplacé-de l'objet est de faire détruire, mais ce ne serait pas suffisant.

Par exemple, prenons le modèle de fonction swap tel que défini dans la bibliothèque standard:

template <typename T>
void swap(T& a, T& b)
{
    T c = std::move(a); //line 1
    a = std::move(b);   //line 2: assignment to moved-from object!
    b = std::move(c);   //line 3: assignment to moved-from object!
}

Évidemment, il doit être possible d'assigner à déplacé-à partir d'objets, sinon les lignes 2 et 3 serait un échec. Alors quoi d'autre puis-je faire avec déplacés-à partir d'objets? Exactement où puis-je trouver ces informations dans la norme?

(Au fait, pourquoi est-il T c = std::move(a); au lieu de T c(std::move(a)); dans la ligne 1?)

InformationsquelleAutor fredoverflow | 2011-08-11
  1. 50

    Déplacé-de les objets existent dans un nombre indéterminé, mais valide, de l'état. Cela suggère que, bien que l'objet peut ne pas être capable de faire bien plus, l'ensemble de ses fonctions de membre doit encore présenter de comportement défini — y compris operator= — et de tous ses membres dans un état - et il nécessite toujours la destruction. La Norme ne donne pas de définitions précises, car il devrait être unique pour chaque type défini par l'utilisateur, mais vous pourriez être en mesure de trouver les spécifications pour types Standard. Certains, comme les conteneurs sont relativement évidente — ils suffit de déplacer leur contenu autour de et un conteneur vide est bien définie de l'état valide. Les Primitives de ne pas modifier le déplacé-de l'objet.

    Note de côté: je crois que c'est T c = std::move(a) de sorte que si le constructeur de déplacement (ou de constructeur de copie si aucun mouvement n'est fournie) est explicite, la fonction échouera.

    • Pas tous de ses fonctions de membre se présentent des comportements définis. Seulement ceux avec aucune condition. Par exemple, vous ne voulez probablement pas à pop_back un déplacé-de vector. Mais vous pouvez certainement trouver si il est empty().
    • Hinnant: pop_back à partir d'un vide vector a un comportement indéterminé de toute façon, à partir de la mémoire, donc je suis assez sûr que pop_back à partir d'un déplacé vecteur présentant un comportement indéterminé est cohérent.
    • Nous discutons déplacé-à partir d'objets. Pas d'objets connus pour être dans un état vide. Déplacé-à partir d'objets ont un quelconque état (à moins que spécifié autrement). [lib.les types.movedfrom]
    • Non spécifié, mais valide, donc pop_back se comporte encore comme sur tout vecteur (il peut même être un vecteur vide).
    • Je le comprends comme suit: l'état de l'objet après le déménagement peut être dans un état valide, et toutes les actions valables pour l'état peut toujours être utilisé. Si le comité voulait qu'ils devaient se rendre de grands efforts de la spécification de chaque état possible de l'objet.
    • ce n'indéterminée et moyenne valide dans ce contexte?

    InformationsquelleAutor Puppy
  2. 105

    17.6.5.15 [lib.les types.movedfrom]

    Objets de types définis dans la norme C++ de la bibliothèque peuvent être déplacés d'
    (12.8). Les opérations de déplacement peut être spécifié explicitement ou implicitement
    généré. Sauf indication contraire, ces déplacés-à partir d'objets est
    être placé dans un valide mais non précisées de l'état.

    Lorsqu'un objet est dans un quelconque état, vous pouvez effectuer toute opération sur l'objet qui n'a pas de conditions préalables. Si une opération est avec des conditions préalables que vous souhaitez effectuer, vous ne pouvez pas directement effectuer cette opération car vous ne savez pas si l'une quelconque état de l'objet remplit les conditions préalables.

    Exemples d'opérations qui généralement n'ont pas de conditions préalables:

    • destruction
    • affectation
    • const observateurs comme get, empty, size

    Exemples d'opérations qui généralement n'ont préalables:

    • de déréférencement
    • pop_back

    Cette réponse apparaît maintenant dans format vidéo ici: http://www.youtube.com/watch?v=vLinb2fgkHk&t=47m10s

    • Mais je ne pouvais tout simplement de vérifier les conditions préalables comme avec tout autre objet, à droite?
    • Aussi longtemps que ces vérifications ont eux-mêmes aucune condition, bien sûr.
    • Exactement!
    • Mais comment est-ce différent d'un autre, de ne pas déplacé-de l'objet?
    • Qui a dit qu'un déplacé-de l'objet est différent d'un non-objet déplacé. C'est le point dans toutes les réponses (à l'exception du 6502), un déplacé-de l'objet est encore tout à fait valable et utilisable objet. Vous ne savez pas à qui (valide) de l'état il est. Comme le dit, déménager n'est pas de détruire l'objet, mais de le modifier.
    • La seule différence est que la plupart des opérations de laisser un objet dans un état spécifié. Les déplacés-de l'etat n'est pas spécifié, mais sinon, pas de spécial. Bien sûr, si vous êtes l'auteur de votre classe, vous êtes libre de faire votre déplacé-de l'etat comme vous le souhaitez. Mais sachez que si vous utilisez votre classe std algorithmes, votre type est nécessaire pour rencontrer les exigences de l'algorithme std, que ce soit dans un déplacé-de l'état ou pas ([utility.arg.exigences], Tableaux 20 et 22).
    • Peut-être devrait être une question distincte, mais est-ce à dire: si j'ai une chaîne avec char* buffer; et int length; membres, puis mon déménagement constructeur/cession doit swap (ou l'ensemble) de la valeur de deux? Ou serait-il OK, si la durée est indéterminée (ce qui signifie que empty et size retour de sens des valeurs)?
    • Incroyable de voir comment la norme utilise "doit être placé dans un valide mais non précisées de l'état" lorsque le code qui va faire de cette opération est peut-être généré par le compilateur. Tout d'un coup, nous avons obtenu des classes qui ont été parfaitement valide et idiomatiques en C++ et en C++0X constituent une violation de la norme parce que le C++0X générer automatiquement une fracture constructeur de déplacement.
    • Dans ce cas, votre chaîne de l'objet serait dans un état non valide, je pense, qui devrait répondre à votre question. Pas tous non spécifié états sont valables, mais seulement les valides doivent être prises par les déplacés-à partir d'objets.
    • Je pense que les bons de souscription de sa propre question. Vous avez mon upvote pour sûr 😉
    • Vous s'il vous plaît arrêter juste rodomontades et plus? Ce n'est pas le lieu.
    • En vous classe probablement si il y a un constructeur de déplacement ou d'assignation de déplacement, il serait écrite par vous. Le compilateur ne génère pas d'une opération de déplacement pour une classe qui a un destructeur explicite.
    • Vous ne faites pas de sens. En C++03 classe n'est pas "violer le C++0x standard" en raison d'un déménagement ctor si générés contreviendrait à la norme. Et C++03 code ne serait pas déplacer cette classe donc il n'y a aucune raison pour un déménagement ctor à être généré.
    • C++03 code peut bien mettre un objet dans un std::vector et appel std::sort sur ce vecteur. Le code résultant peut utiliser déplacement sémantique, y compris l'attribution d'un déplacé-de l'objet lorsqu'il est compilé en C++0X mode. C'est d'ailleurs pas le seul changement incompatible... même juste std::vector<X> v(n); a une autre sémantique dans C++0X.
    • S'il est vide ou la taille (ou toute fonction membre) peuvent renvoyer sens des valeurs, la classe serait effectivement inutilisable. Aussi, si la mémoire tampon de stockage a été allouée dynamiquement par la classe, vous devez vous assurer qu'il est libéré à un certain point, et qui s'applique également à la mémoire tampon détenus par la cible avant de la déplacer. En outre, la source de l'objet destructeur doit s'appliquent pas libre à une adresse non valide, ou de l'adresse, il a déménagé à la cible. La permutation de satisfaire à ces règles, comme, sans doute, ne libérant la destination du tampon d'origine et la définition de la source de {0,nullptr}.

    InformationsquelleAutor Howard Hinnant