Discussion :

[Alp]

Pour les fonctions membres, on peut bricoler ça très rapidement... il suffit juste comme tu l'as dit de prendre en compte la classe... Au pire tu peux ajouter une couche d'abstraction entre la fonction et la classe qui représente les fonctions par le biais d'une classe de traits et/ou politique à qui on délèguerait la gestion des appels de fonction.

[xwindoo]

Justement, lors de l'appel de la fonction, on ne connait pas la classe (s'il y en a une) à laquelle est associée la fonction puisque que ce sera une classe propre à l'utilisateur.
Comment veux-tu faire cette couche d'abstraction ? je n'ai pas bien compris. Une classe de politique ajouterait un paramètre template supplémentaire, comment le déduire ?

[Alp]

Tu auras besoin de spécialiser, selon s'il s'agit d'une fonction membre ou non.

[xwindoo]

Désolé, je ne vois pas comment faire

Par exemple, on a 'bindé' une fonction membre que l'on a stocker sous forme de ifunction_base*. Même si on spécialise ifunction_base pour les fonctions membres, il faudra de toute manière s'abstraire du type de la classe et ensuite la spécifier lors de l'appel à operator (). Même avec une classe de politique, il faudra quand même stocker, sous forme de paramètre template, le type de la classe quelque part.

Enfin, je sèche

[loufoque]

Si ce qui est recherché c'est un genre de boost::function mais sans devoir forcer la signature, c'est parfaitement possible, mais uniquement avec un ensemble fini de possibilités. (un ensemble non fini requierait des fonctions templates virtuelles)
Il devrait être assez aisé d'enregistrer certains types de base et de générer toutes les possibilités jusqu'à une certaine arité n.

[xwindoo]

C'est bon, j'ai trouvé la solution !!!

Je fais hériter les foncteurs de fonctions membres des foncteurs de fonctions libres ayant la même signature :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
// Pour les fonctions membres ayant comme signature void ()
template <class R, class C>
struct Function<R (C::*)()> : public Function<R()> { ... };

Ensuite j'ai mis l'opérateur () en virtual. Donc, lorsqu'on fais un dynamic_cast, il suffit juste de connaître la signature de la fonction :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
// ce code marche pour les fonctions membres et libres :
template <class R> R Functor::operator()()
{
    Function<R()>* self = dynamic_cast<Function<R()>*>(this);
    assert(self != 0); return self->operator()();
}
// Les foncteurs de fonctions libres héritent de Functor.

J'espère que vous avez compris, j'ai jamais été doué pour expliquer .

Je vous met le code complet en pièce jointe si ça vous intéresse.

Merci à tous pour votre aide