Vamos a jugar a ser el compilador.
Las plantillas se instancian en tiempo de compilación cuando substituyen los argumentos recibidos. Hagámoslo: Sabemos que callInTuple
sin parámetros plantilla se instancia con 0
, así que debemos reemplazar todos los INDEX
por 0
, por lo tanto la función generada es:
void constexpr callInTuple( int index ) {
if( 0 == index ) {
std::cout << 0 << '\n';
} else {
std::cout << "Intentando con " << 0 << ", fallido\n";
callInTuple< 0 + 1 >( index );
}
}
El trabajo no ha terminado, hay otra llamada a callInTuple
con la expresión 0 + 1
que en tiempo de compilación se traduce a 1
, así que debemos reemplazar todos los INDEX
por 1
, por lo tanto la función generada es:
void constexpr callInTuple( int index ) {
if( 1 == index ) {
std::cout << 1 << '\n';
} else {
std::cout << "Intentando con " << 1 << ", fallido\n";
callInTuple< 1 + 1 >( index );
}
}
Pero no hemos acabado, ahora se instancia callInTuple
con la expresión 2
, así que debemos reemplazar todos los INDEX
por 2
:
void constexpr callInTuple( int index ) {
if( 2 == index ) {
std::cout << 2 << '\n';
} else {
std::cout << "Intentando con " << 2 << ", fallido\n";
callInTuple< 2 + 1 >( index );
}
}
Cuando haya repetido esto unas sesenta y cinco mil quinientas treinta y cinco veces (este número puede variar según el compilador o los parámetros de compilación: -ftemplate-depth
) el compilador se dará por vencido.
Esto significa que has hecho la recursión mal: nunca alcanza el caso base. Te sale el mismo error porque index
es una variable en tiempo de ejecución mientras que INDEX
es conocido en tiempo compilación y el compilador no tiene más remedio que seguir generando instancias de callInTuple
porque no tiene medios para romper la recursión en tiempo de compilación.
Tus problemas son:
- Si el caso base es siempre menor a la variable de entrada, no deberías estar aumentando el índice si no disminuyéndolo.
- Ambos índices deben ser conocidos en tiempo de compilación: así que ambos deben ser parámetros no-tipo.
- Cuando se da el caso base, debes evitar que se genere la rama que continúa con la recursión: usa
if constexpr
.
#include <iostream>
#include <utility>
template< int START, int INDEX = 0 >
void constexpr callInTuple( ) {
if constexpr ( INDEX == START ) {
std::cout << INDEX << '\n';
} else {
std::cout << "Intentando con " << START << ", fallido\n";
callInTuple< START - 1, INDEX >( );
}
}
int main( ) {
callInTuple< 1 >( );
return 0;
}
Pero esta solución usa el condicional estático de C++17, al estar la pregunta etiquetada como C++11 no puedes usarlo, así que deberías hacer una especialización de la plantilla… pero no se pueden especializar parcialmente funciones plantilla:
template< int START, int INDEX = 0 >
void constexpr callInTuple( ) {
std::cout << "Intentando con " << START << ", fallido\n";
callInTuple< START - 1, INDEX >( );
}
// ERROOOOOOR!!
template< int START >
void constexpr callInTuple< START, START >( ) {
std::cout << START << '\n';
}
Así que la solución pasará por especializar clases:
#include <iostream>
#include <utility>
template< int START, int INDEX = 0 >
struct callInTuple {
constexpr callInTuple( ) {
std::cout << "Intentando con " << START << ", fallido\n";
callInTuple< START - 1, INDEX >( );
}
};
template< int START >
struct callInTuple< START, START > {
constexpr callInTuple( ) {
std::cout << START << '\n';
}
};
int main( ) {
callInTuple< 111, 99 >( );
return 0;
}
El código anterior produce la siguiente salida:
Intentando con 111, fallido
Intentando con 110, fallido
Intentando con 109, fallido
Intentando con 108, fallido
Intentando con 107, fallido
Intentando con 106, fallido
Intentando con 105, fallido
Intentando con 104, fallido
Intentando con 103, fallido
Intentando con 102, fallido
Intentando con 101, fallido
Intentando con 100, fallido
99