Conversion du paramètre de modèle non-type de pointeur de fonction en paramètres de modèle de type

Question

L'exemple de code suivant est compilé sous gcc et fonctionne comme j'espère. Cela me permet d'instancier un objet avec une définition de fonction en tant que paramètre de modèle, mais ensuite la classe est capable d'utiliser les différents types de la fonction comme s'ils étaient passés individuellement en tant que paramètres de modèle de type.

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; 
} 

Même s'il semble fonctionner, je ne suis pas sûr de savoir ce que fait ce code. Pourquoi ce code fonctionne-t-il et est-il conforme à la norme C++?

Answer 1

Pourquoi cela ne fonctionnerait-il pas? L'instanciation correspond à la spécialisation, qui extrait les types de composants (char et int) du type composé (une fonction, char(int)) en tant que Type1 et Type2. Par ailleurs, vous n'avez pas de paramètre de modèle non typé. Un type de fonction est un type. Si vous aviez un paramètre de modèle non-type, il serait alors ressembler à ceci:

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

char foobar(int); 

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

Ou bien basé sur un modèle:

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

Cette question est une fausse appellation car FuncSignature n'est pas un paramètre de modèle non-type.

Cependant, le code donné des œuvres en se spécialisant le (général) de type FuncSignature pour les types de fonction unaire (Type1 (Type2) est un type de fonction, types donné Type1 et Type2).

La première ligne définit un modèle général, le prochain groupe de lignes, il est spécialisé pour la forme de type Type1 (Type2), qui sont paramétrés sur deux types, d'où la spécialisation a une liste de paramètres du modèle non vide et le main instancie la modèle pour le type de béton char (int) (une fonction prenant un int et renvoyant un char).

Answer 3

Oui. Ce code est conforme à la norme :)

Dans le cas de:

Obj<char (int)> 

Type1 est char et Type2 est int. Pour cette raison, Obj::var1 est une variable membre de type char et Obj::var2 est une variable membre de type int.