C++ Pointeur vers une fonction qui prend comme argument une instance d'une classe modèle

Question

J'ai du mal à compiler une classe qui a des pointeurs de fonction en tant que variables membres. Les pointeurs sont des fonctions qui prennent une instance d'une classe en argument.

Comme

template<class T, int N> 
double (*f)(Vector<T,N> v); 

je reçois "erreur: les données membre 'f' ne peut pas être un modèle de membre" du compilateur gcc 4.2.

Modifier

Avant d'utiliser des modèles que je viens d'avoir

double (*f)(Vector v); 

Cela fonctionne également

double (*f)(Vector<double,2> v) 

Mais je voudrais avoir un pointeur de fonction pour une fonction qui prend un générique Vecteur comme argument ..

Answer 1

Utilisez un membre typedef:

template <typename T, int N> 
class Vector 
{ 
public: 

    /// type of function pointer 
    typedef double (*FuncPtr)(const Vector&); 

}; 

// concrete type 
typedef Vector<double,10> VecDouble10; 

// actual function 
double func(const VecDouble10>&); 

// usage 
VecDouble10::FuncPtr fp = func; 

Answer 2

Eh bien, le compilateur ne sait pas au moment de la compilation, combien de f allez-vous avoir (un pour chaque possible T et N?). Par conséquent, le compilateur ne peut pas calculer la quantité de mémoire dont les objets de votre classe ont besoin. C'est pourquoi de telles constructions sont interdites.

Answer 3

Vous ne pouvez pas avoir un pointeur de modèle pour fonctionner, cela n'a aucun sens. Mais ce que vous pouvez faire est

#include <vector> 

template <typename T> 
void foo(const std::vector<T>& v) { 
    // do something 
} 

void (*ptr_foo)(const std::vector<int>&) = &foo<int>; 

(ici la fonction pointeurs fonction basé sur un modèle, quel argument de modèle est explicitement défini sur int)

Answer 4

Ce n'est pas tout à fait valable C++, essentiellement ce que vous » À la recherche de paramètres template-template.

http://www.progdoc.de/papers/ttp/psi-ttp/psi-ttp.html explique tout sur les

En général, si vous vous entrez dans cette situation, vous voulez trouver un workaroumd, parce que votre code devient illisible très rapidement

Answer 5

Parce que votre code fait tout autant de sens comme:

struct X 
{ 
    template < typename T > 
    std::vector<T> vect; 
}; 

Vous essayez de faire un membre variables un modèle. Ce n'est pas une construction C++ valide et j'en doute sérieusement.

Comment faites-vous ce que vous voulez réellement? Je ne suis pas sûr puisque je ne sais pas ce que vous essayez réellement d'accomplir et pourquoi.

Answer 6

Si vous voulez avoir un « pointeur de modèle », vous pouvez essayer un objet de fonction. L'exemple ci-dessous ajoute 1.0 au modèle de fonction enveloppé.

struct AcceptsVector { 
    template<typename T, int N> 
    double operator()(Vector<T,N> v) const { return 1.0 + real_f(v); } 
}; 

AcceptsVector f; 

La différence à un pointeur de modèle « réel » est que vous ne pouvez pas re-siège « AcceptsVector » pour appeler un autre modèle, comme vous pouvez le faire avec des pointeurs de fonction normale. La liaison est codée en dur au moment de la compilation. Cependant, vous pouvez passer le f comme un pointeur de fonction, et appeler f avec n'importe quel Vector<T, N> comme un modèle.