Conversión del parámetro de plantilla no tipo de puntero de función a tipo Parámetros de plantilla

Question

El siguiente código de ejemplo se compila bajo gcc y funciona como esperaría. Me permite crear una instancia de un objeto con una definición de función como parámetro de plantilla, pero luego la clase puede usar los diferentes tipos en la función como si se pasaran individualmente como parámetros de plantilla de tipo.

template<class FuncSignature> class Obj; 

template<class Type1, class Type2> class Obj<Type1 (Type2)> 
{ 
public: 
    Type1 var1; 
    Type2 var2; 
}; 

int main(int argc, char **argv) 
{ 
    Obj<char (int)> A; 
    A.var1 = 'a'; 
    A.var2 = 3; 
} 

A pesar de que parece que funciona, no estoy seguro de lo que este código está haciendo. ¿Por qué funciona este código y cumple con el estándar de C++?

Answer 1

¿Por qué no debería funcionar? La creación de instancias coincide con la especialización, que extrae los tipos de componente (char y int) del tipo compuesto (una función, char(int)) como Type1 y Type2.

Por cierto, no tiene un parámetro de plantilla sin tipo. Un tipo de función es un tipo. Si usted tenía un parámetro de plantilla no tipo, entonces se vería así:

template <char(int)> 
struct X {}; 

char foobar(int); 

int main() 
{ 
    X<foobar> x; 
} 

o totalmente con plantilla:

template <class R, class A, R(A)> 
//       ^^^^ 
//      non-type parameter 
struct X {}; 

char foobar(int); 

int main() 
{ 
    X<char, int, foobar> x; 
//    ^^^^^^ 
// a specific function, not type 
} 

Answer 2

Esta pregunta es incorrecta porque FuncSignature no es un parámetro de plantilla sin tipo.

Sin embargo, el código funciona dada por la especializada (general) y el tipo FuncSignature para este tipo de función unarios (Type1 (Type2) es un tipo de función, teniendo en cuenta los tipos y Type1Type2).

Así que la primera línea define una plantilla general, el siguiente grupo de líneas se especializa por la forma de tipo Type1 (Type2), que son parametrizado en dos tipos, de ahí la especialización tiene una lista de parámetros de plantilla no vacío, y el main crea una instancia del plantilla para el tipo concreto char (int) (una función tomando un int y devolviendo un char).

Answer 3

Sí. Este código se ajusta el estándar :)

En el caso de:

Obj<char (int)> 

Type1 es char y Type2 es int. Por ese motivo, Obj::var1 es una variable miembro del tipo char y Obj::var2 es una variable miembro del tipo int.