Ne std::map::iterator retourner une copie de la valeur ou une valeur en soi?

Je suis en train de créer une carte à l'intérieur d'une carte:

typedef map<float,mytype> inner_map;
typedef map<float,inner_map> outer_map;

Vais-je être capable de mettre quelque chose à l'intérieur de intérieur de la carte, ou ne iterator::la seconde renvoie une copie?

stl_pair.h suggère celui-ci:

74: _T2 second;          ///< @c second is a copy of the second object

mais mon programme de test fonctionnent très bien avec le code comme ceci:

it = my_map.lower_bound(3.1415);
(*it).second.insert(inner_map::value_type(2.71828,"Hello world!");

Alors, où est la vérité? Est-ce une copie ou pas?

InformationsquelleAutor Morse | 2011-03-21
  1. 24

    Le commentaire dans stl_pair.h est trompeur dans ce cas précis.

    Il y aura pas copie, depuis le map::iterator se réfère effectivement à la de données d'origine à l'intérieur de la carte (la value_type, qui lui-même est un pair), ce n'est pas une copie. Ainsi iterator::second également fait référence à l'origine des données.

    • C'est vrai, on peut le valider en retour quelque chose comme myMap.trouver(myKey)->second par référence. Si la documentation dans stl_pair.h est non seulement trompeuse, mais mal.
    • Eh bien, il n'est pas mal parce que le stl_pair.h la documentation ne fait pas référence à std::map à tous, et il se comporte de cette façon parce que std::map::find renvoie un référence pour une std::pair c'est stockée à l'intérieur de la carte. Ainsi, le second membre de la paire est toujours une valeur (et non pas une référence), c'est la paire en elle-même qui est la référence. La “copie de la deuxième élément” dans la documentation se réfère au fait que std::pair::second détient une copie de quelque valeur que ce soit, il a été adopté par le constructeur.
    • Prendre un coup d'oeil ici. Citation: A reference is the object. It is not a pointer to the object, nor a copy of the object. It is the object. Une référence n'est pas une copie. L'élément que je comprends, c'est d'appeler les "vies" dans la carte, il n'en est pas passé à la fonction qui l'a ajouté dans la carte (qui pourrait tout aussi bien ne pas exister, si emplace ont été utilisés).
    • Je sais ce qu'est une référence, mais vous êtes confus la paire en elle-même que la carte revient (= référence) avec son second membre variable (= une valeur, pas une référence). Et c'est un copier de la valeur que l'utilisateur est passé dans la carte. La carte en elle-même détient une copie, à l'intérieur d'une structure de paires.
    • Apparemment, vous n'avez pas vraiment comprendre mon commentaire. L'élément de la carte est à l'origine. Il n'est pas nécessaire qu'il existe ou a existé une fois qu'un autre l'égalité élément, puisque la carte a obtenu un emplace méthode (vous pouvez passer uniquement les paramètres du constructeur, de sorte que l'objet est créé à l'intérieur de la carte). Et la paire la structure contient une référence à cet élément original, pas une copie.
    • Je vous ai compris parfaitement, vous êtes tout simplement faux: la paire ne pas maintenir une référence, parce que second ne dispose pas d'un type de référence. Il est vrai que la carte peut contenir une valeur qui n'existait pas auparavant, mais tout d'abord, cette question/réponse est antérieure à la sémantique de déplacement, et d'autre part cela ne change pas le fait que le commentaire qui nous intéresse ici ne s'applique pas aux map à tous.
    • Bon, je viens de vérifier à l'intérieur du code. Il ne détient pas une référence, il pointe vers l'élément d'origine, qui vit dans la structure de paires. Maintenant, cela n'a toujours rien à voir avec une copie de quoi que ce soit. Ils suffit d'appeler l'original de la "copie", ce qui est faux.

    InformationsquelleAutor Konrad Rudolph
  2. 25

    Je veux ajouter un suivi de la réponse à cette question pour les gens à l'aide de C++11 itérateurs...

    Le code suivant:

    std::map<std::string, std::string> m({{"a","b"},{"c","d"}});
for (auto i : m)
{
    std::cout << i.first << ": " << i.second << std::endl;
}

    ne copier la clé et la valeur, étant donné que "auto" est la valeur par défaut, pas un const référence (au moins, c'est comment il se comporte clang 3.1).

    En outre, le code:

    std::map<std::string, std::string> m({{"a","b"},{"c","d"}});
for (const std::pair<std::string,std:string>& i : m)
{
    std::cout << i.first << ": " << i.second << std::endl;
}

    aussi des copies de la clé et de la valeur depuis le code correct doit être:

    std::map<std::string, std::string> m({{"a","b"},{"c","d"}});
for (const auto& i : m)
{
    std::cout << i.first << ": " << i.second << std::endl;
}

    ou

    std::map<std::string, std::string> m({{"a","b"},{"c","d"}});
for (const std::pair<const std::string,std:string>& i : m)
{
    std::cout << i.first << ": " << i.second << std::endl;
}
    • +1. Avoir l'élément d'un unique_ptr va le prouver clairement, que vous ne pourrez pas compiler pour accéder à une suppression de la fonction (copie ctor).
    InformationsquelleAutor Matt Gallagher
  3. 4

    La value_type une carte est une paire, il a donc les membres de la première et de la deuxième. Comme avec tous les itérateurs, une carte itérateur est un pseudo-pointeur, c'est à dire qu'il pointe vers les données au sein d'une collection et non des copies de ces données.

    Il est presque certain en interne pour contenir des pointeurs plutôt que de références en raison du fait que les itérateurs peuvent être ré-attribuée (c'est ce que vous les utilisez) et vous ne pouvez pas réaffecter les références à d'autres objets.

    Même si vous avez un const_iterator et le type en-dessous est POD, il doit avoir un pointeur sur elle, au cas où quelqu'un ne ce:

    map< int, int > m;
m.insert( make_pair( 1, 2 );
map<int,int>::const_iterator citer = m.begin();
map<int,int>::iterator iter = m.begin();
iter->second = 3;
std::cout << citer->second << '\n'; //should always print 3

    Le comportement devrait être défini et de sortie 3, ce qui n'arriverait pas si le const_iterator décidé à "optimiser" après tout, c'est const et seulement int...

    InformationsquelleAutor CashCow
  4. 0

    Itérateurs, quand déréférencé, vous donner une référence.

    • Avec une belle -1 pour un décompte des voix 🙂
    InformationsquelleAutor Lightness Races in Orbit