Discussion :

[bolhrak]

Bonsoir,

Petit problème pour utiliser un pointeur de fonction membre template. VOilà le code qui me pose problème :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
template <class Derived> class FSM {
 
    template <
        class Event,
        int NextState,
        void (Derived::*action)(const Event&),
        bool (Derived::*guard)(const Event&) = &Derived::true_ //<=Ligne qui pose problème
    >
    struct transition {
        //...
    };
 
    ...
};
 
class MyFSM : public FSM<MyFSM> {
 
//...
 
    template <class Event>
    bool true_(const Event& e) {return true;}
 
};

Lors de la compilation, j'ai l'erreur suivante à la ligne qui pose problème :
incomplete type MyFSM used in nested name specifier

Je pense que cela vient du fait que ma fonction true_ est une fonction template et qu'il faut le spécifier au compilo, malheureusement je ne sais pas si cela est possible, et si oui quelle est la syntaxe à utiliser.

Merci d'avance :p

[JolyLoic]

Tu peux montrer comment tu essayes d'instance cette classe, et sur quel type ?

[bolhrak]

En gros :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
 
class MyFSM : public FSM<MyFSM> {
 
//...
 
    typedef MyFSM fsm;
 
    struct transition_table : mpl::vector3 <
 
        state< Start, &fsm::action_in, &fsm::action_out, mpl::vector2<
               transition< Event, NextSate, &fsm::next >,
               transition< Event2, NextSTate2, &fsm::next2, &fsm::guard > >,
        state< //.. etc
 
    > {};
 
};

state étant une autre structure définie dans FSM. Je peux mettre le code entier si tu préfère mais c'est un peu long et je sais pas si ça apporte grand chose.

[bolhrak]

Bon apparemment ça n'a rien à voir avec le fait que ce soit une fonction membre template, si j'en fais une fonction membre classique, j'ai toujours le même souci.

[JolyLoic]

J'avoue que ce genre de chose atteind les limites de ce que je peux faire sans avoir un compilateur pour m'aider... Et j'ai vu un problème dans ton code :

A default templateargument shall not be specified in a function template declaration or a function template definition, nor in the templateparameterlist of the definition of a member of a class template.

Ce qui se traduit pour un exemple plus simple par :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>
using namespace std;
 
template <class T>
struct A
{
	template <int i = 0>
	struct C
	{
		void f() {cout << i;}
	};
};
 
int main()
{
	A<int>::C<> c;
	c.f();
 
}

Si on rend A non template, ça marche. Là, ça échoue. Il va donc falloir écrire ton code autrement.

[bolhrak]

Erf dans ce cas là il y a aun problème, car si je remplace le pointeur de fonction membre par une classe, je peux lui passer un paramètre par défaut sans problème :/

J'aurais pensé que le problème venait du fait que la classe Dérivée (ici MyFSM) était pas encore compilée, du coup il ne peut accéder à aucun de ses membres.

[bolhrak]

Réponse un peu tardive mais qui pourrait intéresser des gens ayant le même type de problème : le souci vient du fait que j'essaye de caster un pointeur de fonction membre utilisé comme paramètre template. Or cela est interdit comme spécifié dans le standard.

Par contre si quelqu'un sait pourquoi cela est interdit (ou du moins les problèmes que cela engendrerait si on l'autorisait) je suis preneur .