Cómo usar el bucle for() basado en rangos con std :: map?

Question

El ejemplo común para C++ 11 gama de base para() bucles es siempre algo sencillo como este:

std::vector<int> numbers = { 1, 2, 3, 4, 5, 6, 7 }; 
for (auto xyz : numbers) 
{ 
    std::cout << xyz << std::endl; 
} 

En cuyo caso xyz es un int. Pero, ¿qué sucede cuando tenemos algo así como un mapa? ¿Cuál es el tipo de la variable en este ejemplo:

std::map< foo, bar > testing = { /*...blah...*/ }; 
for (auto abc : testing) 
{ 
    std::cout << abc << std::endl;   // ? should this give a foo? a bar? 
    std::cout << abc->first << std::endl; // ? or is abc an iterator? 
} 

Cuando el recipiente se está atravesando es algo simple, parece que para() basada en bucles de gama nos dará cada elemento, no un iterador. Lo cual es bueno ... si fuera un iterador, lo primero que siempre tendríamos que hacer es eliminarlo de todos modos.

Pero estoy confundido en cuanto a lo que puede esperar cuando se trata de cosas como mapas y Multimapas.

(Todavía estoy en g ++ 4.4, mientras que los bucles basados ​​en la esfera están en g ++ 4.6+, por lo que no han tenido la oportunidad de probarlo todavía.)

Answer 1

Cada elemento del contenedor es un map<K, V>::value_type , que es un typedef para std::pair<const K, V>. En consecuencia, se iba a escribir esto como

for (auto& kv : myMap) { 
    std::cout << kv.first << " has value " << kv.second << std::endl; 
} 

Para una mayor eficacia, es una buena idea para hacer que el parámetro en el bucle de referencia. También puede considerar hacerlo const si desea una vista de solo lectura de los valores.

Answer 2

De este trabajo: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2049.pdf

for(type-specifier-seq simple-declarator : expression) statement

es sintácticamente equivalente a

{ 
    typedef decltype(expression) C; 
    auto&& rng(expression); 
    for (auto begin(std::For<C>::begin(rng)), end(std::For<C>::end(rng)); begin != end; ++ begin) { 
     type-specifier-seq simple-declarator(*begin); 
     statement 
    } 
} 

Así se puede ver claramente que lo que es abc en su caso se std::pair<key_type, value_type >. Así que para la impresión de que puede hacer el acceso cada elemento por abc.first y abc.second

Answer 3

Si el operador de asignación de copia de foo y bar es barato (. Ej int, char, puntero, etc.), puede hacer lo siguiente:

foo f; bar b; 
BOOST_FOREACH(boost::tie(f,b),testing) 
{ 
    cout << "Foo is " << f << " Bar is " << b; 
} 

EDITAR: El abajo no funciona como antes :, tiene que ser una declaración , no un lvalueexpresión.

foo f;bar b; 
for(std::tie(f,b) : testing) 
{ 
    cout << "Foo is " << f << " Bar is " << b; 
} 

Answer 4

Si sólo desea ver las llaves/valores de su mapa y al igual que el uso de impulso, puede utilizar los adaptadores de refuerzo con el rango de bucles base:

for (const auto& value : myMap | boost::adaptors::map_values) 
{ 
    std::cout << value << std::endl; 
} 

hay un impulso equivalente: : adaptadores :: valores_claves

http://www.boost.org/doc/libs/1_51_0/libs/range/doc/html/range/reference/adaptors/reference/map_values.html

Answer 5

En C++ 17 esto se llama structured bindings, que permite la siguiente:

std::map< foo, bar > testing = { /*...blah...*/ }; 
for (const auto& [ k, v ] : testing) 
{ 
    std::cout << k << "=" << v << "\n"; 
}