Parâmetro / argumento de referência não-tipo

Por que o argumento do modelo de uma referência não-tipo não pode ser outra referência (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 convert template ...

Existe uma maneira de deduzir o valor de um parâmetro de modelo de ponteiro de função?

Correspondência de modelos não-variáveis variados

Digamos que eu tenho duas estruturas,Foo eBar: template<int...> struct Foo{}; template<unsigned long...> struct Bar{};Eu quero criar um traço de tipo (chame-omatch_class) que retorna true se eu passar doisFoo<...> tipos ou doisBar<...> tipos, ...