Template de type pointeur de fonction

Hello,

J'essaye de faire quelque chose du genre :

Code:

---

1 2 3 4 5 6 7 8

template <double (*Functor)(double, double)> class A { public: Functor maFonction() { return mFunctor; } ; private: Functor mFunctor; };

---

Le compilateur semble ne pas connaître le type Functor à l'intérieur de la classe.

PS : la FAQ semble ne pas aborder les pointeurs de fonction comme paramètres templates

Hmmm... J'ai l'impression que Functor ne peut être utilisé que pour appeler la fonction, mais comme je cherche à l'utiliser comme un typedef, ça coince...

Si le type est fixé, pourquoi utiliser un template ?

Quelque chose comme ça n'irait pas ?

Code:

---

1 2 3 4 5 6 7 8 9 10 11

class A { public: typedef std::function<double(double, double)> FctType;   A(FctType f): mFunctor(f) { }   FctType maFonction() { return mFunctor; } ; private: FctType mFunctor; };

---

(Avec un pointeur de fonction nu à la place d'un std::function si tu veux limiter l'utilisation à des fonctions libres / statiques.)

Question intelligente à un problème fort probablement mal posée.

Les paramètres templates correspondent soit à des types (le cas général), soit à des valeurs (entiers, enums, et... pointeurs de fonction).

Si la signature de fonction ne change pas, l'implémentation, et donc la valeur du pointeur sont mon point de variation (mais déterminé à la compilation).

Je connais peu les pointeurs de fonction comme paramètres template. Ce que j'essaye de faire est donc, d'initialiser un membre pointeur de fonction de manière statique, via les templates.

Auparavant, cette valeur était passée dynamiquement via le constructeur.

j'ai tenté ceci :

Code:

---

1 2 3 4 5 6 7 8 9 10

typedef double(*Functor)(double, double);   template <double(*MyFunctor)(double, double)> class A { public: Functor maFonction() { return mFunctor; } ; private: static const Functor mFunctor = MyFunctor; };

---

Mais ça plante le compilateur de Visual (erreur C1001)...

Citation:

---

Envoyé par oodini

Hmmm... J'ai l'impression que Functor ne peut être utilisé que pour appeler la fonction, mais comme je cherche à l'utiliser comme un typedef, ça coince...

---

Je comprend mieux ça du coup. :)

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

template <double (*Functor)(double, double)> class A { public: decltype(Functor) maFonction() { return Functor; } ;   };   double f1(double, double) { return 1.0; }   A<f1> a; a.maFonction()(0.0, 0.0);

---

Functor est donc un pointeur, non un type. Comme il est fixé, tu n'a pas besoin de le stocker dans la classe.

Effectivement, ça a l'air de marcher. Je te remercie !

Mais je suis étonné : il n'est donc pas nécessaire de stocker dans la classe les paramètres "non types" ?.

Je dirais que ça dépend de ce que tu cherches à faire.

Si tu as une fonction template qui attend un foncteur avec un prototype f(void), ta classe A devra garder ces paramètres en mémoire...

OK, merci à tous !