El bucle for
de rango de C++ es un azúcar sintáctico de un bucle for
tradicional, de hecho puede consultarse la implementación en el estándar de C++ (traducción mía):
6.5.4 El bucle
for
de rango
Dado un bucle
for
de la formafor ( declaracion-bucle-for : expresion ) cuerpo
[...] el cuerpo del bucle
for
de rango equivale a:{ auto && __range = inicializador-de-rango; for ( auto __begin = expresion-inicio, __end = expresion-fin; __begin != __end; ++__begin ) { declaracion-bucle-for = *__begin; statement } }
1.3 [...] expresion-inicio y expresion-fin son
begin(__range)
yend(__range)
, respectivamente, en quebegin
yend
son buscadas en los espacios de nombres asociados (3.4.2). [ Nota: No se hace una búsqueda ordinaria no cualificada (3.4.1). —fin de la nota ]
Sabiendo esto, hay ciertos elementos de C++ que conceptualmente deberían funcionar con el for
de rango, como el std::multimap::equal_range
:
using mmii = std::multimap<int, int>;
mmii data { {0, 0}, {0, 1}, {5, 0}, {5, 1}, };
int main()
{
// Deberia imprimir 0 1, pero falla al compilar...
for (auto &v : data.equal_range(5)) std::cout << v.second << ' ';
return 0;
}
Sin embargo el código anterior no funciona porque el retorno de std::multimap::equal_range
es un std::pair
que contiene dos iteradores al inicio y al final del rango, el std::pair
no dispone de begin
y end
, pero si los proporcionamos debería funcionar ¿no?:
using mmii = std::multimap<int, int>;
mmii::iterator begin(std::pair<mmii::iterator, mmii::iterator> &r) { return r.first; }
mmii::iterator end(std::pair<mmii::iterator, mmii::iterator> &r) { return r.second; }
mmii data { {0, 0}, {0, 1}, {5, 0}, {5, 1}, };
int main()
{
// Deberia imprimir 0 1, pero falla al compilar...
// ... las funciones begin y end no han sido usadas!
for (auto &v : data.equal_range(5)) std::cout << v.second << ' ';
return 0;
}
El error obtenido es bastante complejo (según el compilador se despliega en múltiples líneas de complejos errores de plantilla) pero en resumen viene a decir que no se pueden encontrar funciones begin
y end
válidas.
Pensé que emplazar las funciones begin
y end
en un lugar accesible desde el bucle for
de rango bastaría pero ya veo que me equivocaba.
¿Dónde debería situar las funciones begin
y end
para que el bucle for
de rango las pueda usar?
range-based for statement
, que traduces comobucle for de rango
opera sobre un rango de valores (los elementos de un array, de un contenedor o en unabraced-init-list
), mientras que el par de iteradores que devuelveequal_range()
sólo indica un rango de valores.begin
yend
que transforman el par te iteradores devuelto porequal_range
en los iteradores que toca respectivamente.azúcar sintáctico
y considerar en su lugarfor_each
?