Discussion :

[bolhrak]

Bonjour,

Petite erreur de compilation que je ne comprends pas :

Code :

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

1
2
3
 
 
void (Classe::*mem_ptr)() = 0;

me donne l'erreur :

"cannot convert 0 to void (Classe::*)()"

Je pensais que les pointeurs de fonction membres étaient simplement l'adresse de cette fonction membre, donc à priori on devrait pouvoir l'initialiser à 0 comme n'importe quel pointeur non ?

[Thierry Chappuis]

Tiens moi je n'obtiens pas d'erreur avec ton code. Je compile avec g++ 4.1.2 et les options -Wall -Wextra! Peut-être devrais-je être plus fin dans le réglage de mon compilateur.

Thierry

[hiko-seijuro]

est ce que sur ton architecture NULL = 0 ?

[JolyLoic]

est ce que sur ton architecture NULL = 0 ?

Par définition, NULL == 0, sur toutes les architectures.

[Médinoc]

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>
 
class CUneClasse
{
public:
        void uneFonction(void)
        {
                std::cout << "Coucou" << std::endl;
        }
};
 
void TestPtrFonc(void)
{
        void (CUneClasse::*ptrFonc)() = 0;
        ptrFonc = &CUneClasse::uneFonction;
 
        CUneClasse obj;
        (obj.*ptrFonc)();
}

Aucune erreur sous g++ 3.4.6 ni sous VIsual C++ 8...

[bolhrak]

Erf cela vient peut être de la manière dont je l'utilise :

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
 
template <class Derived> class FSM {
 
    template <
        class Event,
        int NextState,
        void (Derived::*action)(const Event&),
        bool (Derived::*guard)(const Event&)
    >
    struct transition {
        //...
    };
 
    ...
};
 
class MyFSM : public FSM<MyFSM> {
 
//...
 
    template <class Event>
    bool true_(const Event& e) {return true;}
};

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
 
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 , 0 >,
               transition< Event2, NextSTate2, &fsm::next2, &fsm::guard > >,
        state< //.. etc
 
    > {};
 
};

Sinon le fait d'utiliser NULL à la place de 0 ne change rien au problème.

[Médinoc]

Euh... est-ce qu'on peut vraiment mettre un pointeur de fonction en paramètre de template ? Pour moi, un paramètre Template est de type class/typename, bool ou entier...

J'ai des doutes, moi...

[bolhrak]

Euh... est-ce qu'on peut vraiment mettre un pointeur de fonction en paramètre de template ? Pour moi, un paramètre Template est de type class/typename, bool ou entier...

J'ai des doutes, moi...

Oui on peut mettre un pointeur de membre, de même pour un pointeur de fonction classique ça ne pose aucun problème :p

Extraits de la norme :

1 The syntax for template-parameters is:
template-parameter:
type-parameter
parameter-declaration

...

4 A non-type template-parameter shall have one of the following (option-
ally cv-qualified) types:

--integral or enumeration type,

--pointer to object or pointer to function,

--reference to object or reference to function,

--pointer to member.

[JolyLoic]

Erf cela vient peut être de la manière dont je l'utilise :

Code :

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

1
2
3
4
5
6
 
 
        state< Start, &fsm::action_in, &fsm::action_out, mpl::vector2<
               transition< Event , NextSate    , &fsm::next , 0 >,
               transition< Event2, NextSTate2, &fsm::next2, &fsm::guard > >,
        state< //.. etc

Une idée en l'air comme ça : Le conversions qui sont autorisées au moment où l'on spécifie un paramètre template sont très restreintes (plus que celles autorisées pour un appel de fonction par exemple. Que se passe-t-il si tu forces explicitement la conversion ?

Code :

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

transition< Event , NextSate    , &fsm::next , (void (Classe::*)())(0) >

[bolhrak]

Une idée en l'air comme ça : Le conversions qui sont autorisées au moment où l'on spécifie un paramètre template sont très restreintes (plus que celles autorisées pour un appel de fonction par exemple. Que se passe-t-il si tu forces explicitement la conversion ?

Code :

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

transition< Event , NextSate    , &fsm::next , (void (Classe::*)())(0) >

Effectivement il s'agit d'un problème de conversion, après avoir farfouiller dans les standards :

For a non-type template-parameter of type pointer to member function, no conversions apply. If the template-argument represents a set of overloaded member functions, the matching member function is selected from the set (over.over).

Bref impossible de le faire de la manière dont je veux. Même problème si je force explicitement la conversion.

En tout cas merci beaucoup :p