pointeur de fonction membre

Version imprimable

Bonjour, j'ai un souci sur mes pointeurs de fonction membre. Voici mon code en simplifié :

fichier : MaClasse.h

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
class MaClasse;
 
typedef bool (MaClasse::*evalGradF)(int x1,int x2,int x3,int x4);
 
class MaClasse
{
public :
 
  MaClasse(int x);
  ~MaClasse() {}
 
  bool f1(int x1,int x2,int x3,int x4);
  bool f2(int x1,int x2,int x3,int x4);
  bool f(int x1,int x2,int x3,int x4);
 
 
private :
   evalGradF _evalGradF;
};

fichier MaClasse.cpp

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
MaClasse::MaClasse(int x)
{
  _evalGradF = (x < 2) ? &MaClasse::f1 : &MaClasse::f2;
}
 
bool MaClasse::f(int x1,int x2,int x3,int x4)
{
  return _evalGradF(x1,x2,x3,x4);
}
 
bool MaClasse::f1(int x1,int x2,int x3,int x4)
{
  return ( (x1 < 1) && (x2 < 2) && (x3 < 3) && (x4 < 4) );
}
 
bool MaClasse::f2(int x1,int x2,int x3,int x4)
{
  return ( (x1 < 1) || (x2 < 2) || (x3 < 3) || (x4 < 4) );
}

et là, au niveau de la fonction f(), j'ai l'erreur à la compilation :

Citation:

error C2064: term does not evaluate to a function taking 4 arguments

Avez-vous une idée ?

Merci d'avance

J'ai trouvé une solution qui compile (je n'ai pas encore testé l'exécution) :
Code:

1 2 3 4 5 bool MaClasse::f(int x1,int x2,int x3,int x4) { return (this->*_evalGradF)(x1,x2,x3,x4); }
Mais je ne comprends pas pourquoi
Code:

1 2 3 4 5 bool MaClasse::f(int x1,int x2,int x3,int x4) { return (*_evalGradF)(x1,x2,x3,x4); }
ne marche pas...

24/06/2010, 13h54
jblecanard

Salut

c'est normal que ça ne fonctionne pas : il faut se mettre à la place du compilateur. Quand tu appelles une méthode, d'un point de vue compilation, c'est comme appeler une fonction libre en lui passant un paramètre supplémentaire qui est l'adresse de objet. En revanche, l'appel à une VRAIE fonction libre (ou méthode statique) ne nécessite pas cette opération.

Au moment ou tu veux compiler :

Code:

return (*_evalGradF)(x1,x2,x3,x4);

Le compilo ne peut pas savoir si _evalGradF pointe vers une fonction libre ou vers une méthode de l'objet. Il ne sait donc pas quelles opérations choisir. En revanche, avec le this, tu lui donnes cette information, donc c'est ok.
24/06/2010, 13h58
salseropom

ok !

merci
24/06/2010, 14h02
Jean-Marc.Bourguet
Citation:
Envoyé par salseropom

Mais je ne comprends pas pourquoi

Code:

1 2 3 4 5 bool MaClasse::f(int x1,int x2,int x3,int x4) { return (*_evalGradF)(x1,x2,x3,x4); }

ne marche pas...
Parce que * unaire prend un argument qui est un pointeur sur un objet ou un pointeur sur une fonction et pas un pointeur sur une fonction membre. Je ne vois pas de raisons fondamentales qui empecheraient de faire ce que tu desires, mais le langage ne l'a jamais permis.
24/06/2010, 14h03
Jean-Marc.Bourguet

Citation:

Envoyé par jblecanard

Au moment ou tu veux compiler :

Code:

return (*_evalGradF)(x1,x2,x3,x4);

Le compilo ne peut pas savoir si _evalGradF pointe vers une fonction libre ou vers une méthode de l'objet.

Si. _evalGradF a pour type "pointeur sur fonction membre de MaClasse prenant 4 arguments entiers et retournant un bool, il ne peut pas contenir un pointeur vers une fonction libre.
24/06/2010, 14h19
jblecanard

Citation:

Envoyé par Jean-Marc.Bourguet

Si. _evalGradF a pour type "pointeur sur fonction membre de MaClasse prenant 4 arguments entiers et retournant un bool, il ne peut pas contenir un pointeur vers une fonction libre.

Bien vu. Et un pointeur vers une méthode statique ? Est ce que le typage d'un pointeur de fonction gère ceci ?