Parámetro / argumento de referencia no tipo

¿Por qué el argumento de plantilla de una referencia que no es de tipo no puede ser otra referencia (g ++ 4.8.1): template <int& N> void test() { } int x = 5; int& p = x; int main(){ test<x>(); //compiles fine test<p>(); //error: could not ...

¿Hay una manera de deducir el valor de un parámetro de plantilla de puntero de función?

Coincidencia de plantillas variadas sin tipo

Digamos que tengo dos estructuras,Foo yBar: template<int...> struct Foo{}; template<unsigned long...> struct Bar{};Quiero crear un rasgo de tipo (llámalomatch_class) que devuelve verdadero si paso dosFoo<...> tipos o dosBar<...> tipos, pero ...