Em C ++, qual é o tipo de a std::map<>::iterator?
Sabemos que um objeto itdo tipo std::map<A,B>::iteratortem uma sobrecarga operator ->que retorna um std::pair<A,B>*, e que o std::pair<>tem firste secondmembro.
Mas, a que esses dois membros correspondem e por que precisamos acessar o valor armazenado no mapa como it->second?
Respostas:
Tenho certeza que você sabe que um std::vector<X>armazena um monte de Xobjetos, certo? Mas se você tem um std::map<X, Y>, o que ele realmente armazena é um monte de std::pair<const X, Y>s. É exatamente o que é um mapa - ele une as chaves e os valores associados.
Quando você itera sobre um std::map, você está iterando sobre todos esses std::pairs. Quando você desreferencia um desses iteradores, obtém um std::paircontendo a chave e seu valor associado.
std::map<std::string, int> m = /* fill it */;
auto it = m.begin();Aqui, se você o fizer agora *it, receberá std::pairo primeiro elemento no mapa.
Agora, o tipo std::pairdá acesso a seus elementos através de dois membros: firste second. Portanto, se você tiver std::pair<X, Y>chamado p, p.firsté um Xobjeto e p.secondé um Yobjeto.
Portanto, agora você sabe que a desreferenciação de um std::mapiterador fornece a std::pair, então você pode acessar seus elementos com firste second. Por exemplo, (*it).firstvocê fornecerá a chave e (*it).secondo valor. Estes são equivalentes a it->firste it->second.
operator[]tem que retornar um tipo específico mas firste secondpodem ter tipos diferentes. Por outro lado, std::tuplepossui uma função auxiliar especial std::getpara acessar seus elementos por índice.
O tipo dos elementos de um std::map(que também é o tipo de uma expressão obtida desreferenciando um iterador desse mapa) cuja chave é Ke seu valor é Vis std::pair<const K, V>- a chave é constimpedir que você interfira na classificação interna dos valores do mapa.
std::pair<>tem dois membros nomeados firste second(veja aqui ), com um significado bastante intuitivo. Assim, dado um iterador ipara um determinado mapa, a expressão:
i->firstO que equivale a:
(*i).firstRefere-se ao primeiroconst elemento ( ) do pairobjeto apontado pelo iterador - ou seja, refere-se a uma chave no mapa. Em vez disso, a expressão:
i->secondO que equivale a:
(*i).secondRefere-se ao segundo elemento do pair- ie ao valor correspondente no mapa.
std::maparmazena uma chave e um valor .map::iterator.secondrefere-se ao valor .