Discussion :

[ptyxs]

Lisant le livre passionnant de Vandevoord et Josuttis :
C++ Templates - The complete guide
je suis tombé sur la ligne de code suivante :

Code :

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

template<typename C> static One test(int C::*);

(chapitre 15, section 15.2.2, page 206) qui est bien formée si C est une classe.

La syntaxe de l'argument int C::* de test m'a laissé pantois !

Le fait est que j'ai pu compiler un petit programme comme ceci :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
struct A {
 
	  int b;
};
 
int main() 
{
	int A::* truc;
 
	truc = &A::b;
 
}

mais je n'ai pas su faire quoi que ce soit de truc
Que peut-on faire avec ça ? A quoi peut servir ce genre de syntaxe ??

[Goten]

Ca permet d'avoir des pointeurs de méthode par exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
struct foo{
    void bar(int i) { std::cout << i ; }
};
 
typedef  void (foo::*mem_fun) (int);
 
mem_fun f1 = &foo::bar;
 
 
int main() 
{
  foo f;
  (f.*f1)(1);
}

Mais là dans le livre ça permet de tester si le type est une classe.

[ptyxs]

Oui. Merci pour ton exemple.
Apparemment avec un pointeur vers un membre de classe qui ne soit pas une fonction, avec donc dans l'exemple donné :
int C::*
il ne semble pas y avoir grand chose à faire... (à part l'exemple sophistiqué donné dans le livre cité) ?

[Arzar]

Si, il existe une application intéressante de cette syntaxe : ici.
(Mais l'auteur admet lui-même que c'est la seule )

[ptyxs]

ça à l'air d'être un gros morceau... je lirai ça...
mais ça semble là encore traiter uniquement de pointeurs vers des fonctions membres, pas de pointeurs vers des membres qui ne seraient pas des fonctions, apparemment.

[Goten]

Là comme ça j'ai pas d'autre exemple que celui du livre, ie combiner avec SFINAE