Initialisation pointeur de fonction membre à 0

Version imprimable

08/12/2006, 11h25
bolhrak

Initialisation pointeur de fonction membre à 0
Bonjour,

Petite erreur de compilation que je ne comprends pas :
Code:

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 ?
08/12/2006, 11h57
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
08/12/2006, 12h02
hiko-seijuro

est ce que sur ton architecture NULL = 0 ?

Code:

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...

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

Code:

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:

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.

08/12/2006, 13h40
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...
08/12/2006, 13h44
bolhrak

Citation:

Envoyé par 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...

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 :

Citation:

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.
09/12/2006, 13h43
JolyLoic

Citation:

Envoyé par hiko-seijuro

est ce que sur ton architecture NULL = 0 ?

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

Citation:
Envoyé par bolhrak
Erf cela vient peut être de la manière dont je l'utilise :
Code:

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:

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

09/12/2006, 19h41
bolhrak

Citation:

Envoyé par JolyLoic

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:

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