¿Por qué no puedo pasar los parámetros de la plantilla a otra plantilla?

Question

Bueno me voy a dar un ejemplo sencillo de mi problema:

void Increment(Tuple<int, int>& tuple) { 
    ++tuple.Get<0>(); 
} 

int main() { 

    Tuple<int, int> tuple; 

    tuple.Get<0>() = 8; 

    Increment(tuple); 

    printf("%i\n", tuple.Get<0>()); // prints 9, as expected 

    return 0; 

} 

Esto compila bien, y todo es color de rosa. La función Incremento simplemente incrementa el primer elemento en la tupla, y luego imprimo ese elemento. Sin embargo, ¿no sería bueno si mi función Incremento pudiera usarse en cualquier tipo de elemento?

template <typename T> 
void Increment(Tuple<T, T>& tuple) { 
    ++tuple.Get<0>(); // <-- compile ERROR 
} 

int main() { 

    Tuple<int, int> tuple; 

    tuple.Get<0>() = 8; 

    Increment<int>(tuple); 

    printf("%i\n", tuple.Get<0>()); 

    return 0; 

} 

Mi segundo ejemplo escupe el siguiente error en tiempo de compilación:

error: expected primary-expression before ')' token 

Estoy en mis ingenios terminan tratando de averiguar por qué esto causa problemas. Como el parámetro de la plantilla es 'int', el código generado debe ser idéntico a mi ejemplo codificado. ¿Cómo puedo hacer que esto funcione?

Answer 1

que debe ser:

++tuple.template Get<0>(); 

De la misma manera que necesita typename para especificar un tipo cualificado de un tipo dependiente, necesita template para especificar una función de plantilla calificado de un tipo dependiente.

Answer 2

Desde GMan ya le dio la correcta answer, una cosa que todavía se puede hacer es: simplemente hay que escribir Increment(tuple) en lugar de Increment<int>(tuple) (este último sintaxis es un poco complejo). El compilador es lo suficientemente inteligente como para inferir function-template-type del tipo de tuple.

ver esto: http://www.ideone.com/juNOg