Para poder formular la pregunta correctamente empezaré explicando el contexto y después pasaré a la pregunta.
El contexto: Metafunciones perezosas
Empecé este proyecto para comprobar si podía trasladar alguna de las funcionalidades de Haskell a los templates de C++. El resultado principal fue crear la clase Currying, que curryfica "metafunciones perezosas".
1. ¿Qué es una "metafunción perezosa"?
Simplemente es una metafunción que recibe los parámetros de forma tardía.
//Metafuncion
template<int arg1, int arg2>
struct Suma{
static constexpr int value = arg1+arg2;
}
//Metafuncion perezosa
struct SumaPerezosa{
template<int arg1, int arg2>
static constexpr int value = arg1+arg2;
}
int main(){
int s1 = Suma<3,4>::value;
int s2 = SumaPerezosa::value<3,4>;
}
2. ¿Como curryficar las metafunciones perezosas?
Usamos la clase Currying de la librería como se muestra a continuación:
struct Suma : Currying<Suma,int(int,int)>{ // <-- Añadimos esto aquí, indicando el tipo de la metafuncion perezosa.
template<int arg1,int arg2>
static constexpr int value = arg1+arg2;
}
//Podemos definir nuevas metafunciones perezosas de esta forma
using Sucesor = Suma::let<1>;
int main(){
int s1 = Sucesor::let<5>; // <-- Me devuelve un 6.
}
Este es un ejemplo sencillo, pero se pueden curryficar metafunciones perezosas que reciban cualquier parametro non-type (excepto lvalues, que da un error origen de esta pregunta), o cualquier parametro type (con mecanismos de restricción de tipos, está explicado en el github de la libreria).
La pregunta
Aunque no es estrictamente necesario, me gustaría que la librería pudiese aceptar cualquier parámetro non-type, incluyendo referencias (lvalue), pero en la clase Currying recibo el error que da nombre a la pregunta. A continuación presentaré una situación en la que se produce dicho error:
Supongamos que tenemos la siguiente metafunción perezosa:
struct LazyId{
template<int& x>
static constexpr int& value = x;
}
Ahora tengo que usar una metafunción (no perezosa) que recibe una metafunción perezosa y su argumento:
template<class F, int& Arg>
struct Indirect{
static constexpr int& value = F::template value<Arg>;
}
Esto también compila, excepto si lo usamos:
int unEntero = 3;
int main(){
std::cout << Indirect<LazyId,unEntero>::value << std::endl;
}
Esto no compila y da el siguiente error:
template<class F, int& Arg>
struct Indirect{
static constexpr int& value = F::template value<Arg>; // <-- Error aqui
}
'#'indirect_ref' not supported by dump_decl#<declaration error>' is not a template [-fpermissive]
El error parece indicar que es algo que no está soportado por el compilador, cuando para cualquier otro parámetro non-type sí funciona. ¿Qué está ocurriendo? ¿Es un error de C++ o del compilador (MINGW)? ¿Esto está contemplado en el Standard de C++?
Meta Programación de Plantillas
estás yendo por el camino equivocado por lo ya indicado por @eferion. Por otro lado, el error en la plantilla LazyIndirect es porque estas tratando de usar el parámetro de F como plantilla y F está referenciando a un tipo.