Discussion :

[salseropom]

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

fichier : MaClasse.h

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

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

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

Avez-vous une idée ?

Merci d'avance

[salseropom]

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

Code :

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

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 :

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

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

[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 :

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

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.

[salseropom]

ok !

merci

[Jean-Marc.Bourguet]

Au moment ou tu veux compiler :

Code :

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

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.

[jblecanard]

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 ?

[Jean-Marc.Bourguet]

Mais je ne comprends pas pourquoi

Code :

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

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.